This is the XML Schema module for RuleML quantifiers. File: quantifier_module.xsd Version: 0.91 Last Modification: 2006-08-16 This module declares the following RuleML elements: * Forall * Exists * declare * formula See http://www.ruleml.org/modularization for details about this modularization approach.