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