About: http://webisa.webdatacommons.org/248097327

Property	Value
http://www.w3.org/1999/02/22-rdf-syntax-ns#type	http://www.w3.org/ns/prov#Entity
http://www.w3.org/ns/prov#value	then the first line would show y is an int, thus solving for 'a, and then the next line would say that r has type 'b, and then the final line is the return of g, which solves 'b=int.
http://www.w3.org/ns/prov#wasQuotedFrom	stackoverflow.com