The package drs.sty draws Discourse Representation Structures (DRSs). It can draw 
embedded DRSs, if-then conditions and quantificational “duplex conditions” (with 
a properly scaled connecting diamond). Formatting parameters allow the user to 
control the appearance and placement of DRSs, and of DRS variables and conditions.

Author: Alexis Dimitriadis

The package may be distributed and/or modified unter the conditions of the 
LaTeX Project Public License, either version 1.3 of this license or (at your option) 
any later version.

The latest version of the LaTeX Project Public License can be found at this URL:
http://www.latex-project.org/lppl.txt