AndCompositeAssertion AND = (AndCompositeAssertion) XOR.getTerms().get(
0);
Iterator pAsserations = AND.getTerms().iterator();
while(pAsserations.hasNext()){
PrimitiveAssertion pa = (PrimitiveAssertion) pAsserations.next();
String namespace = pa.getName().getNamespaceURI();
ArrayList moduleList = (ArrayList)ns2modules.get(namespace);
if (moduleList == null) {
System.err.println("cannot find a module to process "
+ namespace + "type assertions");