Question: What is its official website for the higher education institution whose Twitter username is telavivuni1 that has 918 followers?
Choices:
http://www.umaine.edu/
http://www.chrisseefried.com/
http://www.tau.ac.il
http://www.niagarafalls.ca/
https://www.pixar.com/feature-films/toy-story-2
http://www.americanreunionmovie.com/
http://web.archive.org/web/20041126235053/http://www.sawmovie.com/
http://taylorswift.com/
http://www.wtcmovie.com/
http://www.equalvision.com
Program:
function: FindAll
function: FilterStr
dependencies: 0
inputs: Twitter username
telavivuni1
function: QFilterNum
dependencies: 1
inputs: number of subscribers
918
=
function: FilterConcept
dependencies: 2
inputs: higher education institution
function: QueryAttr
dependencies: 3
inputs: official website
SPARQL: SELECT DISTINCT ?pv WHERE { ?e <pred:instance_of> ?c . ?c <pred:name> "higher education institution" . ?e <Twitter_username> ?pv_1 . ?pv_1 <pred:value> "telavivuni1" . [ <pred:fact_h> ?e ; <pred:fact_r> <Twitter_username> ; <pred:fact_t> ?pv_1 ] <number_of_subscribers> ?qpv . ?qpv <pred:unit> "1" . ?qpv <pred:value> "918"^^xsd:double . ?e <official_website> ?pv .  }
Answer: http://www.tau.ac.il