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

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	Since in this test tracing is slower, it would seem that either tracing was a waste of all that development time, or the tests aren???t set up in a way that show off the advantages of Tamarin very well.
http://www.w3.org/ns/prov#wasQuotedFrom	satine.org