// DirectType(i,c) - nonmonotonic
else if( pred.equals( SparqldlExtensionsVocabulary.directType.asNode() ) ) {
query.add( QueryAtomFactory.DirectTypeAtom( s, o ) );
if( isDistinguishedVariable( subj ) ) {
query.addDistVar( s, VarType.INDIVIDUAL );
}
if( ATermUtils.isVar( o ) ) {
ensureDistinguished( obj );
query.addDistVar( o, VarType.CLASS );
}