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