allow definedness conditions to be ignored in conjunction with domain axioms