Appendix H: Object property axioms | Synapse