Question: Was a Grammy Award, nominated to Rush (playing progresive metal) in 1994, established in 1991 ?
Choices: yes
no
unknown
unknown
unknown
unknown
unknown
unknown
unknown
unknown
SPARQL: ASK { ?e <pred:instance_of> ?c . ?c <pred:name> "Grammy Award" . ?e_1 <nominated_for> ?e . ?e_1 <pred:name> "Rush" . ?e_1 <genre> ?e_2 . ?e_2 <pred:name> "progressive metal" .  [ <pred:fact_h> ?e_1 ; <pred:fact_r> <nominated_for> ; <pred:fact_t> ?e ] <point_in_time> ?qpv . ?qpv <pred:year> 1994 . ?e <inception> ?pv . ?pv <pred:year> 1991 .  }
Program:
function: Find
inputs: progressive metal
function: Relate
dependencies: 0
inputs: genre
backward
function: Find
inputs: Rush
function: And
dependencies: 1
2
function: Relate
dependencies: 3
inputs: nominated for
forward
function: QFilterYear
dependencies: 4
inputs: point in time
1994
=
function: FilterConcept
dependencies: 5
inputs: Grammy Award
function: QueryAttr
dependencies: 6
inputs: inception
function: VerifyYear
dependencies: 7
inputs: 1991
=
Answer: yes