Translate
Uses the verified AXIOM 0.9.3 bridge in your browser. Supported grammar is deliberately limited; unsupported meanings are rejected.
Choose a quantifier scope
The source has more than one valid reading. Choose one explicitly before using the translation.
Translation context
AXIOM requires explicitly registered entity names. Add one name per line in the form box=entity:box. Names are identifiers, not English noun definitions.
Examples and limitations
Try The box is red., Some red object is large?, Exactly one object is red., The box is red; that object is large., or Every red object differs from some large object.. Reverse translation supports only a verified subset. A verified round trip means canonical structural agreement, not a general mathematical proof. Temporal forms may translate forward but do not yet have reverse translation.
This static page processes inputs locally in your browser; it does not submit your text to an AXIOM translation server.