Auxiliary XML Schema for a 'UR' Equational-Logic RuleML sublanguage File: aux_urequalog.xsd Version: 0.85 (fixed) Last Modification: 2004-05-25