A backtracking predictive parser. This utility is used by features such
as name completion, query parsing (for collecting free variables), and
determining the correct constituent of a proposition when right-clicking
in a proposition navigation pane.
Questions and comments should be directed to Eric Melz or Hans Chalupsky
Last modified: Thu Nov 14 19:29:06 Pacific Standard Time 2002