Question: What is the height record held by Renaud Lavillenie?
Paraphrase: What is the tallness record held by Renaud Lavillenie?
SPARQL (Wikidata): SELECT ?value1 ?obj WHERE { wd:Q1742 p:P1000 ?s . ?s ps:P1000 ?obj . ?s pq:P2048 ?value1 . }