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

              

1
Every
man
loves
a
woman
.
back to top

DRS


Complexity: 1.0
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

¬ ∃ A : ( n1man(A) ∧ ¬ ∃ B : ∃ C : ( r1Theme(B, C) ∧ ( r1Actor(B, A) ∧ ( v1love(B) ∧ n1woman(C) ) ) ) )

RuleML


back to top

Debug info

Traceback (most recent call last): File "./apply_xslt.py", line 23, in styledoc = libxml2.parseFile(sys.argv[1]) IndexError: list index out of range
back to top