Describir: Objectual Quantifier Theory.