uk.ac.bbk.dcs.automed.xml.experiments.subclassANDskolem
Classes
IS1IS2skolem1
IS1IS2skolem2