axioms for relationship classes