Document theory_common and theory_templates
Describe ...
-
the idea behind predicates in theory_common.pl
-
where these predicates are (or might be) used -
the format of explanation templates -
how to load explanation templates -
where explanation templates are used