remove_class(HTMLObject, Class will remove the class Class from the HTMLObject class attribute. This predicate succeeds regardless of whether HTMLObject has Class or not.