Question: Does Tom Johnson (who is a member of the New Orleans Saints) or Tim Armstrong (who is a citizen of Canada) weigh less?
Choices: Simon Cowell
William Henry Harrison
Sylvester Stallone
Richard Gere
Rahul Dev Burman
David Byrne
Tom Johnson
Paul Simon
Tim Armstrong
James E. Reilly
SPARQL: SELECT ?e WHERE { { ?e <pred:name> "Tom Johnson" . ?e <member_of_sports_team> ?e_1 . ?e_1 <pred:name> "New Orleans Saints" .   } UNION { ?e <pred:name> "Tim Armstrong" . ?e <country_of_citizenship> ?e_2 . ?e_2 <pred:name> "Canada" .  } ?e <mass> ?pv . ?pv <pred:value> ?v .  } ORDER BY ?v LIMIT 1
Program:
function: Find
inputs: New Orleans Saints
function: Relate
dependencies: 0
inputs: member of sports team
backward
function: Find
inputs: Tom Johnson
function: And
dependencies: 1
2
function: Find
inputs: Canada
function: Relate
dependencies: 4
inputs: country of citizenship
backward
function: Find
inputs: Tim Armstrong
function: And
dependencies: 5
6
function: SelectBetween
dependencies: 3
7
inputs: mass
less
Answer: Tim Armstrong