what ship class has an overall length no more than 5.07?
Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity
m.0br_wcj m.0g3lrz m.08h51x m.0272wr7 m.064p39c m.0_qgfpq m.021wcx m.0dfy46 m.0fqqqd_ m.0gvpj2 m.0bby127 m.07bv8s m.05xrmp m.0gkyydz m.024js1 m.026f691 m.0274v8n m.0277p4s m.027mggl m.027rz46 m.028859 m.02fbbj m.02hgmv m.02lnsd m.02r3pr9 m.02r6k0 m.02rmypq m.02vmh35 m.02vy83k m.02x65b8 m.0340gh m.039s87 m.03byyg0 m.03byyjf m.03bzx7s m.03c0csc m.03c0x3b m.03c35zz m.03cj236 m.03cmlt5 m.03cwbx2 m.03d0pdq m.03d5d5f m.03dwc1 m.03g_btl m.03hjf90 m.03hkrr m.03hlxl_ m.03m6lv9 m.03qjt4_ m.03wfp3p m.043m_lf m.04790x4 m.047cg8x m.047ds5w m.04dyzgr m.04gkdfq m.04jdk8l m.04jf2gx m.04jf49w m.04jn3kn m.04n2psp m.04njqk m.04p29_ m.04pr0d m.04qw6b m.04zykn9 m.0515tf m.0557cz m.05k2__ m.05lm3f m.05mr_16 m.05r_b6 m.05s_lzm m.05zzn6f m.0626rj m.063_v3_ m.064ggv m.066nrbn m.06cgt5 m.06sf4q m.06w5n34 m.0729g6 m.07cx9b m.07g3mg m.08qftk m.08r0mm m.08tcnn m.09pvz6 m.09rk_9 m.09x8ng m.0bmcr6z m.0br_r3w m.0by8k1 m.0cdw__ m.0cj9zt m.0cmt49 m.0cnqpv m.0cr82z m.0crxn0 m.0d5xr0 m.0d5ywc m.0d5z76 m.0d9nfw m.0dd82r m.0dhf5b m.0dmn4f m.0dwf1n m.0f0rpy m.0ff3_j m.0fh_vg m.0g1ct7 m.0g384r m.0gygg9 m.0gynsn m.010fl0ln m.07s8v1x m.06w64vm m.026t06l m.0268ly1 m.0crd0nr m.0wbmsvx g.11jgd_h7p g.120qdf7z g.121w182s g.122pkc4y g.123dm6v14 m.0102k63m m.0113_12t m.0113p72k m.012c8ndh m.012l6hx6 m.04jk70v m.05239s_ m.064m125 m.080kdy8 m.0b6d0xw m.0b6dm4v m.0b6jdkn m.0b6m7j9 m.0b6p2dh m.0b77fjx m.0bhbfmx m.0bs1rfd m.0dgrtm9 m.0gmgfxr m.0gvtmz1 m.0gvtyf3 m.0h559hw m.0h67lqs m.0h7l8td m.0hrfmyf g.1215vkjt m.0gls20p m.0bwm2k_
RS Tera Scorpion Jet 14 RS Vareo Splash SCAMP Mirror RS800 Comet C-Lark PocketShip Fireball Firefly Techno 293 Heron Pirate Force 5 Laser 3000 Sunburst Jacksnipe Albacore Topper Enterprise Laser Jolly Boat Streaker Miracle 2000 Hornet Woodpussy National 12 Wayfarer Tadpole Frog Windmill X boat Penguin Banshee Bosun ASC Phantom Blaze Graduate 470 Vaurien RS400 Europe Pelican NS14 Flying Ant Laser Vago Starling Butterfly 29erXX Dabchick RS600 Gull Mermaid Kestrel SL 16 Dart 16 Illusion Laser Radial Laser 4.7 International 420 Class Dinghy Sunfish Beaufort Musto Performance Skiff 505 OK Byte Salcombe Yawl Puddle Duck Racer RS600FF RS500 Sabot Stealth Hobie 16 Fanatic Ultra Boa Laser 2 Laser Pico O-Jolle Manly Junior Snipe Laser 4000 Spiral Wanderer Tasar Sabre Lark Flying Junior Snowbird Mistral One Design Class Vanguard 15 Moth Melges 17 Otter RS300 MC Scow M Scow Solo Mutineer 15 Zoom 8 British Moth Cherub Zeddie RS200 Snark sailboat P-class yacht Zephyr Minto Sailing Dinghy RS Feva Vagabond JY15 Precision 15 Nippa Buzz 12 foot dinghy CL 16 Sprint 15 Laser 5000 Weta Trimaran null null null null null Solution Herreshoff 12½ X1 Aussie WindRider 10 Mark 125 RS700 Bombardier Invitation Access 303 Beneteau Wizz Bez 2 Trailer Sailer B14 International Access 2.3 Naples Sabot Coronado 15 French National Monotype 1924 O'pen BIC Access Liberty RS100 RS Quba Envy Club 420 RS Venture ISO null RS Vision Impulse
class literal
boats.ship_class 5.07^^http://www.w3.org/2001/XMLSchema#float
boats.ship_class type.float
Ship class 5.07
none <=
boats.ship_class.length_overall_m
Length overall
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 . 
FILTER (?x1 <= "5.07"^^<http://www.w3.org/2001/XMLSchema#float>)
?x0 :boats.ship_class.length_overall_m ?x1 . 
FILTER ( ?x0 != ?x1  )
}
}
(AND boats.ship_class (le boats.ship_class.length_overall_m 5.07^^http://www.w3.org/2001/XMLSchema#float))