The Case for Domain-Specific Frame Axioms