Question: What is the Stack Exchange tag for the operating system whose subreddit is solaris (the subscription number of this statement is 1030)?
Choices: https://politics.stackexchange.com/tags/donald-trump
https://stackoverflow.com/tags/solaris
https://stackoverflow.com/tags/osx
https://travel.stackexchange.com/tags/germany
https://stackoverflow.com/tags/javascript
https://superuser.com/tags/windows
https://stackoverflow.com/tags/c%2B%2B
https://stackoverflow.com/tags/linux
https://opendata.stackexchange.com/tags/europe
https://stackoverflow.com/tags/php
SPARQL: SELECT DISTINCT ?pv WHERE { ?e <pred:instance_of> ?c . ?c <pred:name> "operating system" . ?e <subreddit> ?pv_1 . ?pv_1 <pred:value> "solaris" . [ <pred:fact_h> ?e ; <pred:fact_r> <subreddit> ; <pred:fact_t> ?pv_1 ] <number_of_subscribers> ?qpv . ?qpv <pred:unit> "1" . ?qpv <pred:value> "1030"^^xsd:double . ?e <Stack_Exchange_tag> ?pv .  }
Program:
function: FindAll
function: FilterStr
dependencies: 0
inputs: subreddit
solaris
function: QFilterNum
dependencies: 1
inputs: number of subscribers
1030
=
function: FilterConcept
dependencies: 2
inputs: operating system
function: QueryAttr
dependencies: 3
inputs: Stack Exchange tag
Answer: https://stackoverflow.com/tags/solaris