explict quantification in PPIL. rename 'with' keyword in quantified infons to 'forall' (to separate from instantiated variables ('with' declaration on rules))
↧