Attempto DRS to ACE NP translator

In general we handle only those DRSs which contain only implications, but there is some support also for objects and predicates in the toplevel.

author

- Kaarel Kaljurand

version

- 2011-11-09

TODO:

Support 'should' and 'may' (also in negation etc.)
DONE: Support for disjunction. Interaction between AND/OR. E.g. Every man works, and eats or sleeps.
We could use a reflexive pronoun if DeepSubj = DeepObj problem: himself/herself vs itself, no general reflexive pronoun exists (e.g. 'self').
Takes very long and fails: FIXED: Every man sees a dog that sees a cat and that sees a rat and sees a mouse that sees an ant.
If John waits then he sleeps. (not possible with 'every': Every John ...)
If there are 2 men then they wait. (not possible with 'every')
If there is a carnivore then everybody that it eats is an animal. (embedded if-then)
If a man waits then a dog barks. (no argument-sharing)
Every animal X hates an animal Y that eats X. (strange paraphrase but it is correct)
Anaphoric references and looping and new objects via definite NPs. (find an example!!!)
One idea was to fail whenever there are more than one solutions. Unfortunately this is almost always the case.
Some notes relocated from the PhD draft:
Can some of the scope problems that Core ACE has be solved?
of-constructions and 'whose' and everybody's?
Loops: are there cases where we have to use a definite NP which contains a relative clause. Note: we can use variables.
Usage:
?- tnp("Every man who likes a dog which sees a rat hates a cat.").
?- tnp('Every man who likes a dog hates a cat and sees a rat.').
?- tnp('Every man who likes a dog is hated by a cat.').
?- tnp("Every man who can see a dog is hated by a cat."). */

`Drs`	- is an Attempto DRS
`AceSentenceList`	- is a list of NP ACE sentences (atoms) corresponding to the DRS

`Conds`	- list of DRS conditions.
`Features`	- A list of features (see `cond_acetext/3`).
`AceTexts`	- ACE text corresponding to the list of DRS conditions.

`Cond`	- A DRS condition.
`Features`	- A list of features (see `cond_acetext/3`).
`AceText`	- ACE text corresponding to the list of DRS conditions.

`DeepVerb`	- Examples: see, `not(see)`, `i(see)`, `not(i(see))`, ...
`SgPl`	- {sg, pl} Shows the number of the subject of the verb.
`SurfaceVerb`	- Examples: [sees], [does, not, see], [is, seen, by], [is, not, seen, by]

`Refs`	- is a list of discourse referents (numbervared)
`Positive`	- is in {yes, no} depending on whether the `NP` is positive or under negation
`Pos`	- is in {yes, no} depending on whether the word is in the beginning of the sentence or not (BUG?)
`Ref`	- is a discourse referent (numbervared)
`Number`	- is a positive integer or 'na'
`NP`	- is an ACE noun phrase (specifically: a determiner and a noun)

`Ref`	- is a discourse referent (numbervared)
`OldNew`	- is in {old, new}
`Positive`	- is in {yes, no} depending on whether the `NP` is positive or under negation
`Pos`	- is in {yes, no} depending on whether the word is in the beginning of the sentence or not (BUG?)
`Quantisation`	- is in {dom, countable, mass, named}
`Noun`	- is a lemma of a noun, proper name, or indefinite pronoun
`Operator`	- is in {na, eq, leq, geq, greater, less, exactly}
`Number`	- is a positive integer or 'na'
`NP`	- is an ACE noun phrase (specifically: a determiner and a noun) BUG: Note that referents (variables) are not added to plural nouns. Think about it. BUG: we should cut here more

`Num`	- is in {0, 1, ...}
`SgPl`	- is in {sg, pl}