There should be explanation templates for all predicates which might be used in the irrelevance theory.