2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
3 ** See ../LICENSE for license information.
8 quantifierNodeList quantifiers;
9 ltoken open; /* for ease of debugging */
11 ltoken close; /* for ease of debugging */
12 } *quantifiedTermNode;