Question: Does the width of the Hermannskarsee equal 0.12?
Paraphrase: Is 0.12 the correct measurement for the width of the Hermannskarsee?
SPARQL (Wikidata): ASK WHERE { wd:Q260850 wdt:P2049 ?obj filter(?obj = 0.12) }