what is the ship class with the highest max speed?
Entity
m.02vxz0m
Severodvinsk class submarine
class literal
boats.ship_class 0^^http://www.w3.org/2001/XMLSchema#int
boats.ship_class type.float
Ship class 0
none argmax
boats.ship_class.max_speed_knots
Max speed
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 :boats.ship_class . 
{
SELECT (MAX(?y1) AS ?x1)  WHERE { 
?y0 :type.object.type :boats.ship_class . 
?y0 :boats.ship_class.max_speed_knots ?y1 . 
FILTER ( ?y0 != ?y1  )
}
}
?x0 :boats.ship_class.max_speed_knots ?x1 . 
FILTER ( ?x0 != ?x1  )
}
}
(ARGMAX boats.ship_class boats.ship_class.max_speed_knots)