Online demo of the C&C/Boxer toolchain.

Disclaimer

This demo is experimental.

Input

Enter or paste a text:

the copula will introduce an equality condition
generate Prolog atoms for all discourse referents
produces one DRS for all input sentences
modal DRS-conditions are used
resolves noun-noun relations
resolve all anaphoric DRSs and perform merge-reduction
role inventory
tense is represented following Kamp & Reyle
Standard DRSs with drt, Segmented DRSs with sdrt
additional pretty-printed DRS is printed in box format
formalism of semantics
derivation | DRS | DRG | DRG (tuples) | debug |

Derivation

              

back to top

DRS


Complexity:
back to top

DRG

Discourse Representation Graph as described in the paper
V. Basile, J. Bos (2011): Towards Generating Text from Discourse Representation Structures.


back to top

DRG

Graphical representation of the DRG.


back to top

DRS (Prolog)


back to top

First Order Logic

RuleML


back to top

Debug info

sh: ruleml.xslt: not found Traceback (most recent call last): File "./fol2ruleml.py", line 46, in for ch in fol: NameError: name 'fol' is not defined
back to top