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

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	An example of dependent types would be something like if you want to record the size of a vector, with that vector being created by the user after the program has started running:
http://www.w3.org/ns/prov#wasQuotedFrom	reddit.com