Data extends Term with Axiom