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

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	First, a problem or a termination command is inputted and a judgement made if the input is a problem as a hypothetical situation, all in step 1001.
http://www.w3.org/ns/prov#wasQuotedFrom	google.co.uk