Question: Is Ленинградский ордена Ленина и ордена Трудового Красного Знамени государственный университет starting in the year 1959 the official name for the colleges and universities in the United States that are located in Manhattan (whose elevation is 311 meters above sea level)?
Choices: yes
no
unknown
unknown
unknown
unknown
unknown
unknown
unknown
unknown
SPARQL: ASK { ?e <pred:instance_of> ?c . ?c <pred:name> "colleges and universities in the United States" . ?e <located_in_the_administrative_territorial_entity> ?e_1 . ?e_1 <pred:name> "Manhattan" . ?e_1 <elevation_above_sea_level> ?pv_1 . ?pv_1 <pred:unit> "metre" . ?pv_1 <pred:value> "311"^^xsd:double . ?e <official_name> ?pv . ?pv <pred:value> "Ленинградский ордена Ленина и ордена Трудового Красного Знамени государственный университет" . [ <pred:fact_h> ?e ; <pred:fact_r> <official_name> ; <pred:fact_t> ?pv ] <start_time> ?qpv . ?qpv <pred:year> 1959 .  }
Program:
function: Find
inputs: Manhattan
function: FilterNum
dependencies: 0
inputs: elevation above sea level
311 metre
=
function: Relate
dependencies: 1
inputs: located in the administrative territorial entity
backward
function: FilterConcept
dependencies: 2
inputs: colleges and universities in the United States
function: QueryAttrUnderCondition
dependencies: 3
inputs: official name
start time
1959
function: VerifyStr
dependencies: 4
inputs: Ленинградский ордена Ленина и ордена Трудового Красного Знамени государственный университет
Answer: no