Re: [ALUG] Sax2 Problem Nested quantifiers