http://purl.obolibrary.org/obo/TEST/E
type: Class
equivalent class: http://purl.obolibrary.org/obo/TEST/W
creator: https://orcid.org/0000-0002-7356-1779
comment: Left hand side in an equivalence, should be included.

http://purl.obolibrary.org/obo/TEST/V
type: Class
equivalent class: Restriction
  on property: http://purl.obolibrary.org/obo/TEST/R
  some values from: http://purl.obolibrary.org/obo/TEST/A
creator: https://orcid.org/0000-0002-7356-1779
comment: Does not have a genus, and should therefore not be included in logicalDefinitionAxioms.

http://purl.obolibrary.org/obo/TEST/W
type: Class
creator: https://orcid.org/0000-0002-7356-1779
comment: Simple equivalence, should be included.

http://purl.obolibrary.org/obo/TEST/X
type: Class
equivalent class: Class
  intersection of: http://purl.obolibrary.org/obo/TEST/A
  intersection of: Restriction
    on property: http://purl.obolibrary.org/obo/TEST/R
    some values from: Restriction
      on property: http://purl.obolibrary.org/obo/TEST/S
      some values from: http://purl.obolibrary.org/obo/TEST/B
creator: https://orcid.org/0000-0002-7356-1779
comment: 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.

http://purl.obolibrary.org/obo/TEST/Y
type: Class
equivalent class: Class
  intersection of: http://purl.obolibrary.org/obo/TEST/A
  intersection of: Restriction
    on property: http://purl.obolibrary.org/obo/TEST/R
    some values from: http://purl.obolibrary.org/obo/TEST/B
creator: https://orcid.org/0000-0002-7356-1779
comment: Valid definition should be included in "logicalDefinitionAxioms".

http://purl.obolibrary.org/obo/TEST/Z
type: Class
equivalent class: Class
  union of: http://purl.obolibrary.org/obo/TEST/A
  union of: http://purl.obolibrary.org/obo/TEST/B
creator: https://orcid.org/0000-0002-7356-1779
comment: Disjunctive axiom, not sure what should happen in logicalDefinitionAxioms.