|Did you know ...||Search Documentation:|
|Pack ape -- prolog/utils/drs_to_npace.pl|
In general we handle only those DRSs which contain only implications, but there is some support also for objects and predicates in the toplevel.
Some notes relocated from the PhD draft:
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|