Question: What is the postal code of the US city that is an administrative division of Washington County (the one whose population is 59537)?
Choices:
67223
95602–95604
20003
68219
35901
87103
55455-0213
05601-05604, 05609, 05620, 05633
76531
46205
Program:
function: Find
inputs: Washington County
function: FilterNum
dependencies: 0
inputs: population
59537
=
function: Relate
dependencies: 1
inputs: contains administrative territorial entity
forward
function: FilterConcept
dependencies: 2
inputs: city of the United States
function: QueryAttr
dependencies: 3
inputs: postal code
SPARQL: SELECT DISTINCT ?pv WHERE { ?e <pred:instance_of> ?c . ?c <pred:name> "city of the United States" . ?e_1 <contains_administrative_territorial_entity> ?e . ?e_1 <pred:name> "Washington County" . ?e_1 <population> ?pv_1 . ?pv_1 <pred:unit> "1" . ?pv_1 <pred:value> "59537"^^xsd:double . ?e <postal_code> ?pv .  }
Answer: 05601-05604, 05609, 05620, 05633