An axiom expressed in first order logic using CLIF syntax
@en