Question: What is the FIPS 10-4 (countries and regions) for the Ireland county whose area is 5586.0 square kilometers?
Choices: IN27
US02
MX
UKK3
UKC5
UKI2
EI12
IT
EI20
AM11
SPARQL: SELECT DISTINCT ?pv WHERE { ?e <pred:instance_of> ?c . ?c <pred:name> "county of Ireland" . ?e <area> ?pv_1 . ?pv_1 <pred:unit> "square kilometre" . ?pv_1 <pred:value> "5586.0"^^xsd:double . ?e <FIPS_10-4_(countries_and_regions)> ?pv .  }
Program:
function: FindAll
function: FilterNum
dependencies: 0
inputs: area
5586.0 square kilometre
=
function: FilterConcept
dependencies: 1
inputs: county of Ireland
function: QueryAttr
dependencies: 2
inputs: FIPS 10-4 (countries and regions)
Answer: EI20