Question: What is the ISNI for Texas Instruments?
Choices:
GB00BH4HKS39
US18451C1099
FR0000079600
US0846707026
US5949181045
US8825081040
JP3756600007
US0846701086
US87612E1064
US9311421039
Answer: US8825081040
SPARQL: SELECT DISTINCT ?pv WHERE { ?e <pred:name> "Texas Instruments" . ?e <ISIN> ?pv .  }
Program:
function: Find
inputs: Texas Instruments
function: QueryAttr
dependencies: 0
inputs: ISIN