[Names] double-at-least-one-value-equal [Result] True iff at least one attribute value in the bag of the first argument is equal to one of the attribute values in the bag of the second argument (according to the "double-equal" predicate). [Arguments] 
Two bags of attribute values of http://www.w3.org/2001/XMLSchema#double