Utool 3.1.1 Description:
Utool is the Swiss Army Knife of underspecification. Utool is a tool that performs various tasks related to scope underspecification, a particular technique in computational semantics of natural language. It implements the most efficient known solver for underspecified descriptions, will convert between various underspecification formalisms, and does a variety of helper jobs. Utool is implemented in Java, and is thus efficient and portable. It can be used as a command-line tool, via a GUI, or as a server. It is well documented and distributed under the GPL.