Show only one output element. All the checkboxes below will be ignored.

Show a combination of output elements wrapped in XML.

DRS as a Prolog term
DRS in XML
DRS pretty-printed in plain text
DRS pretty-printed in HTML
Paraphrase
Paraphrase1
Paraphrase2
Tokens
Sentences
Syntax trees
Syntax trees pretty-printed
Syntax trees (for debugging)
Syntax trees pretty-printed (for debugging)
OWL/SWRL (Functional-Style Syntax, as Prolog term)
OWL/SWRL (Functional-Style Syntax, pretty-printed)
OWL/SWRL (XML syntax)
FOL (default form)
FOL (prenex normal form)
TPTP
RuleML