Question: Is the focal length of the large binocular telescope 14.808?
SPARQL (Wikidata): ASK WHERE { wd:Q845304 wdt:P2151 ?obj filter(?obj = 14.808) }