Left hand side in an equivalence, should be included.
Does not have a genus, and should therefore not be included in logicalDefinitionAxioms.
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.