public void testTicket424() {
classes(A, B, C, D, E, F, G);
objectProperties(p, q, r, s);
KBLoader loader = new JenaLoader();
KnowledgeBase kb = loader.createKB( new String[] { "file:" + PelletTestSuite.base + "misc/ticket-424-test-case.owl" } );
Taxonomy<ATermAppl> toldTaxonomy = kb.getToldTaxonomy();
try {