This module provides predicates to split a given DRS into a list of DRSs, such that if the elements of the resulting list are merged (by concatenating the domains and the condition lists of its DRSs), then the resulting DRS is structurally equivalent to the original. The DRSs in the resulting list do not share discourse referents.

author

- Kaarel Kaljurand

version

- 2009-06-03

 drs_to_drslist(+Drs:drs, -DrsList:list) is det

Arguments:

Drs	- is an Attempto DRS
DrsList	- is a list of Attempto DRSs