ap.parser
Application of a quantifier to a formula containing a free variable with de Bruijn index 0 and any sort.
Application of a quantifier to a formula containing a free variable with de Bruijn index 0 and any sort.