Uncommented the nestedQuantifierAttribute portion