(ask
 (filter
  (bgp
    (triple
     <http://www.w3.org/2001/sw/DataAccess/tests/data/TypePromotion/tP-0#float1>
     |http://www.w3.org/1999/02/22-rdf-syntax-ns#|:value ?:l)
    (triple
     <http://www.w3.org/2001/sw/DataAccess/tests/data/TypePromotion/tP-0#decimal1>
     |http://www.w3.org/1999/02/22-rdf-syntax-ns#|:value ?:r))
  (= (datatype (+ ?:l ?:r)) |http://www.w3.org/2001/XMLSchema|:float)))