first take at systematic testing of the explanations model in Protege
(consisting of proof sections and rows which correspond to inferences
and expressions, respectively).