Abstract
This technical report describes the discourse representation structures (DRS) derived from texts written in version 5 of Attempto Controlled English (ACE 5). Among other things, ACE 5 supports modal statements, negation as failure, and sentence subordination. These features require an extended form of discourse representation structures. The discourse representation structure itself uses a reified, or 'flat’ notation, meaning that its atomic conditions are built from a small number of predefined predicates that take constants standing for words of the ACE text as their arguments. Furthermore, each logical atom gets an index relating it to the sentence of the ACE text from which it was derived.

URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-TR-2006-10

BibTeX:

@techreport{REWERSE-TR-2006-10,
	author = {Norbert E. Fuchs and Stefan H\"ofler and Kaarel Kaljurand and Tobias Kuhn and Gerold Schneider and Uta Schwertel},
	title = {Discourse Representation Structures for ACE 5},
	institution = {Institute for Informatics, University of Munich},
	year = {2006},
	type = {{research report, REWERSE-TR-2006-10}},
	number = {REWERSE-TR-2006-10},
	note = {Technical Report ifi-2006.10, Department of Informatics, University of Zurich},
	url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-TR-2006-10}
}