--- a/semantics/prov-sem-math-test.html Mon Dec 17 11:56:57 2012 +0100
+++ b/semantics/prov-sem-math-test.html Mon Dec 17 11:57:36 2012 +0100
@@ -1,19 +1,14 @@
-<?xml version='1.0' encoding='UTF-8'?>
-<!DOCTYPE html PUBLIC '-//W3C//DTD XHTML 1.0 Transitional//EN' 'http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd'>
-<html dir="ltr" xmlns="http://www.w3.org/1999/xhtml" typeof="bibo:Document">
+<!DOCTYPE html PUBLIC '-//W3C//DTD HTML 4.01 Transitional//EN' 'http://www.w3.org/TR/html4/loose.dtd'>
+<html lang="en" dir="ltr">
<head>
<title>Semantics of the Provenance Data Model</title>
- <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
-
-<!--
+ <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
+ <!--
=== NOTA BENE ===
For the three scripts below, if your spec resides on dev.w3 you can check them
out in the same tree and use relative links so that they'll work offline,
- -->
-
-
-<!-- PM -->
-
+ -->
+<!-- PM -->
<style type="text/css">
.note { font-size:small; margin-left:50px }
@@ -540,9 +535,7 @@
</style>
-
-<!-- <script src="http://www.w3.org/Tools/respec/respec-w3c-common" class="remove" async></script> -->
-
+<!-- <script src="http://www.w3.org/Tools/respec/respec-w3c-common" class="remove" async></script> -->
@@ -575,7 +568,7 @@
#MathJax_Message {position: fixed; left: 1em; bottom: 1.5em; background-color: #E6E6E6; border: 1px solid #959595; margin: 0px; padding: 2px 8px; z-index: 102; color: black; font-size: 80%; width: auto; white-space: nowrap}
#MathJax_MSIE_Frame {position: absolute; top: 0; left: 0; width: 0px; z-index: 101; border: 0px; margin: 0px; padding: 0px}
.MathJax_Error {color: #CC0000; font-style: italic}
-</style><link href="http://www.w3.org/StyleSheets/TR/W3C-ED" rel="stylesheet" type="text/css" charset="utf-8" /><style type="text/css">.MathJax_Display {text-align: center; margin: 1em 0em; position: relative; display: block; width: 100%}
+</style><link href="http://www.w3.org/StyleSheets/TR/W3C-ED" rel="stylesheet" type="text/css" charset="utf-8"><style type="text/css">.MathJax_Display {text-align: center; margin: 1em 0em; position: relative; display: block; width: 100%}
.MathJax .merror {background-color: #FFFF88; color: #CC0000; border: 1px solid #CC0000; padding: 1px 3px; font-style: normal; font-size: 90%}
#MathJax_Tooltip {background-color: InfoBackground; color: InfoText; border: 1px solid black; box-shadow: 2px 2px 5px #AAAAAA; -webkit-box-shadow: 2px 2px 5px #AAAAAA; -moz-box-shadow: 2px 2px 5px #AAAAAA; -khtml-box-shadow: 2px 2px 5px #AAAAAA; filter: progid:DXImageTransform.Microsoft.dropshadow(OffX=2, OffY=2, Color='gray', Positive='true'); padding: 3px 4px; position: absolute; left: 0; top: 0; width: auto; height: auto; display: none}
.MathJax {display: inline; font-style: normal; font-weight: normal; line-height: normal; font-size: 100%; font-size-adjust: none; text-indent: 0; text-align: left; text-transform: none; letter-spacing: normal; word-spacing: normal; word-wrap: normal; white-space: nowrap; float: none; direction: ltr; border: 0; padding: 0; margin: 0}
@@ -594,8 +587,8 @@
@font-face {font-family: MathJax_Blank; src: url('about:blank')}
.MathJax .noError {vertical-align: ; font-size: 90%; text-align: left; color: black; padding: 1px 3px; border: 1px solid}
</style></head>
- <body style="display: inherit;"><div style="visibility: hidden; overflow: hidden; position: absolute; top: 0px; height: 1px; width: auto; padding: 0px; border: 0px; margin: 0px; text-align: left; text-indent: 0px; text-transform: none; line-height: normal; letter-spacing: normal; word-spacing: normal;"><div id="MathJax_Hidden"></div></div><div class="head"><p><a href="http://www.w3.org/"><img width="72" height="48" src="http://www.w3.org/Icons/w3c_home" alt="W3C" /></a></p><h1 class="title" id="title">Semantics of the Provenance Data Model</h1><h2 id="w3c-editor-s-draft-17-december-2012"><acronym title="World Wide Web Consortium">W3C</acronym> Editor's Draft 17 December 2012</h2><dl><dt>This version:</dt><dd><a href="http://dvcs.w3.org/hg/prov/raw-file/default/semantics/prov-sem.html">http://dvcs.w3.org/hg/prov/raw-file/default/semantics/prov-sem.html</a></dd><dt>Latest published version:</dt><dd><a href="http://www.w3.org/TR/prov-sem/">http://www.w3.org/TR/prov-sem/</a></dd><dt>Latest editor's draft:</dt><dd><a href="http://dvcs.w3.org/hg/prov/raw-file/default/semantics/prov-sem.html">http://dvcs.w3.org/hg/prov/raw-file/default/semantics/prov-sem.html</a></dd><dt>Previous version:</dt><dd>none</dd><dt>Editor:</dt><dd><a href="http://homepages.inf.ed.ac.uk/jcheney">James Cheney</a>, University of Edinburgh</dd>
-</dl><p class="copyright"><a href="http://www.w3.org/Consortium/Legal/ipr-notice#Copyright">Copyright</a> © 2012-2012 <a href="http://www.w3.org/"><acronym title="World Wide Web Consortium">W3C</acronym></a><sup>®</sup> (<a href="http://www.csail.mit.edu/"><acronym title="Massachusetts Institute of Technology">MIT</acronym></a>, <a href="http://www.ercim.eu/"><acronym title="European Research Consortium for Informatics and Mathematics">ERCIM</acronym></a>, <a href="http://www.keio.ac.jp/">Keio</a>), All Rights Reserved. <acronym title="World Wide Web Consortium">W3C</acronym> <a href="http://www.w3.org/Consortium/Legal/ipr-notice#Legal_Disclaimer">liability</a>, <a href="http://www.w3.org/Consortium/Legal/ipr-notice#W3C_Trademarks">trademark</a> and <a href="http://www.w3.org/Consortium/Legal/copyright-documents">document use</a> rules apply.</p><hr /></div><div id="MathJax_Message" style="display: none;">Loading [MathJax]/jax/output/HTML-CSS/fonts/STIX/fontdata.js</div>
+ <body style="display: inherit;"><div style="visibility: hidden; overflow: hidden; position: absolute; top: 0px; height: 1px; width: auto; padding: 0px; border: 0px; margin: 0px; text-align: left; text-indent: 0px; text-transform: none; line-height: normal; letter-spacing: normal; word-spacing: normal;"><div id="MathJax_Hidden"></div></div><div class="head"><p><a href="http://www.w3.org/"><img width="72" height="48" src="http://www.w3.org/Icons/w3c_home" alt="W3C"></a></p><h1 class="title" id="title">Semantics of the Provenance Data Model</h1><h2 id="w3c-editor-s-draft-17-december-2012"><acronym title="World Wide Web Consortium">W3C</acronym> Editor's Draft 17 December 2012</h2><dl><dt>This version:</dt><dd><a href="http://dvcs.w3.org/hg/prov/raw-file/default/semantics/prov-sem.html">http://dvcs.w3.org/hg/prov/raw-file/default/semantics/prov-sem.html</a></dd><dt>Latest published version:</dt><dd><a href="http://www.w3.org/TR/prov-sem/">http://www.w3.org/TR/prov-sem/</a></dd><dt>Latest editor's draft:</dt><dd><a href="http://dvcs.w3.org/hg/prov/raw-file/default/semantics/prov-sem.html">http://dvcs.w3.org/hg/prov/raw-file/default/semantics/prov-sem.html</a></dd><dt>Previous version:</dt><dd>none</dd><dt>Editor:</dt><dd><a href="http://homepages.inf.ed.ac.uk/jcheney">James Cheney</a>, University of Edinburgh</dd>
+</dl><p class="copyright"><a href="http://www.w3.org/Consortium/Legal/ipr-notice#Copyright">Copyright</a> © 2012-2012 <a href="http://www.w3.org/"><acronym title="World Wide Web Consortium">W3C</acronym></a><sup>®</sup> (<a href="http://www.csail.mit.edu/"><acronym title="Massachusetts Institute of Technology">MIT</acronym></a>, <a href="http://www.ercim.eu/"><acronym title="European Research Consortium for Informatics and Mathematics">ERCIM</acronym></a>, <a href="http://www.keio.ac.jp/">Keio</a>), All Rights Reserved. <acronym title="World Wide Web Consortium">W3C</acronym> <a href="http://www.w3.org/Consortium/Legal/ipr-notice#Legal_Disclaimer">liability</a>, <a href="http://www.w3.org/Consortium/Legal/ipr-notice#W3C_Trademarks">trademark</a> and <a href="http://www.w3.org/Consortium/Legal/copyright-documents">document use</a> rules apply.</p><hr></div><div id="MathJax_Message" style="display: none;">Loading [MathJax]/jax/output/HTML-CSS/fonts/STIX/fontdata.js</div>
<div id="abstract" class="introductory section"><h2>Abstract</h2>
<p>
@@ -634,7 +627,7 @@
should focus on PROV-DM and PROV-CONSTRAINTS. PROV-O and PROV-N offer examples of mapping to RDF and text, respectively.</li>
</ul>
-<p>This document was published by the <a href="http://www.w3.org/2011/prov/">Provenance Working Group</a> as an Editor's Draft. If you wish to make comments regarding this document, please send them to <a href="mailto:public-prov-comments@w3.org">public-prov-comments@w3.org</a> (<a href="mailto:public-prov-comments-request@w3.org?subject=subscribe">subscribe</a>, <a href="http://lists.w3.org/Archives/Public/public-prov-comments/">archives</a>). All feedback is welcome.</p><p>Publication as an Editor's Draft does not imply endorsement by the <acronym title="World Wide Web Consortium">W3C</acronym> Membership. This is a draft document and may be updated, replaced or obsoleted by other documents at any time. It is inappropriate to cite this document as other than work in progress.</p><p>This document was produced by a group operating under the <a href="http://www.w3.org/Consortium/Patent-Policy-20040205/">5 February 2004 <acronym title="World Wide Web Consortium">W3C</acronym> Patent Policy</a>. <acronym title="World Wide Web Consortium">W3C</acronym> maintains a <a href="http://www.w3.org/2004/01/pp-impl/46974/status" rel="disclosure">public list of any patent disclosures</a> made in connection with the deliverables of the group; that page also includes instructions for disclosing a patent. An individual who has actual knowledge of a patent which the individual believes contains <a href="http://www.w3.org/Consortium/Patent-Policy-20040205/#def-essential">Essential Claim(s)</a> must disclose the information in accordance with <a href="http://www.w3.org/Consortium/Patent-Policy-20040205/#sec-Disclosure">section 6 of the <acronym title="World Wide Web Consortium">W3C</acronym> Patent Policy</a>.</p></div><div id="toc" class="section"><h2 class="introductory">Table of Contents</h2><ul class="toc"><li class="tocline"><a href="#introduction" class="tocxref"><span class="secno">1. </span>Introduction<br />
+<p>This document was published by the <a href="http://www.w3.org/2011/prov/">Provenance Working Group</a> as an Editor's Draft. If you wish to make comments regarding this document, please send them to <a href="mailto:public-prov-comments@w3.org">public-prov-comments@w3.org</a> (<a href="mailto:public-prov-comments-request@w3.org?subject=subscribe">subscribe</a>, <a href="http://lists.w3.org/Archives/Public/public-prov-comments/">archives</a>). All feedback is welcome.</p><p>Publication as an Editor's Draft does not imply endorsement by the <acronym title="World Wide Web Consortium">W3C</acronym> Membership. This is a draft document and may be updated, replaced or obsoleted by other documents at any time. It is inappropriate to cite this document as other than work in progress.</p><p>This document was produced by a group operating under the <a href="http://www.w3.org/Consortium/Patent-Policy-20040205/">5 February 2004 <acronym title="World Wide Web Consortium">W3C</acronym> Patent Policy</a>. <acronym title="World Wide Web Consortium">W3C</acronym> maintains a <a href="http://www.w3.org/2004/01/pp-impl/46974/status" rel="disclosure">public list of any patent disclosures</a> made in connection with the deliverables of the group; that page also includes instructions for disclosing a patent. An individual who has actual knowledge of a patent which the individual believes contains <a href="http://www.w3.org/Consortium/Patent-Policy-20040205/#def-essential">Essential Claim(s)</a> must disclose the information in accordance with <a href="http://www.w3.org/Consortium/Patent-Policy-20040205/#sec-Disclosure">section 6 of the <acronym title="World Wide Web Consortium">W3C</acronym> Patent Policy</a>.</p></div><div id="toc" class="section"><h2 class="introductory">Table of Contents</h2><ul class="toc"><li class="tocline"><a href="#introduction" class="tocxref"><span class="secno">1. </span>Introduction<br>
</a><ul class="toc"><li class="tocline"><a href="#conventions" class="tocxref"><span class="secno">1.1 </span>Conventions</a></li><li class="tocline"><a href="#purpose" class="tocxref"><span class="secno">1.2 </span>Purpose of this document</a></li><li class="tocline"><a href="#structure-of-this-document" class="tocxref"><span class="secno">1.3 </span>Structure of this document</a></li><li class="tocline"><a href="#audience" class="tocxref"><span class="secno">1.4 </span> Audience </a></li></ul></li><li class="tocline"><a href="#test" class="tocxref"><span class="secno">2. </span>MathJax test</a></li><li class="tocline"><a href="#inferences" class="tocxref"><span class="secno">3. </span>Inferences</a></li><li class="tocline"><a href="#acknowledgements" class="tocxref"><span class="secno">A. </span>Acknowledgements</a></li><li class="tocline"><a href="#references" class="tocxref"><span class="secno">B. </span>References</a><ul class="toc"><li class="tocline"><a href="#normative-references" class="tocxref"><span class="secno">B.1 </span>Normative references</a></li><li class="tocline"><a href="#informative-references" class="tocxref"><span class="secno">B.2 </span>Informative references</a></li></ul></li></ul></div>
@@ -643,9 +636,7 @@
<div id="introduction" class="section">
-
-<!-- OddPage -->
-<h2><span class="secno">1. </span>Introduction<br />
+ <!--OddPage--><h2><span class="secno">1. </span>Introduction<br>
</h2>
<p>
@@ -661,10 +652,10 @@
-<p>The key words "<em class="rfc2119" title="must">must</em>", "<em class="rfc2119" title="must not">must not</em>", "<em class="rfc2119" title="required">required</em>", "<em class="rfc2119" title="shall">shall</em>", "<em class="rfc2119" title="shall
+<p>The key words "<em class="rfc2119" title="must">must</em>", "<em class="rfc2119" title="must not">must not</em>", "<em class="rfc2119" title="required">required</em>", "<em class="rfc2119" title="shall">shall</em>", "<em class="rfc2119" title="shall
not">shall
- not</em>", "<em class="rfc2119" title="should">should</em>", "<em class="rfc2119" title="should not">should not</em>", "<em class="rfc2119" title="recommended">recommended</em>", "<em class="rfc2119" title="may">may</em>", and
- "<em class="rfc2119" title="optional">optional</em>" in this document are to be interpreted as described in
+ not</em>", "<em class="rfc2119" title="should">should</em>", "<em class="rfc2119" title="should not">should not</em>", "<em class="rfc2119" title="recommended">recommended</em>", "<em class="rfc2119" title="may">may</em>", and
+ "<em class="rfc2119" title="optional">optional</em>" in this document are to be interpreted as described in
[<cite><a class="bibref" rel="biblioentry" href="#bib-RFC2119">RFC2119</a></cite>].</p>
<p>In this document, logical formulas contain variables written as
@@ -702,9 +693,7 @@
</div>
<div id="test" class="section">
-
-<!-- OddPage -->
-<h2><span class="secno">2. </span>MathJax test</h2>
+<!--OddPage--><h2><span class="secno">2. </span>MathJax test</h2>
<span class="MathJax_Preview"></span><span class="MathJax" id="MathJax-Element-1-Frame" role="textbox" aria-readonly="true" style=""><nobr><span class="math" id="MathJax-Span-1"><span style="display: inline-block; position: relative; width: 0px; height: 0px; font-size: 121%;"><span style="position: absolute; clip: rect(74px 19360px 80px -9px); top: -77px; left: 0px;"><span class="mrow" id="MathJax-Span-2"></span><span style="display: inline-block; width: 0px; height: 77px;"></span></span></span><span style="border-left-width: 0px; border-left-style: solid; display: inline-block; overflow: hidden; width: 0px; height: 2px; vertical-align: -1px;"></span></span></nobr></span><script type="math/tex" id="MathJax-Element-1">\newcommand{\wasDerivedFrom}{\mathit{wasDerivedFrom}}</script>
<span class="MathJax_Preview"></span><span class="MathJax" id="MathJax-Element-2-Frame" role="textbox" aria-readonly="true" style=""><nobr><span class="math" id="MathJax-Span-3"><span style="display: inline-block; position: relative; width: 0px; height: 0px; font-size: 121%;"><span style="position: absolute; clip: rect(74px 19360px 80px -9px); top: -77px; left: 0px;"><span class="mrow" id="MathJax-Span-4"></span><span style="display: inline-block; width: 0px; height: 77px;"></span></span></span><span style="border-left-width: 0px; border-left-style: solid; display: inline-block; overflow: hidden; width: 0px; height: 2px; vertical-align: -1px;"></span></span></nobr></span><script type="math/tex" id="MathJax-Element-2">\newcommand{\wasInformedBy}{\mathit{wasInformedBy}}</script>
@@ -718,15 +707,13 @@
<span class="MathJax_Preview"></span><div class="MathJax_Display" role="textbox" aria-readonly="true" style="text-align: center;"><span class="MathJax" id="MathJax-Element-9-Frame" style=""><nobr><span class="math" id="MathJax-Span-31"><span style="display: inline-block; position: relative; width: 173px; height: 0px; font-size: 121%;"><span style="position: absolute; clip: rect(11px 19360px 64.5px -9.5px); top: -48px; left: 0px;"><span class="mrow" id="MathJax-Span-32"><span class="mi" id="MathJax-Span-33" style="font-family: STIXGeneral-Italic;">x<span style="display: inline-block; overflow: hidden; height: 1px; width: 0.1px;"></span></span><span class="mo" id="MathJax-Span-34" style="font-family: STIXGeneral-Regular; padding-left: 6px;">=</span><span class="texatom" id="MathJax-Span-35" style="padding-left: 6px;"><span class="mrow" id="MathJax-Span-36"><span class="mfrac" id="MathJax-Span-37" style="padding-left: 2.3px; padding-right: 2.3px;"><span style="display: inline-block; position: relative; width: 130.3px; height: 0px;"><span style="position: absolute; clip: rect(24.1px 19360px 54.2px -7.8px); top: -61.1px; left: 50%; margin-left: -64px;"><span class="mrow" id="MathJax-Span-38"><span class="mo" id="MathJax-Span-39" style="font-family: STIXGeneral-Regular;">−</span><span class="mi" id="MathJax-Span-40" style="font-family: STIXGeneral-Italic;">b</span><span class="mo" id="MathJax-Span-41" style="font-family: STIXGeneral-Regular; padding-left: 4.8px;">±</span><span class="msqrt" id="MathJax-Span-42" style="padding-left: 4.8px;"><span style="display: inline-block; position: relative; width: 83.5px; height: 0px;"><span style="position: absolute; clip: rect(27.8px 19360px 51.2px -8.6px); top: -48px; left: 15px;"><span class="mrow" id="MathJax-Span-43"><span class="msubsup" id="MathJax-Span-44"><span style="display: inline-block; position: relative; width: 18.5px; height: 0px;"><span style="position: absolute; clip: rect(31.8px 19360px 51.2px -8.6px); top: -48px; left: 0px;"><span class="mi" id="MathJax-Span-45" style="font-family: STIXGeneral-Italic;">b</span><span style="display: inline-block; width: 0px; height: 48px;"></span></span><span style="position: absolute; top: -49.9px; left: 10px;"><span class="mn" id="MathJax-Span-46" style="font-size: 70.7%; font-family: STIXGeneral-Regular;">2</span><span style="display: inline-block; width: 0px; height: 42px;"></span></span></span></span><span class="mo" id="MathJax-Span-47" style="font-family: STIXGeneral-Regular; padding-left: 4.8px;">−</span><span class="mn" id="MathJax-Span-48" style="font-family: STIXGeneral-Regular; padding-left: 4.8px;">4</span><span class="mi" id="MathJax-Span-49" style="font-family: STIXGeneral-Italic;">a</span><span class="mi" id="MathJax-Span-50" style="font-family: STIXGeneral-Italic;">c</span></span><span style="display: inline-block; width: 0px; height: 48px;"></span></span><span style="position: absolute; clip: rect(58.1px 19360px 65.1px -9px); top: -82px; left: 15px;"><span style="display: inline-block; position: relative; width: 68.5px; height: 0px;"><span style="position: absolute; font-family: STIXGeneral-Regular; top: -77px; left: 0px;">‾<span style="display: inline-block; width: 0px; height: 77px;"></span></span><span style="position: absolute; font-family: STIXGeneral-Regular; top: -77px; left: 58.8px;">‾<span style="display: inline-block; width: 0px; height: 77px;"></span></span><span style="font-family: STIXGeneral-Regular; position: absolute; top: -77px; left: 8px;">‾<span style="display: inline-block; width: 0px; height: 77px;"></span></span><span style="font-family: STIXGeneral-Regular; position: absolute; top: -77px; left: 16.5px;">‾<span style="display: inline-block; width: 0px; height: 77px;"></span></span><span style="font-family: STIXGeneral-Regular; position: absolute; top: -77px; left: 24.9px;">‾<span style="display: inline-block; width: 0px; height: 77px;"></span></span><span style="font-family: STIXGeneral-Regular; position: absolute; top: -77px; left: 33.4px;">‾<span style="display: inline-block; width: 0px; height: 77px;"></span></span><span style="font-family: STIXGeneral-Regular; position: absolute; top: -77px; left: 41.9px;">‾<span style="display: inline-block; width: 0px; height: 77px;"></span></span><span style="font-family: STIXGeneral-Regular; position: absolute; top: -77px; left: 50.3px;">‾<span style="display: inline-block; width: 0px; height: 77px;"></span></span></span><span style="display: inline-block; width: 0px; height: 77px;"></span></span><span style="position: absolute; clip: rect(55.2px 19360px 85px -6.8px); top: -78.8px; left: 0px;"><span style="font-family: STIXGeneral-Regular;">√</span><span style="display: inline-block; width: 0px; height: 77px;"></span></span></span></span></span><span style="display: inline-block; width: 0px; height: 48px;"></span></span><span style="position: absolute; clip: rect(31.9px 19360px 51.2px -8.4px); top: -34.7px; left: 50%; margin-left: -10px;"><span class="mrow" id="MathJax-Span-51"><span class="mn" id="MathJax-Span-52" style="font-family: STIXGeneral-Regular;">2</span><span class="mi" id="MathJax-Span-53" style="font-family: STIXGeneral-Italic;">a</span></span><span style="display: inline-block; width: 0px; height: 48px;"></span></span><span style="position: absolute; clip: rect(16.8px 19360px 24px -9px); top: -25.3px; left: 0px;"><span style="border-left-width: 130.3px; border-left-style: solid; display: inline-block; overflow: hidden; width: 0px; height: 1.25px; vertical-align: 0px;"></span><span style="display: inline-block; width: 0px; height: 21px;"></span></span></span></span></span></span><span class="mo" id="MathJax-Span-54" style="font-family: STIXGeneral-Regular;">.</span></span><span style="display: inline-block; width: 0px; height: 48px;"></span></span></span><span style="border-left-width: 0px; border-left-style: solid; display: inline-block; overflow: hidden; width: 0px; height: 49.5px; vertical-align: -14.5px;"></span></span></nobr></span></div><script type="math/tex; mode=display" id="MathJax-Element-9">x = {-b \pm \sqrt{b^2-4ac} \over 2a}.</script>
<div class="inference" id="communication-generation-use-inference_test"><div class="ruleTitle"><a class="internalDFN" href="#communication-generation-use-inference_test">Inference 1 (communication-generation-use-inference_test)</a></div>
-<span class="MathJax_Preview"></span><span class="MathJax" id="MathJax-Element-10-Frame" role="textbox" aria-readonly="true" style=""><nobr><span class="math" id="MathJax-Span-55"><span style="display: inline-block; position: relative; width: 993px; height: 0px; font-size: 121%;"><span style="position: absolute; clip: rect(31.8px 19360px 55px -9px); top: -48px; left: 0px;"><span class="mrow" id="MathJax-Span-56"><span class="mi" id="MathJax-Span-57" style="font-family: STIXGeneral-Regular;">∀</span><span class="mi" id="MathJax-Span-58" style="font-family: STIXGeneral-Italic;">i</span><span class="mi" id="MathJax-Span-59" style="font-family: STIXGeneral-Italic;">d<span style="display: inline-block; overflow: hidden; height: 1px; width: 0.5px;"></span></span><span class="mo" id="MathJax-Span-60" style="font-family: STIXGeneral-Regular;">,</span><span class="msubsup" id="MathJax-Span-61" style="padding-left: 3.6px;"><span style="display: inline-block; position: relative; width: 18.5px; height: 0px;"><span style="position: absolute; clip: rect(36.5px 19360px 51.2px -8.7px); top: -48px; left: 0px;"><span class="mi" id="MathJax-Span-62" style="font-family: STIXGeneral-Italic;">a</span><span style="display: inline-block; width: 0px; height: 48px;"></span></span><span style="position: absolute; top: -39.1px; left: 10px;"><span class="mn" id="MathJax-Span-63" style="font-size: 70.7%; font-family: STIXGeneral-Regular;">2</span><span style="display: inline-block; width: 0px; height: 42px;"></span></span></span></span><span class="mo" id="MathJax-Span-64" style="font-family: STIXGeneral-Regular;">,</span><span class="msubsup" id="MathJax-Span-65" style="padding-left: 3.6px;"><span style="display: inline-block; position: relative; width: 18.5px; height: 0px;"><span style="position: absolute; clip: rect(36.5px 19360px 51.2px -8.7px); top: -48px; left: 0px;"><span class="mi" id="MathJax-Span-66" style="font-family: STIXGeneral-Italic;">a</span><span style="display: inline-block; width: 0px; height: 48px;"></span></span><span style="position: absolute; top: -39.1px; left: 10px;"><span class="mn" id="MathJax-Span-67" style="font-size: 70.7%; font-family: STIXGeneral-Regular;">1</span><span style="display: inline-block; width: 0px; height: 42px;"></span></span></span></span><span class="mo" id="MathJax-Span-68" style="font-family: STIXGeneral-Regular;">,</span><span class="mi" id="MathJax-Span-69" style="font-family: STIXGeneral-Italic; padding-left: 3.6px;">a</span><span class="mi" id="MathJax-Span-70" style="font-family: STIXGeneral-Italic;">t<span style="display: inline-block; overflow: hidden; height: 1px; width: 0.3px;"></span></span><span class="mi" id="MathJax-Span-71" style="font-family: STIXGeneral-Italic;">t<span style="display: inline-block; overflow: hidden; height: 1px; width: 0.3px;"></span></span><span class="mi" id="MathJax-Span-72" style="font-family: STIXGeneral-Italic;">r<span style="display: inline-block; overflow: hidden; height: 1px; width: 0.4px;"></span></span><span class="mi" id="MathJax-Span-73" style="font-family: STIXGeneral-Italic;">s</span><span class="mo" id="MathJax-Span-74" style="font-family: STIXGeneral-Regular;">.</span><span class="mtext" id="MathJax-Span-75" style="font-family: STIXGeneral-Regular; padding-left: 3.6px;"> </span><span class="texatom" id="MathJax-Span-76"><span class="mrow" id="MathJax-Span-77"><span class="mi" id="MathJax-Span-78" style="font-family: STIXGeneral-Italic;">w</span><span class="mi" id="MathJax-Span-79" style="font-family: STIXGeneral-Italic;">a</span><span class="mi" id="MathJax-Span-80" style="font-family: STIXGeneral-Italic;">s</span><span class="mi" id="MathJax-Span-81" style="font-family: STIXGeneral-Italic;">I</span><span class="mi" id="MathJax-Span-82" style="font-family: STIXGeneral-Italic;">n</span><span class="mi" id="MathJax-Span-83" style="font-family: STIXGeneral-Italic;">f</span><span class="mi" id="MathJax-Span-84" style="font-family: STIXGeneral-Italic;">o</span><span class="mi" id="MathJax-Span-85" style="font-family: STIXGeneral-Italic;">r</span><span class="mi" id="MathJax-Span-86" style="font-family: STIXGeneral-Italic;">m</span><span class="mi" id="MathJax-Span-87" style="font-family: STIXGeneral-Italic;">e</span><span class="mi" id="MathJax-Span-88" style="font-family: STIXGeneral-Italic;">d</span><span class="mi" id="MathJax-Span-89" style="font-family: STIXGeneral-Italic;">B</span><span class="mi" id="MathJax-Span-90" style="font-family: STIXGeneral-Italic;">y</span></span></span><span class="mo" id="MathJax-Span-91" style="font-family: STIXGeneral-Regular;">(</span><span class="mi" id="MathJax-Span-92" style="font-family: STIXGeneral-Italic;">i</span><span class="mi" id="MathJax-Span-93" style="font-family: STIXGeneral-Italic;">d<span style="display: inline-block; overflow: hidden; height: 1px; width: 0.5px;"></span></span><span class="mo" id="MathJax-Span-94" style="font-family: STIXGeneral-Regular;">,</span><span class="msubsup" id="MathJax-Span-95" style="padding-left: 3.6px;"><span style="display: inline-block; position: relative; width: 18.5px; height: 0px;"><span style="position: absolute; clip: rect(36.5px 19360px 51.2px -8.7px); top: -48px; left: 0px;"><span class="mi" id="MathJax-Span-96" style="font-family: STIXGeneral-Italic;">a</span><span style="display: inline-block; width: 0px; height: 48px;"></span></span><span style="position: absolute; top: -39.1px; left: 10px;"><span class="mn" id="MathJax-Span-97" style="font-size: 70.7%; font-family: STIXGeneral-Regular;">2</span><span style="display: inline-block; width: 0px; height: 42px;"></span></span></span></span><span class="mo" id="MathJax-Span-98" style="font-family: STIXGeneral-Regular;">,</span><span class="msubsup" id="MathJax-Span-99" style="padding-left: 3.6px;"><span style="display: inline-block; position: relative; width: 18.5px; height: 0px;"><span style="position: absolute; clip: rect(36.5px 19360px 51.2px -8.7px); top: -48px; left: 0px;"><span class="mi" id="MathJax-Span-100" style="font-family: STIXGeneral-Italic;">a</span><span style="display: inline-block; width: 0px; height: 48px;"></span></span><span style="position: absolute; top: -39.1px; left: 10px;"><span class="mn" id="MathJax-Span-101" style="font-size: 70.7%; font-family: STIXGeneral-Regular;">1</span><span style="display: inline-block; width: 0px; height: 42px;"></span></span></span></span><span class="mo" id="MathJax-Span-102" style="font-family: STIXGeneral-Regular;">,</span><span class="mi" id="MathJax-Span-103" style="font-family: STIXGeneral-Italic; padding-left: 3.6px;">a</span><span class="mi" id="MathJax-Span-104" style="font-family: STIXGeneral-Italic;">t<span style="display: inline-block; overflow: hidden; height: 1px; width: 0.3px;"></span></span><span class="mi" id="MathJax-Span-105" style="font-family: STIXGeneral-Italic;">t<span style="display: inline-block; overflow: hidden; height: 1px; width: 0.3px;"></span></span><span class="mi" id="MathJax-Span-106" style="font-family: STIXGeneral-Italic;">r<span style="display: inline-block; overflow: hidden; height: 1px; width: 0.4px;"></span></span><span class="mi" id="MathJax-Span-107" style="font-family: STIXGeneral-Italic;">s</span><span class="mo" id="MathJax-Span-108" style="font-family: STIXGeneral-Regular;">)</span><span class="mo" id="MathJax-Span-109" style="font-family: STIXGeneral-Regular; padding-left: 6px;">⟹</span><span class="mi" id="MathJax-Span-110" style="font-family: STIXGeneral-Regular; padding-left: 6px;">∃</span><span class="mi" id="MathJax-Span-111" style="font-family: STIXGeneral-Italic;">e</span><span class="mo" id="MathJax-Span-112" style="font-family: STIXGeneral-Regular;">,</span><span class="mi" id="MathJax-Span-113" style="font-family: STIXGeneral-Italic; padding-left: 3.6px;">g</span><span class="mi" id="MathJax-Span-114" style="font-family: STIXGeneral-Italic;">e</span><span class="mi" id="MathJax-Span-115" style="font-family: STIXGeneral-Italic;">n</span><span class="mo" id="MathJax-Span-116" style="font-family: STIXGeneral-Regular;">,</span><span class="msubsup" id="MathJax-Span-117" style="padding-left: 3.6px;"><span style="display: inline-block; position: relative; width: 14.1px; height: 0px;"><span style="position: absolute; clip: rect(34.4px 19360px 51.2px -8.3px); top: -48px; left: 0px;"><span class="mi" id="MathJax-Span-118" style="font-family: STIXGeneral-Italic;">t<span style="display: inline-block; overflow: hidden; height: 1px; width: 0.3px;"></span></span><span style="display: inline-block; width: 0px; height: 48px;"></span></span><span style="position: absolute; top: -39.1px; left: 5.7px;"><span class="mn" id="MathJax-Span-119" style="font-size: 70.7%; font-family: STIXGeneral-Regular;">1</span><span style="display: inline-block; width: 0px; height: 42px;"></span></span></span></span><span class="mo" id="MathJax-Span-120" style="font-family: STIXGeneral-Regular;">,</span><span class="mi" id="MathJax-Span-121" style="font-family: STIXGeneral-Italic; padding-left: 3.6px;">u</span><span class="mi" id="MathJax-Span-122" style="font-family: STIXGeneral-Italic;">s</span><span class="mi" id="MathJax-Span-123" style="font-family: STIXGeneral-Italic;">e</span><span class="mo" id="MathJax-Span-124" style="font-family: STIXGeneral-Regular;">,</span><span class="msubsup" id="MathJax-Span-125" style="padding-left: 3.6px;"><span style="display: inline-block; position: relative; width: 14.1px; height: 0px;"><span style="position: absolute; clip: rect(34.4px 19360px 51.2px -8.3px); top: -48px; left: 0px;"><span class="mi" id="MathJax-Span-126" style="font-family: STIXGeneral-Italic;">t<span style="display: inline-block; overflow: hidden; height: 1px; width: 0.3px;"></span></span><span style="display: inline-block; width: 0px; height: 48px;"></span></span><span style="position: absolute; top: -39.1px; left: 5.7px;"><span class="mn" id="MathJax-Span-127" style="font-size: 70.7%; font-family: STIXGeneral-Regular;">2</span><span style="display: inline-block; width: 0px; height: 42px;"></span></span></span></span><span class="mo" id="MathJax-Span-128" style="font-family: STIXGeneral-Regular;">.</span><span class="mtext" id="MathJax-Span-129" style="font-family: STIXGeneral-Regular; padding-left: 3.6px;"> </span><span class="texatom" id="MathJax-Span-130"><span class="mrow" id="MathJax-Span-131"><span class="mi" id="MathJax-Span-132" style="font-family: STIXGeneral-Italic;">w</span><span class="mi" id="MathJax-Span-133" style="font-family: STIXGeneral-Italic;">a</span><span class="mi" id="MathJax-Span-134" style="font-family: STIXGeneral-Italic;">s</span><span class="mi" id="MathJax-Span-135" style="font-family: STIXGeneral-Italic;">G</span><span class="mi" id="MathJax-Span-136" style="font-family: STIXGeneral-Italic;">e</span><span class="mi" id="MathJax-Span-137" style="font-family: STIXGeneral-Italic;">n</span><span class="mi" id="MathJax-Span-138" style="font-family: STIXGeneral-Italic;">e</span><span class="mi" id="MathJax-Span-139" style="font-family: STIXGeneral-Italic;">r</span><span class="mi" id="MathJax-Span-140" style="font-family: STIXGeneral-Italic;">a</span><span class="mi" id="MathJax-Span-141" style="font-family: STIXGeneral-Italic;">t</span><span class="mi" id="MathJax-Span-142" style="font-family: STIXGeneral-Italic;">e</span><span class="mi" id="MathJax-Span-143" style="font-family: STIXGeneral-Italic;">d</span><span class="mi" id="MathJax-Span-144" style="font-family: STIXGeneral-Italic;">B</span><span class="mi" id="MathJax-Span-145" style="font-family: STIXGeneral-Italic;">y</span></span></span><span class="mo" id="MathJax-Span-146" style="font-family: STIXGeneral-Regular;">(</span><span class="mi" id="MathJax-Span-147" style="font-family: STIXGeneral-Italic;">g</span><span class="mi" id="MathJax-Span-148" style="font-family: STIXGeneral-Italic;">e</span><span class="mi" id="MathJax-Span-149" style="font-family: STIXGeneral-Italic;">n</span><span class="mo" id="MathJax-Span-150" style="font-family: STIXGeneral-Regular;">,</span><span class="mi" id="MathJax-Span-151" style="font-family: STIXGeneral-Italic; padding-left: 3.6px;">e</span><span class="mo" id="MathJax-Span-152" style="font-family: STIXGeneral-Regular;">,</span><span class="msubsup" id="MathJax-Span-153" style="padding-left: 3.6px;"><span style="display: inline-block; position: relative; width: 18.5px; height: 0px;"><span style="position: absolute; clip: rect(36.5px 19360px 51.2px -8.7px); top: -48px; left: 0px;"><span class="mi" id="MathJax-Span-154" style="font-family: STIXGeneral-Italic;">a</span><span style="display: inline-block; width: 0px; height: 48px;"></span></span><span style="position: absolute; top: -39.1px; left: 10px;"><span class="mn" id="MathJax-Span-155" style="font-size: 70.7%; font-family: STIXGeneral-Regular;">1</span><span style="display: inline-block; width: 0px; height: 42px;"></span></span></span></span><span class="mo" id="MathJax-Span-156" style="font-family: STIXGeneral-Regular;">,</span><span class="msubsup" id="MathJax-Span-157" style="padding-left: 3.6px;"><span style="display: inline-block; position: relative; width: 14.1px; height: 0px;"><span style="position: absolute; clip: rect(34.4px 19360px 51.2px -8.3px); top: -48px; left: 0px;"><span class="mi" id="MathJax-Span-158" style="font-family: STIXGeneral-Italic;">t<span style="display: inline-block; overflow: hidden; height: 1px; width: 0.3px;"></span></span><span style="display: inline-block; width: 0px; height: 48px;"></span></span><span style="position: absolute; top: -39.1px; left: 5.7px;"><span class="mn" id="MathJax-Span-159" style="font-size: 70.7%; font-family: STIXGeneral-Regular;">1</span><span style="display: inline-block; width: 0px; height: 42px;"></span></span></span></span><span class="mo" id="MathJax-Span-160" style="font-family: STIXGeneral-Regular;">,</span><span class="mo" id="MathJax-Span-161" style="font-family: STIXGeneral-Regular; padding-left: 3.6px;">[</span><span class="mo" id="MathJax-Span-162" style="font-family: STIXGeneral-Regular;">]</span><span class="mo" id="MathJax-Span-163" style="font-family: STIXGeneral-Regular;">)</span><span class="mo" id="MathJax-Span-164" style="font-family: STIXGeneral-Regular; padding-left: 4.8px;">∧</span><span class="texatom" id="MathJax-Span-165" style="padding-left: 4.8px;"><span class="mrow" id="MathJax-Span-166"><span class="mi" id="MathJax-Span-167" style="font-family: STIXGeneral-Italic;">u</span><span class="mi" id="MathJax-Span-168" style="font-family: STIXGeneral-Italic;">s</span><span class="mi" id="MathJax-Span-169" style="font-family: STIXGeneral-Italic;">e</span><span class="mi" id="MathJax-Span-170" style="font-family: STIXGeneral-Italic;">d</span></span></span><span class="mo" id="MathJax-Span-171" style="font-family: STIXGeneral-Regular;">(</span><span class="mi" id="MathJax-Span-172" style="font-family: STIXGeneral-Italic;">u</span><span class="mi" id="MathJax-Span-173" style="font-family: STIXGeneral-Italic;">s</span><span class="mi" id="MathJax-Span-174" style="font-family: STIXGeneral-Italic;">e</span><span class="mo" id="MathJax-Span-175" style="font-family: STIXGeneral-Regular;">,</span><span class="msubsup" id="MathJax-Span-176" style="padding-left: 3.6px;"><span style="display: inline-block; position: relative; width: 18.5px; height: 0px;"><span style="position: absolute; clip: rect(36.5px 19360px 51.2px -8.7px); top: -48px; left: 0px;"><span class="mi" id="MathJax-Span-177" style="font-family: STIXGeneral-Italic;">a</span><span style="display: inline-block; width: 0px; height: 48px;"></span></span><span style="position: absolute; top: -39.1px; left: 10px;"><span class="mn" id="MathJax-Span-178" style="font-size: 70.7%; font-family: STIXGeneral-Regular;">2</span><span style="display: inline-block; width: 0px; height: 42px;"></span></span></span></span><span class="mo" id="MathJax-Span-179" style="font-family: STIXGeneral-Regular;">,</span><span class="mi" id="MathJax-Span-180" style="font-family: STIXGeneral-Italic; padding-left: 3.6px;">e</span><span class="mo" id="MathJax-Span-181" style="font-family: STIXGeneral-Regular;">,</span><span class="msubsup" id="MathJax-Span-182" style="padding-left: 3.6px;"><span style="display: inline-block; position: relative; width: 14.1px; height: 0px;"><span style="position: absolute; clip: rect(34.4px 19360px 51.2px -8.3px); top: -48px; left: 0px;"><span class="mi" id="MathJax-Span-183" style="font-family: STIXGeneral-Italic;">t<span style="display: inline-block; overflow: hidden; height: 1px; width: 0.3px;"></span></span><span style="display: inline-block; width: 0px; height: 48px;"></span></span><span style="position: absolute; top: -39.1px; left: 5.7px;"><span class="mn" id="MathJax-Span-184" style="font-size: 70.7%; font-family: STIXGeneral-Regular;">2</span><span style="display: inline-block; width: 0px; height: 42px;"></span></span></span></span><span class="mo" id="MathJax-Span-185" style="font-family: STIXGeneral-Regular;">,</span><span class="mo" id="MathJax-Span-186" style="font-family: STIXGeneral-Regular; padding-left: 3.6px;">[</span><span class="mo" id="MathJax-Span-187" style="font-family: STIXGeneral-Regular;">]</span><span class="mo" id="MathJax-Span-188" style="font-family: STIXGeneral-Regular;">)</span></span><span style="display: inline-block; width: 0px; height: 48px;"></span></span></span><span style="border-left-width: 0px; border-left-style: solid; display: inline-block; overflow: hidden; width: 0px; height: 19.2px; vertical-align: -5px;"></span></span></nobr></span><script type="math/tex" id="MathJax-Element-10">\forall id,a_2,a_1,attrs.~ \wasInformedBy(id,a_2,a_1,attrs) \Longrightarrow \exists e,gen,t_1,use,t_2.~\wasGeneratedBy(gen,e,a_1,t_1,[]) \wedge \used(use,a_2,e,t_2,[])</script></div>
+<span class="MathJax_Preview"></span><span class="MathJax" id="MathJax-Element-10-Frame" role="textbox" aria-readonly="true" style=""><nobr><span class="math" id="MathJax-Span-55"><span style="display: inline-block; position: relative; width: 993px; height: 0px; font-size: 121%;"><span style="position: absolute; clip: rect(31.8px 19360px 55px -9px); top: -48px; left: 0px;"><span class="mrow" id="MathJax-Span-56"><span class="mi" id="MathJax-Span-57" style="font-family: STIXGeneral-Regular;">∀</span><span class="mi" id="MathJax-Span-58" style="font-family: STIXGeneral-Italic;">i</span><span class="mi" id="MathJax-Span-59" style="font-family: STIXGeneral-Italic;">d<span style="display: inline-block; overflow: hidden; height: 1px; width: 0.5px;"></span></span><span class="mo" id="MathJax-Span-60" style="font-family: STIXGeneral-Regular;">,</span><span class="msubsup" id="MathJax-Span-61" style="padding-left: 3.6px;"><span style="display: inline-block; position: relative; width: 18.5px; height: 0px;"><span style="position: absolute; clip: rect(36.5px 19360px 51.2px -8.7px); top: -48px; left: 0px;"><span class="mi" id="MathJax-Span-62" style="font-family: STIXGeneral-Italic;">a</span><span style="display: inline-block; width: 0px; height: 48px;"></span></span><span style="position: absolute; top: -39.1px; left: 10px;"><span class="mn" id="MathJax-Span-63" style="font-size: 70.7%; font-family: STIXGeneral-Regular;">2</span><span style="display: inline-block; width: 0px; height: 42px;"></span></span></span></span><span class="mo" id="MathJax-Span-64" style="font-family: STIXGeneral-Regular;">,</span><span class="msubsup" id="MathJax-Span-65" style="padding-left: 3.6px;"><span style="display: inline-block; position: relative; width: 18.5px; height: 0px;"><span style="position: absolute; clip: rect(36.5px 19360px 51.2px -8.7px); top: -48px; left: 0px;"><span class="mi" id="MathJax-Span-66" style="font-family: STIXGeneral-Italic;">a</span><span style="display: inline-block; width: 0px; height: 48px;"></span></span><span style="position: absolute; top: -39.1px; left: 10px;"><span class="mn" id="MathJax-Span-67" style="font-size: 70.7%; font-family: STIXGeneral-Regular;">1</span><span style="display: inline-block; width: 0px; height: 42px;"></span></span></span></span><span class="mo" id="MathJax-Span-68" style="font-family: STIXGeneral-Regular;">,</span><span class="mi" id="MathJax-Span-69" style="font-family: STIXGeneral-Italic; padding-left: 3.6px;">a</span><span class="mi" id="MathJax-Span-70" style="font-family: STIXGeneral-Italic;">t<span style="display: inline-block; overflow: hidden; height: 1px; width: 0.3px;"></span></span><span class="mi" id="MathJax-Span-71" style="font-family: STIXGeneral-Italic;">t<span style="display: inline-block; overflow: hidden; height: 1px; width: 0.3px;"></span></span><span class="mi" id="MathJax-Span-72" style="font-family: STIXGeneral-Italic;">r<span style="display: inline-block; overflow: hidden; height: 1px; width: 0.4px;"></span></span><span class="mi" id="MathJax-Span-73" style="font-family: STIXGeneral-Italic;">s</span><span class="mo" id="MathJax-Span-74" style="font-family: STIXGeneral-Regular;">.</span><span class="mtext" id="MathJax-Span-75" style="font-family: STIXGeneral-Regular; padding-left: 3.6px;"> </span><span class="texatom" id="MathJax-Span-76"><span class="mrow" id="MathJax-Span-77"><span class="mi" id="MathJax-Span-78" style="font-family: STIXGeneral-Italic;">w</span><span class="mi" id="MathJax-Span-79" style="font-family: STIXGeneral-Italic;">a</span><span class="mi" id="MathJax-Span-80" style="font-family: STIXGeneral-Italic;">s</span><span class="mi" id="MathJax-Span-81" style="font-family: STIXGeneral-Italic;">I</span><span class="mi" id="MathJax-Span-82" style="font-family: STIXGeneral-Italic;">n</span><span class="mi" id="MathJax-Span-83" style="font-family: STIXGeneral-Italic;">f</span><span class="mi" id="MathJax-Span-84" style="font-family: STIXGeneral-Italic;">o</span><span class="mi" id="MathJax-Span-85" style="font-family: STIXGeneral-Italic;">r</span><span class="mi" id="MathJax-Span-86" style="font-family: STIXGeneral-Italic;">m</span><span class="mi" id="MathJax-Span-87" style="font-family: STIXGeneral-Italic;">e</span><span class="mi" id="MathJax-Span-88" style="font-family: STIXGeneral-Italic;">d</span><span class="mi" id="MathJax-Span-89" style="font-family: STIXGeneral-Italic;">B</span><span class="mi" id="MathJax-Span-90" style="font-family: STIXGeneral-Italic;">y</span></span></span><span class="mo" id="MathJax-Span-91" style="font-family: STIXGeneral-Regular;">(</span><span class="mi" id="MathJax-Span-92" style="font-family: STIXGeneral-Italic;">i</span><span class="mi" id="MathJax-Span-93" style="font-family: STIXGeneral-Italic;">d<span style="display: inline-block; overflow: hidden; height: 1px; width: 0.5px;"></span></span><span class="mo" id="MathJax-Span-94" style="font-family: STIXGeneral-Regular;">,</span><span class="msubsup" id="MathJax-Span-95" style="padding-left: 3.6px;"><span style="display: inline-block; position: relative; width: 18.5px; height: 0px;"><span style="position: absolute; clip: rect(36.5px 19360px 51.2px -8.7px); top: -48px; left: 0px;"><span class="mi" id="MathJax-Span-96" style="font-family: STIXGeneral-Italic;">a</span><span style="display: inline-block; width: 0px; height: 48px;"></span></span><span style="position: absolute; top: -39.1px; left: 10px;"><span class="mn" id="MathJax-Span-97" style="font-size: 70.7%; font-family: STIXGeneral-Regular;">2</span><span style="display: inline-block; width: 0px; height: 42px;"></span></span></span></span><span class="mo" id="MathJax-Span-98" style="font-family: STIXGeneral-Regular;">,</span><span class="msubsup" id="MathJax-Span-99" style="padding-left: 3.6px;"><span style="display: inline-block; position: relative; width: 18.5px; height: 0px;"><span style="position: absolute; clip: rect(36.5px 19360px 51.2px -8.7px); top: -48px; left: 0px;"><span class="mi" id="MathJax-Span-100" style="font-family: STIXGeneral-Italic;">a</span><span style="display: inline-block; width: 0px; height: 48px;"></span></span><span style="position: absolute; top: -39.1px; left: 10px;"><span class="mn" id="MathJax-Span-101" style="font-size: 70.7%; font-family: STIXGeneral-Regular;">1</span><span style="display: inline-block; width: 0px; height: 42px;"></span></span></span></span><span class="mo" id="MathJax-Span-102" style="font-family: STIXGeneral-Regular;">,</span><span class="mi" id="MathJax-Span-103" style="font-family: STIXGeneral-Italic; padding-left: 3.6px;">a</span><span class="mi" id="MathJax-Span-104" style="font-family: STIXGeneral-Italic;">t<span style="display: inline-block; overflow: hidden; height: 1px; width: 0.3px;"></span></span><span class="mi" id="MathJax-Span-105" style="font-family: STIXGeneral-Italic;">t<span style="display: inline-block; overflow: hidden; height: 1px; width: 0.3px;"></span></span><span class="mi" id="MathJax-Span-106" style="font-family: STIXGeneral-Italic;">r<span style="display: inline-block; overflow: hidden; height: 1px; width: 0.4px;"></span></span><span class="mi" id="MathJax-Span-107" style="font-family: STIXGeneral-Italic;">s</span><span class="mo" id="MathJax-Span-108" style="font-family: STIXGeneral-Regular;">)</span><span class="mo" id="MathJax-Span-109" style="font-family: STIXGeneral-Regular; padding-left: 6px;">⟹</span><span class="mi" id="MathJax-Span-110" style="font-family: STIXGeneral-Regular; padding-left: 6px;">∃</span><span class="mi" id="MathJax-Span-111" style="font-family: STIXGeneral-Italic;">e</span><span class="mo" id="MathJax-Span-112" style="font-family: STIXGeneral-Regular;">,</span><span class="mi" id="MathJax-Span-113" style="font-family: STIXGeneral-Italic; padding-left: 3.6px;">g</span><span class="mi" id="MathJax-Span-114" style="font-family: STIXGeneral-Italic;">e</span><span class="mi" id="MathJax-Span-115" style="font-family: STIXGeneral-Italic;">n</span><span class="mo" id="MathJax-Span-116" style="font-family: STIXGeneral-Regular;">,</span><span class="msubsup" id="MathJax-Span-117" style="padding-left: 3.6px;"><span style="display: inline-block; position: relative; width: 14.1px; height: 0px;"><span style="position: absolute; clip: rect(34.4px 19360px 51.2px -8.3px); top: -48px; left: 0px;"><span class="mi" id="MathJax-Span-118" style="font-family: STIXGeneral-Italic;">t<span style="display: inline-block; overflow: hidden; height: 1px; width: 0.3px;"></span></span><span style="display: inline-block; width: 0px; height: 48px;"></span></span><span style="position: absolute; top: -39.1px; left: 5.7px;"><span class="mn" id="MathJax-Span-119" style="font-size: 70.7%; font-family: STIXGeneral-Regular;">1</span><span style="display: inline-block; width: 0px; height: 42px;"></span></span></span></span><span class="mo" id="MathJax-Span-120" style="font-family: STIXGeneral-Regular;">,</span><span class="mi" id="MathJax-Span-121" style="font-family: STIXGeneral-Italic; padding-left: 3.6px;">u</span><span class="mi" id="MathJax-Span-122" style="font-family: STIXGeneral-Italic;">s</span><span class="mi" id="MathJax-Span-123" style="font-family: STIXGeneral-Italic;">e</span><span class="mo" id="MathJax-Span-124" style="font-family: STIXGeneral-Regular;">,</span><span class="msubsup" id="MathJax-Span-125" style="padding-left: 3.6px;"><span style="display: inline-block; position: relative; width: 14.1px; height: 0px;"><span style="position: absolute; clip: rect(34.4px 19360px 51.2px -8.3px); top: -48px; left: 0px;"><span class="mi" id="MathJax-Span-126" style="font-family: STIXGeneral-Italic;">t<span style="display: inline-block; overflow: hidden; height: 1px; width: 0.3px;"></span></span><span style="display: inline-block; width: 0px; height: 48px;"></span></span><span style="position: absolute; top: -39.1px; left: 5.7px;"><span class="mn" id="MathJax-Span-127" style="font-size: 70.7%; font-family: STIXGeneral-Regular;">2</span><span style="display: inline-block; width: 0px; height: 42px;"></span></span></span></span><span class="mo" id="MathJax-Span-128" style="font-family: STIXGeneral-Regular;">.</span><span class="mtext" id="MathJax-Span-129" style="font-family: STIXGeneral-Regular; padding-left: 3.6px;"> </span><span class="texatom" id="MathJax-Span-130"><span class="mrow" id="MathJax-Span-131"><span class="mi" id="MathJax-Span-132" style="font-family: STIXGeneral-Italic;">w</span><span class="mi" id="MathJax-Span-133" style="font-family: STIXGeneral-Italic;">a</span><span class="mi" id="MathJax-Span-134" style="font-family: STIXGeneral-Italic;">s</span><span class="mi" id="MathJax-Span-135" style="font-family: STIXGeneral-Italic;">G</span><span class="mi" id="MathJax-Span-136" style="font-family: STIXGeneral-Italic;">e</span><span class="mi" id="MathJax-Span-137" style="font-family: STIXGeneral-Italic;">n</span><span class="mi" id="MathJax-Span-138" style="font-family: STIXGeneral-Italic;">e</span><span class="mi" id="MathJax-Span-139" style="font-family: STIXGeneral-Italic;">r</span><span class="mi" id="MathJax-Span-140" style="font-family: STIXGeneral-Italic;">a</span><span class="mi" id="MathJax-Span-141" style="font-family: STIXGeneral-Italic;">t</span><span class="mi" id="MathJax-Span-142" style="font-family: STIXGeneral-Italic;">e</span><span class="mi" id="MathJax-Span-143" style="font-family: STIXGeneral-Italic;">d</span><span class="mi" id="MathJax-Span-144" style="font-family: STIXGeneral-Italic;">B</span><span class="mi" id="MathJax-Span-145" style="font-family: STIXGeneral-Italic;">y</span></span></span><span class="mo" id="MathJax-Span-146" style="font-family: STIXGeneral-Regular;">(</span><span class="mi" id="MathJax-Span-147" style="font-family: STIXGeneral-Italic;">g</span><span class="mi" id="MathJax-Span-148" style="font-family: STIXGeneral-Italic;">e</span><span class="mi" id="MathJax-Span-149" style="font-family: STIXGeneral-Italic;">n</span><span class="mo" id="MathJax-Span-150" style="font-family: STIXGeneral-Regular;">,</span><span class="mi" id="MathJax-Span-151" style="font-family: STIXGeneral-Italic; padding-left: 3.6px;">e</span><span class="mo" id="MathJax-Span-152" style="font-family: STIXGeneral-Regular;">,</span><span class="msubsup" id="MathJax-Span-153" style="padding-left: 3.6px;"><span style="display: inline-block; position: relative; width: 18.5px; height: 0px;"><span style="position: absolute; clip: rect(36.5px 19360px 51.2px -8.7px); top: -48px; left: 0px;"><span class="mi" id="MathJax-Span-154" style="font-family: STIXGeneral-Italic;">a</span><span style="display: inline-block; width: 0px; height: 48px;"></span></span><span style="position: absolute; top: -39.1px; left: 10px;"><span class="mn" id="MathJax-Span-155" style="font-size: 70.7%; font-family: STIXGeneral-Regular;">1</span><span style="display: inline-block; width: 0px; height: 42px;"></span></span></span></span><span class="mo" id="MathJax-Span-156" style="font-family: STIXGeneral-Regular;">,</span><span class="msubsup" id="MathJax-Span-157" style="padding-left: 3.6px;"><span style="display: inline-block; position: relative; width: 14.1px; height: 0px;"><span style="position: absolute; clip: rect(34.4px 19360px 51.2px -8.3px); top: -48px; left: 0px;"><span class="mi" id="MathJax-Span-158" style="font-family: STIXGeneral-Italic;">t<span style="display: inline-block; overflow: hidden; height: 1px; width: 0.3px;"></span></span><span style="display: inline-block; width: 0px; height: 48px;"></span></span><span style="position: absolute; top: -39.1px; left: 5.7px;"><span class="mn" id="MathJax-Span-159" style="font-size: 70.7%; font-family: STIXGeneral-Regular;">1</span><span style="display: inline-block; width: 0px; height: 42px;"></span></span></span></span><span class="mo" id="MathJax-Span-160" style="font-family: STIXGeneral-Regular;">,</span><span class="mo" id="MathJax-Span-161" style="font-family: STIXGeneral-Regular; padding-left: 3.6px;">[</span><span class="mo" id="MathJax-Span-162" style="font-family: STIXGeneral-Regular;">]</span><span class="mo" id="MathJax-Span-163" style="font-family: STIXGeneral-Regular;">)</span><span class="mo" id="MathJax-Span-164" style="font-family: STIXGeneral-Regular; padding-left: 4.8px;">∧</span><span class="texatom" id="MathJax-Span-165" style="padding-left: 4.8px;"><span class="mrow" id="MathJax-Span-166"><span class="mi" id="MathJax-Span-167" style="font-family: STIXGeneral-Italic;">u</span><span class="mi" id="MathJax-Span-168" style="font-family: STIXGeneral-Italic;">s</span><span class="mi" id="MathJax-Span-169" style="font-family: STIXGeneral-Italic;">e</span><span class="mi" id="MathJax-Span-170" style="font-family: STIXGeneral-Italic;">d</span></span></span><span class="mo" id="MathJax-Span-171" style="font-family: STIXGeneral-Regular;">(</span><span class="mi" id="MathJax-Span-172" style="font-family: STIXGeneral-Italic;">u</span><span class="mi" id="MathJax-Span-173" style="font-family: STIXGeneral-Italic;">s</span><span class="mi" id="MathJax-Span-174" style="font-family: STIXGeneral-Italic;">e</span><span class="mo" id="MathJax-Span-175" style="font-family: STIXGeneral-Regular;">,</span><span class="msubsup" id="MathJax-Span-176" style="padding-left: 3.6px;"><span style="display: inline-block; position: relative; width: 18.5px; height: 0px;"><span style="position: absolute; clip: rect(36.5px 19360px 51.2px -8.7px); top: -48px; left: 0px;"><span class="mi" id="MathJax-Span-177" style="font-family: STIXGeneral-Italic;">a</span><span style="display: inline-block; width: 0px; height: 48px;"></span></span><span style="position: absolute; top: -39.1px; left: 10px;"><span class="mn" id="MathJax-Span-178" style="font-size: 70.7%; font-family: STIXGeneral-Regular;">2</span><span style="display: inline-block; width: 0px; height: 42px;"></span></span></span></span><span class="mo" id="MathJax-Span-179" style="font-family: STIXGeneral-Regular;">,</span><span class="mi" id="MathJax-Span-180" style="font-family: STIXGeneral-Italic; padding-left: 3.6px;">e</span><span class="mo" id="MathJax-Span-181" style="font-family: STIXGeneral-Regular;">,</span><span class="msubsup" id="MathJax-Span-182" style="padding-left: 3.6px;"><span style="display: inline-block; position: relative; width: 14.1px; height: 0px;"><span style="position: absolute; clip: rect(34.4px 19360px 51.2px -8.3px); top: -48px; left: 0px;"><span class="mi" id="MathJax-Span-183" style="font-family: STIXGeneral-Italic;">t<span style="display: inline-block; overflow: hidden; height: 1px; width: 0.3px;"></span></span><span style="display: inline-block; width: 0px; height: 48px;"></span></span><span style="position: absolute; top: -39.1px; left: 5.7px;"><span class="mn" id="MathJax-Span-184" style="font-size: 70.7%; font-family: STIXGeneral-Regular;">2</span><span style="display: inline-block; width: 0px; height: 42px;"></span></span></span></span><span class="mo" id="MathJax-Span-185" style="font-family: STIXGeneral-Regular;">,</span><span class="mo" id="MathJax-Span-186" style="font-family: STIXGeneral-Regular; padding-left: 3.6px;">[</span><span class="mo" id="MathJax-Span-187" style="font-family: STIXGeneral-Regular;">]</span><span class="mo" id="MathJax-Span-188" style="font-family: STIXGeneral-Regular;">)</span></span><span style="display: inline-block; width: 0px; height: 48px;"></span></span></span><span style="border-left-width: 0px; border-left-style: solid; display: inline-block; overflow: hidden; width: 0px; height: 19.2px; vertical-align: -5px;"></span></span></nobr></span><script type="math/tex" id="MathJax-Element-10">\forall id,a_2,a_1,attrs.~ \wasInformedBy(id,a_2,a_1,attrs) \Longrightarrow \exists e,gen,t_1,use,t_2.~\wasGeneratedBy(gen,e,a_1,t_1,[]) \wedge \used(use,a_2,e,t_2,[])</script></div>
</div>
<div id="inferences" class="section">
-
-<!-- OddPage -->
-<h2><span class="secno">3. </span>Inferences</h2>
+<!--OddPage--><h2><span class="secno">3. </span>Inferences</h2>
<div class="inference" id="communication-generation-use-inference"><div class="ruleTitle"><a class="internalDFN" href="#communication-generation-use-inference">Inference 2 (communication-generation-use-inference)</a></div><span class="math">∀ id,a<sub>2</sub>,a<sub>1</sub>,attrs. wasInformedBy(id,a<sub>2</sub>,a<sub>1</sub>,attrs) ⟹ ∃ e,gen,t<sub>1</sub>,use,t<sub>2</sub>. wasGeneratedBy(gen,e,a<sub>1</sub>,t<sub>1</sub>,[]) ∧ used(use,a<sub>2</sub>,e,t<sub>2</sub>,[])</span></div>
<div class="inference" id="generation-use-communication-inference"><div class="ruleTitle"><a class="internalDFN" href="#generation-use-communication-inference">Inference 3 (generation-use-communication-inference)</a></div><span class="math">∀ gen,a<sub>1</sub>,t<sub>1</sub>,attrs<sub>1</sub>,id<sub>2</sub>,a<sub>2</sub>,t<sub>2</sub>,attrs<sub>2</sub>. wasGeneratedBy(gen,e,a<sub>1</sub>,t<sub>1</sub>,attrs<sub>1</sub>) ∧ used(id<sub>2</sub>,a<sub>2</sub>,e,t<sub>2</sub>,attrs<sub>2</sub>) ⟹ ∃ id. wasInformedBy(id,a<sub>2</sub>,a<sub>1</sub>,[])</span></div>
@@ -750,9 +737,7 @@
</div>
<div class="appendix section" id="acknowledgements">
-
-<!-- OddPage -->
-<h2><span class="secno">A. </span>Acknowledgements</h2>
+ <!--OddPage--><h2><span class="secno">A. </span>Acknowledgements</h2>
<p>
This document has been produced by the PROV Working Group, and its contents reflect extensive discussion within the Working Group as a whole. The editors extend special thanks to Ivan Herman (<acronym title="World Wide Web Consortium">W3C</acronym>/<acronym title="European Research Consortium for Informatics and Mathematics">ERCIM</acronym>), Paul Groth, Tim Lebo, Simon Miles, Stian Soiland-Reyes, for their thorough reviews.
@@ -823,137 +808,71 @@
-
-<!-- LocalWords: px DM RL RDF AQ SEM SOTD Definitional wasInformedBy attrs ag
- -->
-
-
-<!-- LocalWords: wasGeneratedBy wasStartedBy gAttr sAttr wasAttributedTo attr
- -->
-
-
-<!-- LocalWords: wasAssociatedWith dAttrs gAttrs wasDerivedFrom uAttrs eAttrs
- -->
-
-
-<!-- LocalWords: wasRevisionOf specializationOf wasQuotedFrom Traceability WD
- -->
-
-
-<!-- LocalWords: tracedTo aAttr actedOnBehalfOf rAttr traceability TODO xsd
- -->
-
-
-<!-- LocalWords: alternateOf wasEndedBy Lamport's timeline subfigure memberOf
- -->
-
-
-<!-- LocalWords: wasStartedByAgent wasAttributedWith derivedByInsertionFrom
- -->
-
-
-<!-- LocalWords: QName derivedByRemovalFrom EmptyCollection wasVersionOf dm
- -->
-
-
-<!-- LocalWords: RecsWD formedness workflow ness operability CSP versa hyp YY
- -->
-
-
-<!-- LocalWords: disambiguating lifecycle conformant minimalistic Lamport fo
- -->
-
-
-<!-- LocalWords: reflexivity antisymmetry timelines timespan WG concl inv TBD
- -->
-
-
-<!-- LocalWords: continuant occurrent modalities toyota womanInRedDress provn
- -->
-
-
-<!-- LocalWords: customerInChairAt manWithGlasses customerInChair irreflexive
- -->
-
-
-<!-- LocalWords: wasStartedByActivity antisymmetric wasInvalidatedBy stmt CHR
- -->
-
-
-<!-- LocalWords: DBCONSTRAINTS formalisms URIs wasInfluencedBy definitional
- -->
-
-
-<!-- LocalWords: wasInvalidated th nontermination implementability att evt
- -->
-
-
-<!-- LocalWords: Irreflexivity mentionOf preorder equalities unsatisfiable De
- -->
-
-
-<!-- LocalWords: Lebo subfigures pre del irreflexivity superproperty typeOf
- -->
-
-
-<!-- LocalWords: disjointness inferrable subtyping subtype subtypes hadMember
- -->
-
-
-<!-- LocalWords: hasMember toplevel sameAs tuple acyclicity isomorphism IRI
- -->
-
-
-<!-- LocalWords: endBundle typeof equational acyclic invertible procedurally
- -->
-
-
-<!-- LocalWords: implementers multi unifier ERCIM Groth Stian Soiland Ilkay
- -->
-
-
-<!-- LocalWords: Altintas Reza B'Far Belhajjame Informatics Coppens IBBT Nies
- -->
-
-
-<!-- LocalWords: Corsar Cresswell Deus DERI Galway satisfiable namespace Kai
- -->
-
-
-<!-- LocalWords: endDocument Dobson Doerr Hellas Eckert EVAIN EBU UER Frew de
- -->
-
-
-<!-- LocalWords: Irini Fundulaki Garijo Universidad Politécnica Vrije Hartig
- -->
-
-
-<!-- LocalWords: Universiteit Hau NCI Sandro Hawke Jörn Hees DFKI Gmbh Hua da
- -->
-
-
-<!-- LocalWords: Hodgson TopQuadrant Trung Huynh Klyne Revelytix Rensselaer
- -->
-
-
-<!-- LocalWords: McCusker McGuinness Paolo Missier Luc Moreau Vinh Edoardo
- -->
-
-
-<!-- LocalWords: Pignotti Paulo Pinheiro Geospatial Retter Runnegar Satya
- -->
-
-
-<!-- LocalWords: Sahoo Schaengold Schutzer FSTC Yogesh Simmhan Theodoridou
- -->
-
-
-<!-- LocalWords: Thibodeau OpenLink Tilmes Zednik Zhao Yuting
- -->
-
-<div id="MathJax_Font_Test" style="position: absolute; visibility: hidden; top: 0px; left: 0px; width: auto; padding: 0px; border: 0px; margin: 0px; white-space: nowrap; text-align: left; text-indent: 0px; text-transform: none; line-height: normal; letter-spacing: normal; word-spacing: normal; font-size: 40px; font-weight: normal; font-style: normal; font-family: STIXSizeOneSym, sans-serif;">() {} []</div><div id="references" class="appendix section">
-<!-- OddPage -->
-<h2><span class="secno">B. </span>References</h2><div id="normative-references" class="section"><h3><span class="secno">B.1 </span>Normative references</h3><dl class="bibliography"><dt id="bib-PROV-DM">[PROV-DM]</dt><dd>Luc Moreau; Paolo Missier; eds. <a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/"><cite>PROV-DM: The PROV Data Model</cite></a>. 11 December 2012, W3C Candidate Recommendation. URL: <a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/">http://www.w3.org/TR/2012/CR-prov-dm-20121211/</a>
+<!-- LocalWords: px DM RL RDF AQ SEM SOTD Definitional wasInformedBy attrs ag
+ -->
+<!-- LocalWords: wasGeneratedBy wasStartedBy gAttr sAttr wasAttributedTo attr
+ -->
+<!-- LocalWords: wasAssociatedWith dAttrs gAttrs wasDerivedFrom uAttrs eAttrs
+ -->
+<!-- LocalWords: wasRevisionOf specializationOf wasQuotedFrom Traceability WD
+ -->
+<!-- LocalWords: tracedTo aAttr actedOnBehalfOf rAttr traceability TODO xsd
+ -->
+<!-- LocalWords: alternateOf wasEndedBy Lamport's timeline subfigure memberOf
+ -->
+<!-- LocalWords: wasStartedByAgent wasAttributedWith derivedByInsertionFrom
+ -->
+<!-- LocalWords: QName derivedByRemovalFrom EmptyCollection wasVersionOf dm
+ -->
+<!-- LocalWords: RecsWD formedness workflow ness operability CSP versa hyp YY
+ -->
+<!-- LocalWords: disambiguating lifecycle conformant minimalistic Lamport fo
+ -->
+<!-- LocalWords: reflexivity antisymmetry timelines timespan WG concl inv TBD
+ -->
+<!-- LocalWords: continuant occurrent modalities toyota womanInRedDress provn
+ -->
+<!-- LocalWords: customerInChairAt manWithGlasses customerInChair irreflexive
+ -->
+<!-- LocalWords: wasStartedByActivity antisymmetric wasInvalidatedBy stmt CHR
+ -->
+<!-- LocalWords: DBCONSTRAINTS formalisms URIs wasInfluencedBy definitional
+ -->
+<!-- LocalWords: wasInvalidated th nontermination implementability att evt
+ -->
+<!-- LocalWords: Irreflexivity mentionOf preorder equalities unsatisfiable De
+ -->
+<!-- LocalWords: Lebo subfigures pre del irreflexivity superproperty typeOf
+ -->
+<!-- LocalWords: disjointness inferrable subtyping subtype subtypes hadMember
+ -->
+<!-- LocalWords: hasMember toplevel sameAs tuple acyclicity isomorphism IRI
+ -->
+<!-- LocalWords: endBundle typeof equational acyclic invertible procedurally
+ -->
+<!-- LocalWords: implementers multi unifier ERCIM Groth Stian Soiland Ilkay
+ -->
+<!-- LocalWords: Altintas Reza B'Far Belhajjame Informatics Coppens IBBT Nies
+ -->
+<!-- LocalWords: Corsar Cresswell Deus DERI Galway satisfiable namespace Kai
+ -->
+<!-- LocalWords: endDocument Dobson Doerr Hellas Eckert EVAIN EBU UER Frew de
+ -->
+<!-- LocalWords: Irini Fundulaki Garijo Universidad Politécnica Vrije Hartig
+ -->
+<!-- LocalWords: Universiteit Hau NCI Sandro Hawke Jörn Hees DFKI Gmbh Hua da
+ -->
+<!-- LocalWords: Hodgson TopQuadrant Trung Huynh Klyne Revelytix Rensselaer
+ -->
+<!-- LocalWords: McCusker McGuinness Paolo Missier Luc Moreau Vinh Edoardo
+ -->
+<!-- LocalWords: Pignotti Paulo Pinheiro Geospatial Retter Runnegar Satya
+ -->
+<!-- LocalWords: Sahoo Schaengold Schutzer FSTC Yogesh Simmhan Theodoridou
+ -->
+<!-- LocalWords: Thibodeau OpenLink Tilmes Zednik Zhao Yuting
+ -->
+<div id="MathJax_Font_Test" style="position: absolute; visibility: hidden; top: 0px; left: 0px; width: auto; padding: 0px; border: 0px; margin: 0px; white-space: nowrap; text-align: left; text-indent: 0px; text-transform: none; line-height: normal; letter-spacing: normal; word-spacing: normal; font-size: 40px; font-weight: normal; font-style: normal; font-family: STIXSizeOneSym, sans-serif;">() {} []</div><div id="references" class="appendix section"><!--OddPage--><h2><span class="secno">B. </span>References</h2><div id="normative-references" class="section"><h3><span class="secno">B.1 </span>Normative references</h3><dl class="bibliography"><dt id="bib-PROV-DM">[PROV-DM]</dt><dd>Luc Moreau; Paolo Missier; eds. <a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/"><cite>PROV-DM: The PROV Data Model</cite></a>. 11 December 2012, W3C Candidate Recommendation. URL: <a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/">http://www.w3.org/TR/2012/CR-prov-dm-20121211/</a>
</dd><dt id="bib-PROV-N">[PROV-N]</dt><dd>Luc Moreau; Paolo Missier; eds. <a href="http://www.w3.org/TR/2012/CR-prov-n-20121211/"><cite>PROV-N: The Provenance Notation</cite></a>. 11 December 2012, W3C Candidate Recommendation. URL: <a href="http://www.w3.org/TR/2012/CR-prov-n-20121211/">http://www.w3.org/TR/2012/CR-prov-n-20121211/</a>
</dd><dt id="bib-PROV-O">[PROV-O]</dt><dd>Timothy Lebo; Satya Sahoo; Deborah McGuinness; eds. <a href="http://www.w3.org/TR/2012/CR-prov-o-20121211/"><cite>PROV-O: The PROV Ontology</cite></a>. 11 December 2012, W3C Candidate Recommendation. URL: <a href="http://www.w3.org/TR/2012/CR-prov-o-20121211/">http://www.w3.org/TR/2012/CR-prov-o-20121211/</a>
</dd><dt id="bib-RFC2119">[RFC2119]</dt><dd>S. Bradner. <a href="http://www.ietf.org/rfc/rfc2119.txt"><cite>Key words for use in RFCs to Indicate Requirement Levels.</cite></a> March 1997. Internet RFC 2119. URL: <a href="http://www.ietf.org/rfc/rfc2119.txt">http://www.ietf.org/rfc/rfc2119.txt</a>