The main result in this paper is a method for obtaining derivation trees from sentences of certain formal grammars. No parsing algorithm was previously known to exist for these grammars.Applied to Montague's PTQ the method produces all parses that could correspond to different meanings. The technique directly addresses scope and reference and provides a framework for examining these phenomena. The solution for PTQ is implemented in an efficient and useful computer program.

Each year, millions of individuals in the United States are treated for a variety of serious medical conditions with prescription drugs whose therapeutic benefits are well known. The vast majority of these medications are used to treat medical and psychiatric illnesses. Generally, they are used as prescribed, and contribute to a better quality of life for persons suffering from debilitating or life-threatening disorders.The fact that a small portion of these medications is diverted by those who seek their psychoactive effects raises (...) the important policy issue: how to make drugs easily available for medical use while limiting access for purposes of abuse.Such a responsibility poses challenges very different from those of the so-called “war” on illicit drugs, because this control must be achieved without impeding patients’ access to medical care. A rational public policy would attempt to achieve a balance between the need to minimize abuse and the need to provide relief. (shrink)

Each year, millions of individuals in the United States are treated for a variety of serious medical conditions with prescription drugs whose therapeutic benefits are well known. The vast majority of these medications are used to treat medical and psychiatric illnesses. Generally, they are used as prescribed, and contribute to a better quality of life for persons suffering from debilitating or life-threatening disorders.The fact that a small portion of these medications is diverted by those who seek their psychoactive effects raises (...) the important policy issue: how to make drugs easily available for medical use while limiting access for purposes of abuse.Such a responsibility poses challenges very different from those of the so-called “war” on illicit drugs, because this control must be achieved without impeding patients’ access to medical care. A rational public policy would attempt to achieve a balance between the need to minimize abuse and the need to provide relief. (shrink)

Computing with logic / Maier, D., Warren, D.S.