Paper Title:
A NEW FORMAL TOOL: FUNCTORIAL VARIABLES REPRESENTING ASSERTIONS AND PRESUPPOSITIONS
Download the PDF file from the ACL Anthology.