kb.addAnnotationProperty( p1 );
kb.addAnnotationProperty( p2 );
assertTrue( kb.addAnnotation( s1, p1, o1 ) );
assertTrue( kb.addAnnotation( s1, p2, o2 ) );
assertTrue( kb.addAnnotation( s2, p2, o3 ) );
Set<ATermAppl> actual = kb.getAnnotations( s1, p1 );
Set<ATermAppl> expected = new HashSet<ATermAppl>();
expected.add( o1 );
assertEquals( expected, actual );