Did you know ... Search Documentation:
Pack ape -- prolog/utils/drs_to_sdrs.pl
PublicShow source

Converts the DRS into a simplified form where every DRS-box is represented as a list of conditions, i.e.

drs(Dom, Conds) --> Conds

where Conds is a list of conditions (with sentence IDs).

author
- Kaarel Kaljurand
- Tobias Kuhn
version
- 2009-05-13
 drs_to_sdrs(+Drs:drs, -SDrs:sdrs) is det
Removes the domain-argument from all the (non-atomic) DRS conditions, including the embedded ones.
Arguments:
Drs- is an Attempto DRS
SDrs- is an Attempto DRS with the domain-arguments removed