PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • The first thing the doexpect macro does is check if expected is a list and (if so) if the first argument is the symbol interaction (source here).
http://www.w3.org/ns/prov#wasQuotedFrom
  • artima.com