Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-09-27 23:19:57 -0700 (Thu, 27 Sep 2001)
Revision: 3415
Log message:
Fixed some erroneous universal/existential
qualification rules and updated other rules
to be more consistent with how
the FIR works in practice.