eyeling 1.28.0 → 1.28.2

package/README.md

@@ -495,19 +495,9 @@ const result = reasonStream(input, { rdfjs: true });
 console.log(result.closureQuads);
 ```
 
-Supported RDF-JS input terms include named nodes, blank nodes, literals, variables, default graph terms, and RDF 1.2 `Quad` terms in subject/object positions. Input objects may combine `quads`/`dataset`/`facts` with `n3`; Eyeling merges the RDF-JS facts with the N3 text before reasoning.
+Supported RDF-JS input terms include named nodes, blank nodes, literals, variables, default graph terms, and default-graph quads. Named-graph input quads are rejected clearly unless handled through N3/TriG compatibility mode.
 
-Named-graph RDF-JS input quads are accepted and represented internally with the same shape as RDF/TriG compatibility mode:
-
-```n3
-:graph log:nameOf {
-  :s :p :o .
-} .
-```
-
-When `rdfjs: true` is used on output, singleton N3 quoted formulas are converted to RDF-JS `Quad` terms where RDF 1.2 can represent them, and `log:nameOf` graph terms are expanded back into named-graph RDF-JS quads.
-
-Use RDF-JS when you want Eyeling to sit inside a JavaScript RDF pipeline. Use raw N3 input when you need N3-only features such as rules represented directly in source text.
+Use RDF-JS when you want Eyeling to sit inside a JavaScript RDF pipeline. Use raw N3 input when you need N3-only features such as quoted formulas or N3 rules represented directly in source text.
 
 ---
 
@@ -592,8 +582,11 @@ See the included examples:
 eyeling -r examples/rdf-messages.n3 examples/input/rdf-messages.trig
 eyeling -r examples/rdf-message-flow.n3 examples/input/rdf-message-flow.trig
 eyeling -r --stream-messages examples/rdf-message-flow.n3 examples/input/rdf-message-flow.trig
+eyeling -r --stream-messages examples/alma-rdf-messages.n3 https://ugent-lib-opendata-prd.s3.ugent.be/alma-rdf/rdf-messages.20260404.nt
 ```
 
+The Alma RDF Message Log example intentionally keeps the message log as a URL, because the source `.nt` file is larger than 9 GB.
+
 ---
 
 ## Built-ins
@@ -1195,7 +1188,7 @@ Default CLI output prints newly derived facts. Use `reasonStream()` with `includ
 
 ### RDF-JS conversion fails
 
-RDF 1.2 singleton quoted formulas are converted to RDF-JS `Quad` terms, but general N3 formulas, lists with open tails, and other N3-only terms still cannot be represented as RDF-JS quads. Use:
+Some N3 terms cannot be represented as ordinary RDF-JS quads. Use:
 
 ```js
 reasonStream(input, { rdfjs: true, skipUnsupportedRdfJs: true });

package/dist/browser/eyeling.browser.js

@@ -4623,10 +4623,13 @@ module.exports = {
 'use strict';
 
 const fs = require('node:fs');
-const os = require('node:os');
 const path = require('node:path');
-const { pathToFileURL, fileURLToPath } = require('node:url');
+const { pathToFileURL, fileURLToPath, URL } = require('node:url');
 const { TextDecoder } = require('node:util');
+const http = require('node:http');
+const https = require('node:https');
+const readline = require('node:readline');
+const zlib = require('node:zlib');
 
 const engine = require('./engine');
 const deref = require('./deref');
@@ -4760,7 +4763,8 @@ function __httpFetchScriptBody({ prefixOnly = false } = {}) {
             if (finished) return;
             chunks.push(chunk);
             bytes += chunk.length;
-            if (bytes >= limit) finish();
+            const text = Buffer.concat(chunks, bytes).toString('utf8');
+            if (bytes >= limit || /^\\s*(?:@version|VERSION)\\s+(["'])(?:1\\.1|1\\.2|1\\.2-basic)-messages\\1\\s*\\.?\\s*(?:#.*)?$/im.test(text)) finish();
           });
           body.on('end', finish);
           body.on('error', (e) => { console.error(e && e.message ? e.message : String(e)); process.exit(5); });
@@ -4789,22 +4793,95 @@ function __readHttpPrefixSync(sourceLabel, byteLimit = 64 * 1024) {
   return r.stdout;
 }
 
-function __downloadHttpSourceToTempFileSync(sourceLabel) {
-  const cp = require('node:child_process');
-  const dir = fs.mkdtempSync(path.join(os.tmpdir(), 'eyeling-rdf-message-log-'));
-  const file = path.join(dir, 'source.txt');
-  const r = cp.spawnSync(process.execPath, ['-e', __httpFetchScriptBody({ prefixOnly: false }), sourceLabel, file], {
-    encoding: 'utf8',
-    maxBuffer: 1024 * 1024,
-    stdio: ['ignore', 'ignore', 'pipe'],
+function __openHttpTextStream(sourceLabel, redirects = 0) {
+  const maxRedirects = 10;
+  return new Promise((resolve, reject) => {
+    if (redirects > maxRedirects) {
+      reject(new Error('Too many redirects'));
+      return;
+    }
+
+    let parsed;
+    try {
+      parsed = new URL(sourceLabel);
+    } catch (e) {
+      reject(e);
+      return;
+    }
+
+    const mod = parsed.protocol === 'https:' ? https : parsed.protocol === 'http:' ? http : null;
+    if (!mod) {
+      reject(new Error(`Unsupported protocol ${parsed.protocol}`));
+      return;
+    }
+
+    const req = mod.request(
+      {
+        protocol: parsed.protocol,
+        hostname: parsed.hostname,
+        port: parsed.port || undefined,
+        path: parsed.pathname + parsed.search,
+        headers: {
+          accept: 'text/n3, text/turtle, application/trig, application/n-triples, application/n-quads, text/plain;q=0.8, */*;q=0.01',
+          'accept-encoding': 'identity',
+          'user-agent': 'eyeling-rdf-message-stream',
+        },
+      },
+      (res) => {
+        const sc = res.statusCode || 0;
+        if (sc >= 300 && sc < 400 && res.headers && res.headers.location) {
+          const next = new URL(res.headers.location, sourceLabel).toString();
+          res.resume();
+          resolve(__openHttpTextStream(next, redirects + 1));
+          return;
+        }
+        if (sc < 200 || sc >= 300) {
+          res.resume();
+          reject(new Error(`HTTP status ${sc}`));
+          return;
+        }
+
+        const enc = String((res.headers && res.headers['content-encoding']) || '').toLowerCase();
+        let body = res;
+        if (enc.includes('gzip')) body = res.pipe(zlib.createGunzip());
+        else if (enc.includes('deflate')) body = res.pipe(zlib.createInflate());
+        else if (enc.includes('br')) body = res.pipe(zlib.createBrotliDecompress());
+        resolve(body);
+      },
+    );
+    req.on('error', reject);
+    req.end();
   });
-  if (r.status !== 0) {
-    try { fs.rmSync(dir, { recursive: true, force: true }); } catch {}
-    throw new Error(`Failed to dereference ${sourceLabel}${r.stderr ? ': ' + String(r.stderr).trim() : ''}`);
-  }
-  return { file, cleanup: () => { try { fs.rmSync(dir, { recursive: true, force: true }); } catch {} } };
 }
 
+async function forEachLineInHttpSource(sourceLabel, onLine) {
+  const body = await __openHttpTextStream(sourceLabel);
+  await new Promise((resolve, reject) => {
+    let settled = false;
+    function done(err) {
+      if (settled) return;
+      settled = true;
+      if (err) reject(err);
+      else resolve();
+    }
+
+    const rl = readline.createInterface({ input: body, crlfDelay: Infinity });
+    rl.on('line', (line) => {
+      try {
+        onLine(line + '\n');
+      } catch (e) {
+        try { rl.close(); } catch {}
+        if (body && typeof body.destroy === 'function') {
+          try { body.destroy(); } catch {}
+        }
+        done(e);
+      }
+    });
+    rl.on('close', () => done());
+    rl.on('error', done);
+    body.on('error', done);
+  });
+}
 
 const RDF_MESSAGE_VERSION_RE = /^\s*(?:@version|VERSION)\s+(["'])(?:1\.1|1\.2|1\.2-basic)-messages\1\s*\.?\s*(?:#.*)?$/im;
 const RDF_MESSAGE_VERSION_LINE_RE = /^\s*(?:@version|VERSION)\s+(["'])(?:1\.1|1\.2|1\.2-basic)-messages\1\s*\.?\s*(?:#.*)?$/i;
@@ -5022,15 +5099,50 @@ function __forEachRdfMessageChunkSync(sourceLabel, onMessage) {
     return;
   }
   if (__isHttpSource(sourceLabel)) {
-    const tmp = __downloadHttpSourceToTempFileSync(sourceLabel);
-    try {
-      forEachRdfMessageChunkInFileSync(tmp.file, onMessage);
-    } finally {
-      tmp.cleanup();
+    throw new Error('internal error: HTTP RDF Message Logs must be streamed asynchronously');
+  }
+  forEachRdfMessageChunkInText(__readInputSourceSync(sourceLabel), onMessage);
+}
+
+
+async function forEachRdfMessageChunkInHttpSource(sourceLabel, onMessage) {
+  const directives = [];
+  const seenDirectives = new Set();
+  let chunk = '';
+  let messageIndex = 1;
+  let sawVersion = false;
+  let sawDelimiter = false;
+
+  function emit() {
+    onMessage({ messageIndex, chunk, directives: directives.slice() });
+    messageIndex += 1;
+    chunk = '';
+  }
+
+  await forEachLineInHttpSource(sourceLabel, (line) => {
+    if (RDF_MESSAGE_VERSION_LINE_RE.test(line)) {
+      sawVersion = true;
+      return;
+    }
+    if (RDF_MESSAGE_DELIMITER_LINE_RE.test(line)) {
+      emit();
+      sawDelimiter = true;
+      return;
     }
+    addRdfDirective(directives, seenDirectives, line);
+    chunk += line;
+  });
+
+  if (!sawVersion) throw new Error('not an RDF Message Log: missing VERSION "*-messages" directive');
+  if (sawDelimiter || hasRdfPayload(chunk)) emit();
+}
+
+async function __forEachRdfMessageChunk(sourceLabel, onMessage) {
+  if (__isHttpSource(sourceLabel)) {
+    await forEachRdfMessageChunkInHttpSource(sourceLabel, onMessage);
     return;
   }
-  forEachRdfMessageChunkInText(__readInputSourceSync(sourceLabel), onMessage);
+  __forEachRdfMessageChunkSync(sourceLabel, onMessage);
 }
 
 function factsContainOutputStrings(triplesForOutput) {
@@ -5096,7 +5208,7 @@ function runParsedDocumentOnce(mergedDocument, { rdfMode = false, outputPrefixes
   }
 }
 
-function runStreamMessagesMode(sourceLabels, { rdfMode }) {
+async function runStreamMessagesMode(sourceLabels, { rdfMode }) {
   const ordinarySourceLabels = [];
   const messageSourceLabels = [];
 
@@ -5148,7 +5260,7 @@ function runStreamMessagesMode(sourceLabels, { rdfMode }) {
   const fullIriPrefixes = new PrefixEnv({});
   for (const messageSourceLabel of messageSourceLabels) {
     try {
-      __forEachRdfMessageChunkSync(messageSourceLabel, ({ messageIndex, chunk, directives }) => {
+      await __forEachRdfMessageChunk(messageSourceLabel, ({ messageIndex, chunk, directives }) => {
         const messageText = buildSingleMessageReplayDocument({
           sourceLabel: messageSourceLabel,
           messageIndex,
@@ -5182,7 +5294,7 @@ function runStreamMessagesMode(sourceLabels, { rdfMode }) {
   }
 }
 
-function main() {
+async function main() {
   // Drop "node" and script name; keep only user-provided args
   // Expand combined short options: -pt == -p -t
   const argvRaw = process.argv.slice(2);
@@ -5321,7 +5433,7 @@ function main() {
   }
 
   if (streamMessagesMode) {
-    runStreamMessagesMode(sourceLabels, { rdfMode });
+    await runStreamMessagesMode(sourceLabels, { rdfMode });
     return;
   }
 
@@ -5405,7 +5517,8 @@ function main() {
     return false;
   }
 
-  function factsContainOutputStrings(triplesForOutput) {
+  
+function factsContainOutputStrings(triplesForOutput) {
     return (
       Array.isArray(triplesForOutput) &&
       triplesForOutput.some(
@@ -9843,7 +9956,15 @@ function reasonRdfJs(input, opts = {}) {
 // Minimal export surface for Node + browser/worker
 function main() {
   // Lazily require to avoid hard cycles in the module graph.
-  return require('./cli').main();
+  const result = require('./cli').main();
+  if (result && typeof result.then === 'function') {
+    result.catch((e) => {
+      const msg = e && e.stack ? e.stack : e && e.message ? e.message : String(e);
+      console.error(msg);
+      process.exit(1);
+    });
+  }
+  return result;
 }
 
 // ---------------------------------------------------------------------------
@@ -11019,11 +11140,114 @@ function normalizeRdfCompatibility(inputText) {
       return text.slice(at, j);
     }
 
+    function readBalancedTermAt(text, at) {
+      const open = text[at];
+      const matching = { '{': '}', '[': ']', '(': ')' };
+      if (!matching[open]) return null;
+
+      const stack = [matching[open]];
+      let j = at + 1;
+      while (j < text.length) {
+        const ch = text[j];
+        if (ch === '"' || ch === "'") {
+          const str = readStringAt(text, j);
+          j = str.end;
+          continue;
+        }
+        if (ch === '<' && !text.startsWith('<<', j)) {
+          const iri = readIriAt(text, j);
+          j = iri.end;
+          continue;
+        }
+        if (ch === '#') {
+          while (j < text.length && text[j] !== '\n' && text[j] !== '\r') j += 1;
+          continue;
+        }
+        if (matching[ch]) {
+          stack.push(matching[ch]);
+          j += 1;
+          continue;
+        }
+        if (ch === stack[stack.length - 1]) {
+          stack.pop();
+          j += 1;
+          if (stack.length === 0) return { text: text.slice(at, j), end: j };
+          continue;
+        }
+        j += 1;
+      }
+
+      throw new N3SyntaxError(`Unterminated term inside RDF 1.2 triple term, expected ${stack[stack.length - 1]}`);
+    }
+
+    function readRdfTripleTermComponent(text, at) {
+      const j = skipWsAndComments(text, at);
+      if (j >= text.length) return null;
+      const ch = text[j];
+
+      if (ch === '<') return readIriAt(text, j);
+
+      if (ch === '"' || ch === "'") {
+        const str = readStringAt(text, j);
+        let end = str.end;
+        let termText = str.text;
+        if (text.startsWith('^^', end)) {
+          const datatype = readRdfTripleTermComponent(text, end + 2);
+          if (datatype) {
+            termText += '^^' + datatype.text;
+            end = datatype.end;
+          }
+        } else if (text[end] === '@') {
+          let k = end + 1;
+          if (/[A-Za-z]/.test(text[k] || '')) {
+            while (k < text.length && /[A-Za-z0-9-]/.test(text[k])) k += 1;
+            termText += text.slice(end, k);
+            end = k;
+          }
+        }
+        return { text: termText, end };
+      }
+
+      if (ch === '{' || ch === '[' || ch === '(') return readBalancedTermAt(text, j);
+
+      let k = j;
+      while (k < text.length && !/\s/.test(text[k]) && !'{}[](),;'.includes(text[k])) k += 1;
+      if (k === j) return null;
+      const value = text.slice(j, k);
+      if (!value || value.startsWith('@')) return null;
+      return { text: value, end: k };
+    }
+
+    function validateSingleRdfTripleTerm(rawTriple) {
+      const triple = rawTriple.trim();
+      if (!triple) throw new N3SyntaxError('RDF 1.2 triple term must contain exactly one subject, predicate, and object');
+
+      let pos = 0;
+      for (const label of ['subject', 'predicate', 'object']) {
+        const term = readRdfTripleTermComponent(triple, pos);
+        if (!term) throw new N3SyntaxError(`RDF 1.2 triple term is missing a ${label}`);
+        pos = term.end;
+      }
+
+      const rest = skipWsAndComments(triple, pos);
+      if (rest >= triple.length) return;
+
+      const found = triple[rest];
+      if (found === ',') {
+        throw new N3SyntaxError("RDF 1.2 triple terms must contain exactly one object; object lists using ',' are not valid inside <<( ... )>>");
+      }
+      if (found === ';') {
+        throw new N3SyntaxError("RDF 1.2 triple terms must contain exactly one predicate-object pair; ';' is not valid inside <<( ... )>>");
+      }
+      throw new N3SyntaxError(`RDF 1.2 triple term must contain exactly one subject, predicate, and object; unexpected ${JSON.stringify(triple.slice(rest, rest + 20))}`);
+    }
+
     function graphTermFromTripleBody(rawBody, parenthesized) {
       let body = rawBody.trim();
       if (parenthesized && body.startsWith('(') && body.endsWith(')')) body = body.slice(1, -1).trim();
       const split = splitTopLevelReifier(body);
       const triple = split.triple;
+      validateSingleRdfTripleTerm(triple);
       const graph = '{ ' + triple + ' }';
       if (split.reifier) {
         const reifier = firstTerm(split.reifier);

package/examples/alma-rdf-messages.n3

@@ -0,0 +1,202 @@
+# Alma MARC extraction over a remote RDF Message Log.
+#
+# This example is intended to be run with the UGent Alma RDF Message Log URL.
+# The log is larger than 9 GB, so it deliberately remains remote and is not
+# checked into examples/input/.
+#
+# CLI:
+#   eyeling -r --stream-messages examples/alma-rdf-messages.n3 https://ugent-lib-opendata-prd.s3.ugent.be/alma-rdf/rdf-messages.20260404.nt
+#
+# Playground:
+#   https://eyereasoner.github.io/eyeling/playground?state=g.H4sIAAAAAAAC_02N3QqDMAxG36XXtpEpu_BtUhur0EZJWrYx9u7Tjf1chBz44Jy7ITMY05i0v7mUTQeAGomLTYu360YcsKDdJDjt3GtxngBTRithgv1sJlWMpO7Uns5t3_aOy66sf0rBi4tLmauvSjKuXA7RuGagGwmhrkxycFo4gtCkMBMGhYwLA10xb4n0m_0ludtL3gxFKjVGPpDf8HgCVZUvyeAAAAA
+#
+# Each message is one bibliographic record shaped as a nested list of MARC
+# fields: <record> :record (("245" "1" "0" "a" "Title…") ("650" …) …), where an
+# inner list is (tag ind1 ind2 code value code value …). These backward helper
+# rules (marc:field / marc:subf / marc:map / marc:join / marc:id) walk that
+# structure to pull a subfield's value by (tag, subfield-code); the forward
+# rules at the bottom emit :title / :subject / :type per record.
+#
+
+@prefix : <http://example.org/ns#> .
+@prefix list: <http://www.w3.org/2000/10/swap/list#> .
+@prefix log: <http://www.w3.org/2000/10/swap/log#> .
+@prefix eymsg: <https://eyereasoner.github.io/eyeling/vocab/message#> .
+@prefix string: <http://www.w3.org/2000/10/swap/string#> .
+@prefix math: <http://www.w3.org/2000/10/swap/math#> .
+@prefix marc: <https://codeberg.org/phochste/marcattacks#> .
+
+## ---- Helper functions (backward rules) ----
+
+# marc:splice - drop the first ?Idx members of a list (here: the tag + indicators)
+{ (?List ?Idx) marc:splice ?Result }
+<=
+{
+  ( ?X {
+      ?List list:iterate (?Num ?X).
+      ?Num math:notLessThan ?Idx.
+      } ?Result ) log:collectAllIn _:x.
+}.
+
+# marc:join - join a list with a separator
+{ (?List ?Sep) marc:join ?Result }
+<=
+{
+  (?List ?Sep "") marc:join ?Result.
+}.
+
+{ ( () ?Sep ?Acc ) marc:join ?Acc }
+<= true.
+
+{ ( ?List ?Sep ?Acc ) marc:join ?Result }
+<=
+{
+  ?List list:firstRest (?H ?T).
+  ?Acc log:equalTo "".
+  ( ?T ?Sep ?H ) marc:join ?Result .
+}.
+
+{ ( ?List ?Sep ?Acc ) marc:join ?Result }
+<=
+{
+  ?List list:firstRest (?H ?T).
+  ?Acc log:notEqualTo "".
+  ( ?Acc ?Sep ?H) string:concatenation ?AccNew.
+  ( ?T ?Sep ?AccNew ) marc:join ?Result .
+}.
+
+# marc:id - return the record id as an IRI (from the 001 control field)
+{ ?Record marc:id ?Result }
+<=
+{
+  (?Record "001") marc:field0 ?F001.
+  ?F001 marc:ctrl ?ID.
+  ( "http://lib.ugent.be/record/" ?ID ) string:concatenation ?IRI_ID.
+  ?Result log:uri ?IRI_ID.
+}.
+
+# marc:ctrl - return the control value of a field
+{ ?Field marc:ctrl ?Result }
+<=
+{
+  (?Field 3) list:memberAt "_" .
+  (?Field 4) list:memberAt ?Result.
+}.
+
+# marc:subf - return all values matching a subfield regex
+{ ( ?Field ?Regex) marc:subf ?Result }
+<=
+{
+  ( ?Field 3) marc:splice ?FieldData.
+  ( ?FieldData ?Regex ()) marc:subf ?Result.
+} .
+
+{ ( () ?Regex ?Acc ) marc:subf ?Acc }
+<= true.
+
+{ ( ?FieldData ?Regex ?Acc ) marc:subf ?Result }
+<=
+{
+    ?FieldData list:firstRest (?Subf ?Rest).
+    ?Rest list:firstRest (?Value ?Tail).
+    ?Subf string:matches ?Regex.
+    ( ?Acc (?Value)) list:append ?Acc2.
+    ( ?Tail ?Regex ?Acc2 ) marc:subf ?Result.
+}.
+
+{ ( ?FieldData ?Regex ?Acc ) marc:subf ?Result }
+<=
+{
+    ?FieldData list:firstRest (?Subf ?Rest).
+    ?Rest list:firstRest (?Value ?Tail).
+    ?Subf string:notMatches ?Regex.
+    ( ?Tail ?Regex ?Acc ) marc:subf ?Result.
+}.
+
+# marc:field0 - collect the first row of a marc field
+{ ( ?Record ?Field) marc:field0 ?Result }
+<=
+{
+  ( ?Record ?Field) marc:field ?F.
+  ?F list:first ?Result.
+}.
+
+# marc:field - collect all data for a marc field
+{ ( ?Record ?Field) marc:field ?Result}
+<=
+{
+  ( ?Record ?Field ()) marc:field ?Result.
+}.
+
+{ ( () ?Field ?Acc ) marc:field ?Acc}
+<= true.
+
+{ ( ?L ?Field ?Acc ) marc:field ?Result }
+<=
+{
+  ?L list:firstRest (?H ?T).
+  ( ?H 0 ) list:memberAt ?Field.
+  ( ?Acc (?H) ) list:append ?AccNew.
+  (?T ?Field ?AccNew) marc:field ?Result.
+}.
+
+{ (?L ?Field ?Acc) marc:field ?Result }
+<=
+{
+  ?L list:firstRest (?H ?T).
+  ( ?H 0 ) list:memberAt ?X.
+  ?Field log:notEqualTo ?X.
+  (?T ?Field ?Acc) marc:field ?Result.
+}.
+
+# marc:map - join all values of (tag, subfield) into one string
+{ ( ?Record ?Tag ?Subfield ) marc:map ?Result }
+<=
+{
+  (?Record ?Tag) marc:field ?FL.
+  ?FL list:member ?F.
+  (?F ?Subfield) marc:subf ?T .
+  (?T " ") marc:join ?Result.
+}.
+
+## ---- Extraction rules (forward) ----
+
+# In --stream-messages mode the current RDF Message payload is exposed as a
+# quoted graph via eymsg:payloadGraph/log:nameOf. Match :record inside that
+# payload graph, then reuse the ordinary MARC helper rules on the bound list.
+
+{
+  ?Envelope eymsg:payloadGraph ?Payload.
+  ?Payload log:nameOf ?PayloadContext.
+  ?PayloadContext log:includes { ?X :record ?Record. }.
+  ?Record marc:id ?ID.
+  (?Record "245" "a") marc:map ?Val.
+}
+=>
+{
+  ?ID :title ?Val.
+}.
+
+{
+  ?Envelope eymsg:payloadGraph ?Payload.
+  ?Payload log:nameOf ?PayloadContext.
+  ?PayloadContext log:includes { ?X :record ?Record. }.
+  ?Record marc:id ?ID.
+  (?Record "650" "a") marc:map ?Val.
+}
+=>
+{
+  ?ID :subject ?Val.
+}.
+
+{
+  ?Envelope eymsg:payloadGraph ?Payload.
+  ?Payload log:nameOf ?PayloadContext.
+  ?PayloadContext log:includes { ?X :record ?Record. }.
+  ?Record marc:id ?ID.
+  (?Record "920" "a") marc:map ?Val.
+}
+=>
+{
+  ?ID :type ?Val.
+}.