get_style(HTMLObject, Property, Value) is true if and only if Value unifies with the value of the property Property for the element HTMLObject.