add quantified formula subclass of Term
add quantified formula subclass of Term

legalese/legalese-compiler,legalese/legalese-compiler,legalese/legalese-compiler,legalese/legalese-compiler,legalese-io/legalese-compiler,legalese/legalese-compiler