LinkedList<Adjective> adjectiveList = new LinkedList<Adjective>();
Type type = new Type(adjectiveList, itemId, termList, false);
formulaDli = new Is(termList, type);
break;
default :
formulaDli = new Pred(itemId, termList);
}
}
} else if (formula instanceof org.mizartools.system.xml.Is){
org.mizartools.system.xml.Is is = (org.mizartools.system.xml.Is) formula;
Type type = getType(abstractSignature, is.getTyp());