Class AbstractPropertyChainAxiom