kb.addSame( i21, i1 );
kb.addPropertyValue( p, test, i21 );
kb.addPropertyValue( p, test, i22 );
Set<ATermAppl> t1inds = kb.retrieve( t1eq, kb.getIndividuals() );
assertEquals( "Individual test should be of type T1. ", Collections.singleton( test ), t1inds);
}
@Test