ATermAppl filler = (ATermAppl) c.getArgument( 1 );
if( filler.getAFun().equals( ATermUtils.VALUEFUN ) ) {
ATermAppl nominal = (ATermAppl) filler.getArgument( 0 );
if( kb.isDatatypeProperty( p ) ) {
AtomDConstant arg = new AtomDConstant( nominal );
RuleAtom atom = new DatavaluedPropertyAtom( p, var, arg );
atoms.add(atom);
}
else {
AtomIConstant arg = new AtomIConstant( nominal );