Fix definition exports to stop Strudy errors in DI specs.

Author: msporny

index.html

@@ -523,18 +523,6 @@ <h2>Terminology</h2>
         <dd>
 The [=graph=] containing all [=claims=] that are not explicitly part of
 a [=named graph=].
-        </dd>
-        <dt><dfn data-lt="predicates|derived predicates">derived predicate</dfn></dt>
-        <dd>
-A verifiable, boolean assertion about the value of another attribute in a
-[=verifiable credential=]. These are useful in zero-knowledge-proof-style
-[=verifiable presentations=] because they can limit information disclosure.
-For example, if a [=verifiable credential=] contains an attribute for
-expressing a specific height in centimeters, a derived predicate might reference
-the height attribute in the [=verifiable credential=] demonstrating that the
-[=issuer=] attests to a height value meeting the minimum height requirement,
-without actually disclosing the specific height value. For example, the
-[=subject=] is taller than 150 centimeters.
         </dd>
         <dt><dfn class="lint-ignore">digital signature</dfn></dt>
         <dd>
@@ -640,7 +628,7 @@ <h2>Terminology</h2>
 apply their own rules to determine which claims in which [=credentials=]
 are suitable for use by their systems.
         </dd>
-        <dt><dfn class="export" data-lt="vc|vcs">verifiable credential</dfn></dt>
+        <dt><dfn class="export">verifiable credential</dfn></dt>
         <dd>
 A verifiable credential is a tamper-evident credential that has authorship that
 can be cryptographically verified. Verifiable credentials can be used to build
@@ -656,7 +644,7 @@ <h2>Terminology</h2>
 registries, such as ones for UUIDs and public keys, might just act as namespaces
 for identifiers.
         </dd>
-        <dt><dfn class="export" data-lt="vp|vps">verifiable presentation</dfn></dt>
+        <dt><dfn class="export">verifiable presentation</dfn></dt>
         <dd>
 A verifiable presentation is a tamper-evident presentation encoded in such a way
 that authorship of the data can be trusted after a process of cryptographic
@@ -918,10 +906,11 @@ <h3>Presentations</h3>
         </p>
 
         <p>
-A [=verifiable presentation=] is <dfn>created</dfn> by a [=holder=], can express
-data from multiple [=verifiable credentials=], and can contain arbitrary additional
-data encoded as JSON-LD. They are used to present [=claims=] to a [=verifier=].
-It is also possible to present [=verifiable credentials=] directly.
+A [=verifiable presentation=] is <dfn class="lint-ignore">created</dfn> by a
+[=holder=], can express data from multiple [=verifiable credentials=], and can
+contain arbitrary additional data encoded as JSON-LD. They are used to present
+[=claims=] to a [=verifier=]. It is also possible to present [=verifiable
+credentials=] directly.
         </p>
 
         <p>