adding some inverse property axioms