First-Order Logic RuleML module. This is the XML Schema quantifier module for RuleML. File: quantifier_module.xsd Version: 0.88 Last Modification: 2005-02-24 This module declares the following negation RuleML elements: * Forall * Exists * declare * formula The approach is modelled after that used in "Modularization of XHTML in XML Schema" WD [http://www.w3.org/TR/xhtml-m12n-schema/], which will soon be integrated with "Modularization of XHTML" (REC-xhtml-modularization-20010410) [http://www.w3.org/TR/xhtml-modularization/].