if( pred.equals( Compiler.TYPE ) ) {
// add a type assertion for the individual
Individual ind = abox.getIndividual( subj );
ATermAppl type = obj;
ind.addType( type, ds );
} else if ( pred.equals( Compiler.SAME_AS ) ) {
Individual ind1 = abox.getIndividual( subj );
Individual ind2 = abox.getIndividual( obj );
ind1.setSame( ind2, DependencySet.INDEPENDENT );