Left hand side in an equivalence, should be included. Does not have a genus, and should therefore not be included in logicalDefinitionAxioms. Simple equivalence, should be included. Complex axiom, not sure if it should be included in logicalDefinitionAxioms. But if it should be included, it should be included as a whole, or not at all. Valid definition should be included in "logicalDefinitionAxioms". Disjunctive axiom, not sure what should happen in logicalDefinitionAxioms.