This updates remove-aliases.py to treat quantified predicate forms as valid boolean expressions by introducing a quantifierPred rule. The parser can now handle expressions shaped like pred(arg: entailment), which were previously outside the grammar and likely rejected or mishandled during alias removal. In practice, this broadens the supported input language and makes the transformation step work on more complex logical formulas.