get_attr(HTMLObject, Attribute, Value) is true if and only if Value unifies with the value of the attribute Attribute for the element HTMLObject.