Question: Is the semi-major axis 3416 Dorrit equal to 1.53414616?
Paraphrase: Is the semi-major pivot 3416 Dorrit break even with to 1.53414616?
SPARQL (Wikidata): ASK WHERE { wd:Q151525 wdt:P2233 ?obj filter(?obj = 1.53414616) }