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.

k3binaryc0:imp0
k4conceptc1:man:00
k5conceptc2:woman:00
k5eventc3:love:00
k5referentk5:e10
k5rolec4:Actor:10
k5rolec5:Theme:10
c0:impantecedentk40
c0:impconsequentk50
c4:Actor:1extk4:x10
c5:Theme:1extk5:x20
k4referentk4:x11Every
c4:Actor:1intk5:e11
c1:man:0instancek4:x12man
k5:e1maink31
c3:love:0instancek5:e12loves
k5referentk5:x21a
c2:woman:0instancek5:x22woman
k5punctuationk5:x23.
c5:Theme:1intk5:e13

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 Exception IOError: (32, 'Broken pipe') in <_io.TextIOWrapper name='' encoding='ANSI_X3.4-1968'> ignored
back to top