Relationships between Specified and Underspecified Quantification by the Theory of Acyclic Recursion

+