The class of annotated axioms ...... subject, predicate and object.