Universally quantified conditional clauses can now be parsed.