Re: BPFK Section: Text Structure cmavo Posted by PierreAbbat on Mon 15 of Nov, 2004 02:32 GMT posts: 324 > A prenex can consist of one or more terms. This is understood from the YACC grammar. Do I need to define a term here? Yes, please define the term "term"! ;) -phma