Dependency Tree Semantics
contact persons:
Leonardo Lesmo - lesmo@di.unito.it;
Livio Robaldo - robaldo@di.unito.it

Papers and example sentences

From this page, you can download some files describing the various readings of some NL sentences including quantifiers.
The paper which introduces DTS is currently submitted for publication, but you can download it from here (doc).

In each file, you can find a list of readings. For each of them, there is:

1. The DTS representation
2. An internal encoding of the representation (enclosed in a rectangle)
3. The Predicate Calculus formula
4. An example model

• The root (context) has label 0.

• For each node, if the parent has label L, then the first daughter has label L*0, the second one L*1, and so on, where * denotes concatenation

1. Two students studied three theorems
2. Two students studied all theorems
3. All students studied three theorems
4. All students studied all theorems
5. A student studied three theorems

1. Two students studied three theorems of four theories
2. Two students studied three theorems of all theories
3. Two students studied all theorems of four theories
4. Two students studied all theorems of all theories
5. All students studied three theorems of four theories
6. All students studied three theorems of all theories
7. All students studied all theorems of four theories
8. All students studied all theorems of all theories

1. Two politicians spied on someone from every city