ACL RD-TEC 1.0 Summarization of C88-1083

Paper Title:
A NEW FORMAL TOOL: FUNCTORIAL VARIABLES REPRESENTING ASSERTIONS AND PRESUPPOSITIONS


Download the PDF file from the ACL Anthology.
Brwose this paper on the University of Michigan CLAIR Group's interface.