what is the number of film editors with a weight that is over 88.0?
Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity
m.03nwwqf m.0ffgh m.04j41f m.07tq_m m.047ccs3 m.04dj2_ m.08z0yh7 m.0bbgsj m.04q4f4 m.027nzt8 m.0bpgwc m.0332_f m.07dcjd
Jake Deckard R. Kelly Randy Couture Miguel Pérez Russell White Jeff Williams Craig Richards Chris Kelly Kevin Willis Irakli Chkhikvadze Brian Lawrence Terry Funk Mike Shaw
class literal
film.editor 88.0^^http://www.w3.org/2001/XMLSchema#float
film.editor type.float
Film editor 88.0
none >=
people.person.weight_kg
Weight
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX : <http://rdf.freebase.com/ns/> 
SELECT (?x0 AS ?value) WHERE {
SELECT DISTINCT ?x0  WHERE { 
?x0 :type.object.type :film.editor . 
FILTER (?x1 >= "88.0"^^<http://www.w3.org/2001/XMLSchema#float>)
?x0 :people.person.weight_kg ?x1 . 
FILTER ( ?x0 != ?x1  )
}
}
(AND film.editor (ge people.person.weight_kg 88.0^^http://www.w3.org/2001/XMLSchema#float))