Appendix T: Object property axioms, refined version | Synapse