String subType = args[0].next().getStringValue();
String baseType = args[1].next().getStringValue();
boolean isSubType = types.isSubtypeCompatible(subType, baseType);
Item result = new BooleanValue(isSubType, BuiltInAtomicType.BOOLEAN);
return SingletonIterator.makeIterator(result);
}