[ALUG] Sax2 Problem Nested quantifiers