eyeling 1.10.21 → 1.11.0

package/tools/n3gen.js

@@ -2,21 +2,17 @@
 'use strict';
 
 /*
- * n3gen.js — Convert Turtle (.ttl), TriG (.trig) or SRL (.srl) to N3.
+ * n3gen.js — Convert Turtle (.ttl) or TriG (.trig) to N3.
  *
  * This tool always emits N3 to stdout. The input syntax is selected by the file
  * extension:
  *   - .ttl  (RDF 1.2 Turtle)
  *   - .trig (RDF 1.2 TriG)
- *   - .srl  (SRL rules)
- *
+ * *
  * TriG → N3 mapping (named graphs)
  *   TriG: <graphName> { ...triples... }
  *   N3:   <graphName> rdfg:isGraph { ...triples... } .
  *
- * SRL → N3 mapping (rules)
- *   SRL: RULE { Head } WHERE { Body }
- *   N3:  { Body } => { Head } .
  *
  * RDF 1.2 Turtle-star / TriG-star
  *   - triple terms:    rdf:reifies <<( s p o )>>
@@ -28,7 +24,6 @@
  * Usage
  *   n3gen file.ttl  > file.n3
  *   n3gen file.trig > file.n3
- *   n3gen file.srl  > file.n3
  */
 
 const fs = require('node:fs/promises');
@@ -110,20 +105,6 @@ const rdfg = {
 const RDF_NS = 'http://www.w3.org/1999/02/22-rdf-syntax-ns#';
 const XSD_NS = 'http://www.w3.org/2001/XMLSchema#';
 const OWL_NS = 'http://www.w3.org/2002/07/owl#';
-const LOG_NS = 'http://www.w3.org/2000/10/swap/log#';
-const MATH_NS = 'http://www.w3.org/2000/10/swap/math#';
-const STRING_NS = 'http://www.w3.org/2000/10/swap/string#';
-const LIST_NS = 'http://www.w3.org/2000/10/swap/list#';
-const CRYPTO_NS = 'http://www.w3.org/2000/10/swap/crypto#';
-const TIME_NS = 'http://www.w3.org/2000/10/swap/time#';
-const TIMEFN_NS = 'https://w3id.org/time-fn#';
-const TIMEFN_BUILTIN_NAMES = new Set([
-  'periodMinInclusive',
-  'periodMaxInclusive',
-  'periodMinExclusive',
-  'periodMaxExclusive',
-  'bindDefaultTimezone',
-]);
 
 // Avoid literal triple-quote sequences in this source (helps embedding in tools).
 const DQ3 = '"'.repeat(3);
@@ -2059,1869 +2040,15 @@ function trigToN3(trigText) {
   return writeN3RdfgIsGraph({ datasetQuads: quads, prefixes });
 }
 
-function prefixEnvFromSrlPrefixes(prefixLines) {
-  const env = PrefixEnv.newDefault();
-  if (Array.isArray(prefixLines)) {
-    for (const { label, iri } of prefixLines) {
-      const lab = (label || '').trim();
-      const base = (iri || '').trim();
-      if (!lab || !base) continue;
-      // SRL uses "PREFIX :" for default prefix; store it as "" in PrefixEnv.
-      let pfx = lab.replace(/:$/, '');
-      if (pfx === ':') pfx = '';
-      env.setPrefix(pfx, base);
-    }
-  }
-  return env;
-}
-
-function parseTriplesBlockAllowImplicitDots(bodyText, env) {
-  const p = new TurtleParser(lex(bodyText));
-  if (env) p.prefixes = env;
-  const triples = [];
-
-  function canStartSubject(tok) {
-    if (!tok) return false;
-    return (
-      tok.typ === 'IriRef' ||
-      tok.typ === 'Ident' ||
-      tok.typ === 'Var' ||
-      tok.typ === 'LBracket' ||
-      tok.typ === 'LParen' ||
-      tok.typ === 'LBrace'
-    );
-  }
-
-  while (p.peek().typ !== 'EOF') {
-    // Skip stray dots (permissive)
-    if (p.peek().typ === 'Dot') {
-      p.next();
-      continue;
-    }
-
-    const subj = p.parseTerm();
-
-    let more;
-    if (p.peek().typ === 'Dot') {
-      more = [];
-      if (p.pendingTriples.length > 0) {
-        more = p.pendingTriples;
-        p.pendingTriples = [];
-      }
-      p.next(); // consume dot
-    } else {
-      more = p.parsePredicateObjectList(subj);
-      // In SPARQL graph patterns, the '.' between triple blocks is optional.
-      if (p.peek().typ === 'Dot') p.next();
-      else if (p.peek().typ === 'EOF') {
-        /* ok */
-      } else if (canStartSubject(p.peek())) {
-        /* implicit separator */
-      } else throw new Error(`Expected '.' or start of next triple, got ${p.peek().toString()}`);
-    }
-
-    triples.push(...more);
-  }
-
-  return triples;
-}
-
-function triplesToN3Body(triples, env) {
-  // Render as explicit triple statements (with dots)
-  return normalizeInsideBracesKeepStyle(
-    triples.map((tr) => `${termToText(tr.s, env)} ${termToText(tr.p, env)} ${termToText(tr.o, env)} .`).join(' '),
-  );
-}
-
-function readBalancedParens(s, i) {
-  if (s[i] !== '(') throw new Error("Unclosed '(...)'");
-  let depth = 0;
-  let j = i;
-  let inString = false;
-  let quote = null;
-  let escaped = false;
-
-  for (; j < s.length; j++) {
-    const ch = s[j];
-
-    if (inString) {
-      if (escaped) {
-        escaped = false;
-        continue;
-      }
-      if (ch === '\\') {
-        escaped = true;
-        continue;
-      }
-      if (ch === quote) {
-        inString = false;
-        quote = null;
-      }
-      continue;
-    }
-
-    if (ch === '"' || ch === "'") {
-      inString = true;
-      quote = ch;
-      continue;
-    }
-
-    if (ch === '(') depth++;
-    else if (ch === ')') {
-      depth--;
-      if (depth === 0) {
-        return { content: s.slice(i + 1, j), endIdx: j + 1 };
-      }
-    }
-  }
-
-  throw new Error("Unclosed '(...)'");
-}
-
-function extractSrlDataBlocks(text) {
-  const blocks = [];
-  let i = 0;
-  let out = '';
-  const s = text || '';
-
-  while (i < s.length) {
-    const idx = s.indexOf('DATA', i);
-    if (idx < 0) {
-      out += s.slice(i);
-      break;
-    }
-
-    const before = idx === 0 ? ' ' : s[idx - 1];
-    const after = idx + 4 < s.length ? s[idx + 4] : ' ';
-    if (/[A-Za-z0-9_]/.test(before) || /[A-Za-z0-9_]/.test(after)) {
-      i = idx + 4;
-      continue;
-    }
-
-    out += s.slice(i, idx);
-    let j = idx + 4;
-    while (j < s.length && /\s/.test(s[j])) j++;
-    if (s[j] !== '{') {
-      // Not a DATA block, keep literal "DATA"
-      out += 'DATA';
-      i = idx + 4;
-      continue;
-    }
-
-    const blk = readBalancedBraces(s, j);
-    blocks.push((blk.content || '').trim());
-    i = blk.endIdx;
-  }
-
-  return { dataText: out.trim(), dataBlocks: blocks };
-}
-
-// Extract SRL FILTER(...) clauses from a WHERE body and return them as raw expressions.
-function extractSrlFilters(bodyRaw) {
-  const s = bodyRaw || '';
-  let i = 0;
-  let out = '';
-  const filters = [];
-
-  while (i < s.length) {
-    const idx = s.indexOf('FILTER', i);
-    if (idx < 0) {
-      out += s.slice(i);
-      break;
-    }
-
-    const before = idx === 0 ? ' ' : s[idx - 1];
-    const after = idx + 6 < s.length ? s[idx + 6] : ' ';
-    if (/[A-Za-z0-9_]/.test(before) || /[A-Za-z0-9_]/.test(after)) {
-      i = idx + 6;
-      continue;
-    }
-
-    out += s.slice(i, idx);
-
-    let j = idx + 6;
-    while (j < s.length && /\s/.test(s[j])) j++;
-    if (s[j] !== '(') {
-      // Not a FILTER(...), keep it
-      out += 'FILTER';
-      i = idx + 6;
-      continue;
-    }
-
-    const par = readBalancedParens(s, j);
-    filters.push((par.content || '').trim());
-    i = par.endIdx;
-  }
-
-  return { body: normalizeInsideBracesKeepStyle(out), filters };
-}
-
-function stripOuterParensOnce(expr) {
-  const t = (expr || '').trim();
-  if (!t.startsWith('(') || !t.endsWith(')')) return t;
-  try {
-    const par = readBalancedParens(t, 0);
-    // Only strip if it consumes the whole string
-    if (par.endIdx === t.length) return (par.content || '').trim();
-  } catch {}
-  return t;
-}
-
-function splitTopLevelOr(expr) {
-  // Split on '||' that occurs at paren depth 0 (ignoring strings).
-  const s = expr || '';
-  const parts = [];
-  let buf = '';
-  let depth = 0;
-  let inString = false;
-  let quote = null;
-  let escaped = false;
-
-  for (let i = 0; i < s.length; i++) {
-    const ch = s[i];
-
-    if (inString) {
-      buf += ch;
-      if (escaped) {
-        escaped = false;
-        continue;
-      }
-      if (ch === '\\') {
-        escaped = true;
-        continue;
-      }
-      if (ch === quote) {
-        inString = false;
-        quote = null;
-      }
-      continue;
-    }
-
-    if (ch === '"' || ch === "'") {
-      inString = true;
-      quote = ch;
-      buf += ch;
-      continue;
-    }
-
-    if (ch === '(') {
-      depth++;
-      buf += ch;
-      continue;
-    }
-    if (ch === ')') {
-      depth = Math.max(0, depth - 1);
-      buf += ch;
-      continue;
-    }
-
-    if (depth === 0 && ch === '|' && s[i + 1] === '|') {
-      parts.push(buf.trim());
-      buf = '';
-      i++;
-      continue;
-    }
-
-    buf += ch;
-  }
-
-  if (buf.trim()) parts.push(buf.trim());
-  return parts.length > 1 ? parts : null;
-}
-
-function splitTopLevelAnd(expr) {
-  // Split on '&&' that occurs at paren depth 0 (ignoring strings).
-  const s = expr || '';
-  const parts = [];
-  let buf = '';
-  let depth = 0;
-  let inString = false;
-  let quote = null;
-  let escaped = false;
-
-  for (let i = 0; i < s.length; i++) {
-    const ch = s[i];
-
-    if (inString) {
-      buf += ch;
-      if (escaped) {
-        escaped = false;
-        continue;
-      }
-      if (ch === '\\') {
-        escaped = true;
-        continue;
-      }
-      if (ch === quote) {
-        inString = false;
-        quote = null;
-      }
-      continue;
-    }
-
-    if (ch === '"' || ch === "'") {
-      inString = true;
-      quote = ch;
-      buf += ch;
-      continue;
-    }
-
-    if (ch === '(') {
-      depth++;
-      buf += ch;
-      continue;
-    }
-    if (ch === ')') {
-      depth = Math.max(0, depth - 1);
-      buf += ch;
-      continue;
-    }
-
-    if (depth === 0 && ch === '&' && s[i + 1] === '&') {
-      parts.push(buf.trim());
-      buf = '';
-      i++;
-      continue;
-    }
-
-    buf += ch;
-  }
-
-  if (buf.trim()) parts.push(buf.trim());
-  return parts.length > 1 ? parts : null;
-}
-
-function splitTopLevelCommaArgs(s) {
-  const parts = [];
-  let buf = '';
-  let depthPar = 0;
-  let depthBr = 0;
-  let depthSq = 0;
-  let inString = false;
-  let quote = null;
-  let escaped = false;
-
-  for (let i = 0; i < (s || '').length; i++) {
-    const ch = s[i];
-
-    if (inString) {
-      buf += ch;
-      if (escaped) {
-        escaped = false;
-        continue;
-      }
-      if (ch === '\\') {
-        escaped = true;
-        continue;
-      }
-      if (ch === quote) {
-        inString = false;
-        quote = null;
-      }
-      continue;
-    }
-
-    if (ch === '"' || ch === "'") {
-      inString = true;
-      quote = ch;
-      buf += ch;
-      continue;
-    }
-
-    if (ch === '(') {
-      depthPar++;
-      buf += ch;
-      continue;
-    }
-    if (ch === ')') {
-      depthPar--;
-      buf += ch;
-      continue;
-    }
-    if (ch === '{') {
-      depthBr++;
-      buf += ch;
-      continue;
-    }
-    if (ch === '}') {
-      depthBr--;
-      buf += ch;
-      continue;
-    }
-    if (ch === '[') {
-      depthSq++;
-      buf += ch;
-      continue;
-    }
-    if (ch === ']') {
-      depthSq--;
-      buf += ch;
-      continue;
-    }
-
-    if (depthPar === 0 && depthBr === 0 && depthSq === 0 && ch === ',') {
-      if (buf.trim()) parts.push(buf.trim());
-      buf = '';
-      continue;
-    }
-
-    buf += ch;
-  }
-
-  if (buf.trim()) parts.push(buf.trim());
-  return parts;
-}
-
-
-function makeTempVarGenerator(prefix = '__e') {
-  let n = 0;
-  return () => `?${prefix}${++n}`;
-}
-
-function stripOuterParensAll(expr) {
-  let t = (expr || '').trim();
-  while (t.startsWith('(')) {
-    try {
-      const par = readBalancedParens(t, 0);
-      if (par.endIdx === t.length) {
-        t = (par.content || '').trim();
-        continue;
-      }
-    } catch {}
-    break;
-  }
-  return t;
-}
-
-function mergeUsed(a, b) {
-  const out = { ...a };
-  for (const k of Object.keys(b || {})) out[k] = out[k] || b[k];
-  return out;
-}
-
-function isStringLiteral(s) {
-  const t = (s || '').trim();
-  return t.startsWith('"') || t.startsWith("'");
-}
-
-function isNumericLike(s) {
-  const t = (s || '').trim();
-  // Plain numbers (with optional sign/decimal/exponent)
-  if (/^[+-]?(?:\d+(?:\.\d*)?|\.\d+)(?:[eE][+-]?\d+)?$/.test(t)) return true;
-  // Typed numeric literals like "1"^^xsd:integer or "1"^^<...#integer>
-  if (/^".*"\s*\^\^\s*(xsd:(?:integer|decimal|double|float)|<[^>]+#(?:integer|decimal|double|float)>)\s*$/i.test(t))
-    return true;
-  return false;
-}
-
-function prevNonWsChar(s, i) {
-  for (let j = i; j >= 0; j--) {
-    const ch = s[j];
-    if (!/\s/.test(ch)) return ch;
-  }
-  return null;
-}
-
-function findTopLevelBinaryOp(expr, ops, fromRight = true) {
-  // Scan left-to-right and then choose either the first or last match.
-  // This avoids incorrect parenthesis-depth tracking when scanning right-to-left.
-  const t = expr || '';
-  let depth = 0;
-  let inString = false;
-  let quote = null;
-  let escaped = false;
-
-  const candidates = [];
-  // Prefer longer operators first (e.g., "NOT IN" before "IN", ">=" before ">").
-  const opsSorted = [...(ops || [])].sort((a, b) => b.length - a.length);
-
-  for (let i = 0; i < t.length; i++) {
-    const ch = t[i];
-
-    if (inString) {
-      if (escaped) {
-        escaped = false;
-        continue;
-      }
-      if (ch === '\\') {
-        escaped = true;
-        continue;
-      }
-      if (ch === quote) {
-        inString = false;
-        quote = null;
-      }
-      continue;
-    }
-
-    if (ch === '"' || ch === "'") {
-      inString = true;
-      quote = ch;
-      continue;
-    }
-
-    if (ch === '(') {
-      depth++;
-      continue;
-    }
-    if (ch === ')') {
-      depth = Math.max(0, depth - 1);
-      continue;
-    }
-    if (depth !== 0) continue;
-
-    let matchedHere = false;
-
-    for (const op of opsSorted) {
-      if (/^[A-Za-z]/.test(op)) {
-        // Word operator, case-insensitive, with simple boundary checks.
-        const slice = t.slice(i, i + op.length);
-        if (slice.length !== op.length) continue;
-        if (slice.toUpperCase() !== op.toUpperCase()) continue;
-        const beforeAdj = i > 0 ? t[i - 1] : ' ';
-        const afterAdj = t[i + op.length] || ' ';
-        if (/[A-Za-z0-9_]/.test(beforeAdj)) continue;
-        if (/[A-Za-z0-9_]/.test(afterAdj)) continue;
-        candidates.push({ idx: i, op, len: op.length });
-        i += op.length - 1;
-        matchedHere = true;
-        break;
-      } else {
-        const slice = t.slice(i, i + op.length);
-        if (slice !== op) continue;
-
-        // For + and -, ensure it's binary (not unary)
-        if (op === '+' || op === '-') {
-          const before = prevNonWsChar(t, i - 1);
-          if (!before || /[\(\,\=\+\-\*\/\^\&\|\!\<\>]/.test(before)) continue;
-        }
-
-        candidates.push({ idx: i, op, len: op.length });
-        i += op.length - 1;
-        matchedHere = true;
-        break;
-      }
-    }
-
-    if (matchedHere) continue;
-  }
-
-  if (!candidates.length) return null;
-  return fromRight ? candidates[candidates.length - 1] : candidates[0];
-}
-
-function tryParseFunctionCall(expr) {
-  const t = stripOuterParensAll(expr);
-  // Look for the first '(' at top-level
-  let depth = 0;
-  let inString = false;
-  let quote = null;
-  let escaped = false;
-  let openIdx = -1;
-
-  for (let i = 0; i < t.length; i++) {
-    const ch = t[i];
-
-    if (inString) {
-      if (escaped) {
-        escaped = false;
-        continue;
-      }
-      if (ch === '\\') {
-        escaped = true;
-        continue;
-      }
-      if (ch === quote) {
-        inString = false;
-        quote = null;
-      }
-      continue;
-    }
-    if (ch === '"' || ch === "'") {
-      inString = true;
-      quote = ch;
-      continue;
-    }
-
-    if (ch === '(') {
-      if (depth === 0) {
-        openIdx = i;
-        break;
-      }
-      depth++;
-      continue;
-    }
-  }
-
-  if (openIdx < 0) return null;
-  const name = t.slice(0, openIdx).trim();
-  if (!name) return null;
-
-  try {
-    const par = readBalancedParens(t, openIdx);
-    if (par.endIdx !== t.length) return null;
-    return { name, argsRaw: par.content || '' };
-  } catch {
-    return null;
-  }
-}
-
-function normalizeFnName(name) {
-  const n = (name || '').trim();
-  // Strip surrounding <>
-  if (n.startsWith('<') && n.endsWith('>')) return n.slice(1, -1);
-  return n;
-}
-
-function fnLocalName(name) {
-  const n = normalizeFnName(name);
-  const idx = n.lastIndexOf('#');
-  if (idx >= 0) return n.slice(idx + 1);
-  const c = n.indexOf(':');
-  if (c >= 0) return n.slice(c + 1);
-  return n;
-}
-
-function compileValueExpr(expr, ctx, targetVar = null) {
-  const used0 = {
-    usedMath: false,
-    usedString: false,
-    usedTime: false,
-    usedLog: false,
-    usedList: false,
-    usedCrypto: false,
-  };
-
-  let t = stripOuterParensAll(expr);
-
-  // Atomic?
-  if (
-    /^\s*[$?][A-Za-z_][A-Za-z0-9_-]*\s*$/.test(t) ||
-    isNumericLike(t) ||
-    isStringLiteral(t) ||
-    /^\s*<[^>]*>\s*$/.test(t) ||
-    /^\s*[_:][A-Za-z0-9_][A-Za-z0-9_-]*\s*$/.test(t) ||
-    /^\s*[A-Za-z][A-Za-z0-9_-]*:[A-Za-z_][A-Za-z0-9._-]*\s*$/.test(t) ||
-    /^\s*(true|false)\s*$/i.test(t)
-  ) {
-    if (!targetVar) return { term: t.trim(), stmts: [], used: used0 };
-    return {
-      term: targetVar,
-      stmts: [`${targetVar} log:equalTo ${t.trim()} .`],
-      used: { ...used0, usedLog: true },
-    };
-  }
-
-  // Unary '!' is value-error in SPARQL; keep as TODO.
-  // Unary minus (negation)
-  if (t.startsWith('-')) {
-    const rest = t.slice(1).trim();
-    // If "-<num>" then atomic already handled above; so here it's expression negation.
-    const out = targetVar || ctx.newVar();
-    const inner = compileValueExpr(rest, ctx, null);
-    const stmts = [...inner.stmts, `${inner.term} math:negation ${out} .`];
-    const used = mergeUsed(inner.used, { ...used0, usedMath: true });
-    return { term: out, stmts, used };
-  }
-
-  // Function call?
-  const call = tryParseFunctionCall(t);
-  if (call) {
-    const local0 = fnLocalName(call.name);
-    const local = local0.toLowerCase();
-    const localKey = local.replace(/_/g, '');
-    const args = splitTopLevelCommaArgs(call.argsRaw).map((x) => x.trim()).filter(Boolean);
-
-    // time-fn:* (keep existing mapping)
-    {
-      let timeFnLocal = null;
-      const norm = normalizeFnName(call.name);
-      if (norm.startsWith(TIMEFN_NS)) timeFnLocal = norm.slice(TIMEFN_NS.length);
-      if (!timeFnLocal && call.name.includes(':')) timeFnLocal = call.name.split(':').slice(-1)[0];
-      if (timeFnLocal && TIMEFN_BUILTIN_NAMES.has(timeFnLocal)) {
-        const out = targetVar || ctx.newVar();
-        if (timeFnLocal === 'bindDefaultTimezone') {
-          if (args.length !== 2) return { term: out, stmts: [`# TODO BIND: ${t}`], used: used0 };
-        } else {
-          if (args.length !== 1) return { term: out, stmts: [`# TODO BIND: ${t}`], used: used0 };
-        }
-        const list = `(${args.join(' ')})`;
-        return { term: out, stmts: [`${list} ${call.name.trim()} ${out} .`], used: used0 };
-      }
-    }
-
-    const compiledArgs = args.map((a) => compileValueExpr(a, ctx, null));
-    let stmts = [];
-    let used = used0;
-    const argTerms = [];
-    for (const ca of compiledArgs) {
-      stmts = stmts.concat(ca.stmts);
-      used = mergeUsed(used, ca.used);
-      argTerms.push(ca.term);
-    }
-
-    const out = targetVar || ctx.newVar();
-
-    // SPARQL/XPath-ish builtins -> N3 builtins
-    if (local === 'concat') {
-      stmts.push(`(${argTerms.join(' ')}) string:concatenation ${out} .`);
-      used = mergeUsed(used, { usedString: true });
-      return { term: out, stmts, used };
-    }
-
-    if (local === 'replace') {
-      if (argTerms.length !== 3) return { term: out, stmts: [...stmts, `# TODO BIND: ${t}`], used };
-      stmts.push(`(${argTerms.join(' ')}) string:replace ${out} .`);
-      used = mergeUsed(used, { usedString: true });
-      return { term: out, stmts, used };
-    }
-
-    if (local === 'format') {
-      if (argTerms.length < 1) return { term: out, stmts: [...stmts, `# TODO BIND: ${t}`], used };
-      stmts.push(`(${argTerms.join(' ')}) string:format ${out} .`);
-      used = mergeUsed(used, { usedString: true });
-      return { term: out, stmts, used };
-    }
-
-    if (local === 'abs') {
-      if (argTerms.length !== 1) return { term: out, stmts: [...stmts, `# TODO BIND: ${t}`], used };
-      stmts.push(`${argTerms[0]} math:absoluteValue ${out} .`);
-      used = mergeUsed(used, { usedMath: true });
-      return { term: out, stmts, used };
-    }
-
-    if (local === 'round') {
-      if (argTerms.length !== 1) return { term: out, stmts: [...stmts, `# TODO BIND: ${t}`], used };
-      stmts.push(`${argTerms[0]} math:rounded ${out} .`);
-      used = mergeUsed(used, { usedMath: true });
-      return { term: out, stmts, used };
-    }
-
-    if (local === 'ceil' || local === 'ceiling') {
-      if (argTerms.length !== 1) return { term: out, stmts: [...stmts, `# TODO BIND: ${t}`], used };
-      stmts.push(`${argTerms[0]} math:ceiling ${out} .`);
-      used = mergeUsed(used, { usedMath: true });
-      return { term: out, stmts, used };
-    }
-
-    if (local === 'floor') {
-      if (argTerms.length !== 1) return { term: out, stmts: [...stmts, `# TODO BIND: ${t}`], used };
-      stmts.push(`${argTerms[0]} math:floor ${out} .`);
-      used = mergeUsed(used, { usedMath: true });
-      return { term: out, stmts, used };
-    }
-
-    if (local === 'substr' || local === 'substring') {
-      if (argTerms.length !== 2 && argTerms.length !== 3) return { term: out, stmts: [...stmts, `# TODO BIND: ${t}`], used };
-      stmts.push(`(${argTerms.join(' ')}) string:substring ${out} .`);
-      used = mergeUsed(used, { usedString: true });
-      return { term: out, stmts, used };
-    }
-
-    if (local === 'strlen') {
-      if (argTerms.length !== 1) return { term: out, stmts: [...stmts, `# TODO BIND: ${t}`], used };
-      stmts.push(`${argTerms[0]} string:length ${out} .`);
-      used = mergeUsed(used, { usedString: true });
-      return { term: out, stmts, used };
-    }
-
-    if (local === 'ucase') {
-      if (argTerms.length !== 1) return { term: out, stmts: [...stmts, `# TODO BIND: ${t}`], used };
-      stmts.push(`${argTerms[0]} string:upperCase ${out} .`);
-      used = mergeUsed(used, { usedString: true });
-      return { term: out, stmts, used };
-    }
-
-    if (local === 'lcase') {
-      if (argTerms.length !== 1) return { term: out, stmts: [...stmts, `# TODO BIND: ${t}`], used };
-      stmts.push(`${argTerms[0]} string:lowerCase ${out} .`);
-      used = mergeUsed(used, { usedString: true });
-      return { term: out, stmts, used };
-    }
-
-    if (localKey === 'encodeforuri') {
-      if (argTerms.length !== 1) return { term: out, stmts: [...stmts, `# TODO BIND: ${t}`], used };
-      stmts.push(`${argTerms[0]} string:encodeForURI ${out} .`);
-      used = mergeUsed(used, { usedString: true });
-      return { term: out, stmts, used };
-    }
-
-    if (local === 'hours' || local === 'hour') {
-      if (argTerms.length !== 1) return { term: out, stmts: [...stmts, `# TODO BIND: ${t}`], used };
-      stmts.push(`${argTerms[0]} time:hour ${out} .`);
-      used = mergeUsed(used, { usedTime: true });
-      return { term: out, stmts, used };
-    }
-
-    if (local === 'tz') {
-      if (argTerms.length !== 1) return { term: out, stmts: [...stmts, `# TODO BIND: ${t}`], used };
-      stmts.push(`${argTerms[0]} time:timeZone ${out} .`);
-      used = mergeUsed(used, { usedTime: true });
-      return { term: out, stmts, used };
-    }
-
-    if (local === 'now') {
-      if (argTerms.length !== 0) return { term: out, stmts: [...stmts, `# TODO BIND: ${t}`], used };
-      stmts.push(`"" time:localTime ${out} .`);
-      used = mergeUsed(used, { usedTime: true });
-      return { term: out, stmts, used };
-    }
-
-    if (local === 'uuid') {
-      if (argTerms.length !== 0) return { term: out, stmts: [...stmts, `# TODO BIND: ${t}`], used };
-      stmts.push(`"" log:uuid ${out} .`);
-      used = mergeUsed(used, { usedLog: true });
-      return { term: out, stmts, used };
-    }
-
-    if (localKey === 'struuid') {
-      if (argTerms.length !== 0) return { term: out, stmts: [...stmts, `# TODO BIND: ${t}`], used };
-      stmts.push(`"" log:struuid ${out} .`);
-      used = mergeUsed(used, { usedLog: true });
-      return { term: out, stmts, used };
-    }
-
-    if (local === 'triple') {
-      if (argTerms.length !== 3) return { term: out, stmts: [...stmts, `# TODO BIND: ${t}`], used };
-      const tripleTerm = `{ ${argTerms[0]} ${argTerms[1]} ${argTerms[2]} . }`;
-      stmts.push(`${out} log:equalTo ${tripleTerm} .`);
-      used = mergeUsed(used, { usedLog: true });
-      return { term: out, stmts, used };
-    }
-
-    if (local === 'subject' || local === 'predicate' || local === 'object') {
-      if (argTerms.length !== 1) return { term: out, stmts: [...stmts, `# TODO BIND: ${t}`], used };
-      const sVar = ctx.newVar();
-      const pVar = ctx.newVar();
-      const oVar = ctx.newVar();
-      if (local === 'subject') {
-        stmts.push(`${argTerms[0]} log:includes { ${out} ${pVar} ${oVar} . } .`);
-      } else if (local === 'predicate') {
-        stmts.push(`${argTerms[0]} log:includes { ${sVar} ${out} ${oVar} . } .`);
-      } else {
-        stmts.push(`${argTerms[0]} log:includes { ${sVar} ${pVar} ${out} . } .`);
-      }
-      used = mergeUsed(used, { usedLog: true });
-      return { term: out, stmts, used };
-    }
-
-    if (local === 'md5' || local === 'sha256' || local === 'sha384' || local === 'sha512') {
-      if (argTerms.length !== 1) return { term: out, stmts: [...stmts, `# TODO BIND: ${t}`], used };
-      const pred = local === 'md5' ? 'crypto:md5' : local === 'sha256' ? 'crypto:sha256' : local === 'sha384' ? 'crypto:sha384' : 'crypto:sha512';
-      stmts.push(`${argTerms[0]} ${pred} ${out} .`);
-      used = mergeUsed(used, { usedCrypto: true });
-      return { term: out, stmts, used };
-    }
-
-    if (local === 'year' || local === 'month' || local === 'day' || local === 'minutes' || local === 'minute' || local === 'seconds' || local === 'second' || local === 'timezone') {
-      if (argTerms.length !== 1) return { term: out, stmts: [...stmts, `# TODO BIND: ${t}`], used };
-      const pred =
-        local === 'minutes' || local === 'minute'
-          ? 'time:minute'
-          : local === 'seconds' || local === 'second'
-            ? 'time:second'
-            : local === 'timezone'
-              ? 'time:timeZone'
-              : `time:${local}`;
-      stmts.push(`${argTerms[0]} ${pred} ${out} .`);
-      used = mergeUsed(used, { usedTime: true });
-      return { term: out, stmts, used };
-    }
-
-    if (local === 'strdt') {
-      if (argTerms.length !== 2) return { term: out, stmts: [...stmts, `# TODO BIND: ${t}`], used };
-      stmts.push(`(${argTerms.join(' ')}) log:dtlit ${out} .`);
-      used = mergeUsed(used, { usedLog: true });
-      return { term: out, stmts, used };
-    }
-
-    if (local === 'strlang') {
-      if (argTerms.length !== 2) return { term: out, stmts: [...stmts, `# TODO BIND: ${t}`], used };
-      stmts.push(`(${argTerms.join(' ')}) log:langlit ${out} .`);
-      used = mergeUsed(used, { usedLog: true });
-      return { term: out, stmts, used };
-    }
-
-    if (local === 'sha' || local === 'sha1') {
-      if (argTerms.length !== 1) return { term: out, stmts: [...stmts, `# TODO BIND: ${t}`], used };
-      stmts.push(`${argTerms[0]} crypto:sha ${out} .`);
-      used = mergeUsed(used, { usedCrypto: true });
-      return { term: out, stmts, used };
-    }
-
-    return { term: out, stmts: [...stmts, `# TODO BIND: ${t}`], used };
-  }
-
-  // Arithmetic ops (+,-,*,/,^,MOD,%)
-  // Precedence: ^, *,/,MOD,%, +,-
-  const opAdd = findTopLevelBinaryOp(t, ['+', '-'], true);
-  if (opAdd) {
-    const left = t.slice(0, opAdd.idx).trim();
-    const right = t.slice(opAdd.idx + opAdd.len).trim();
-    const out = targetVar || ctx.newVar();
-    const l = compileValueExpr(left, ctx, null);
-    const r = compileValueExpr(right, ctx, null);
-    const pred = opAdd.op === '+' ? 'math:sum' : 'math:difference';
-    const stmts = [...l.stmts, ...r.stmts, `(${l.term} ${r.term}) ${pred} ${out} .`];
-    const used = mergeUsed(mergeUsed(l.used, r.used), { ...used0, usedMath: true });
-    return { term: out, stmts, used };
-  }
-
-  const opMul = findTopLevelBinaryOp(t, ['*', '/', 'MOD', '%'], true);
-  if (opMul) {
-    const left = t.slice(0, opMul.idx).trim();
-    const right = t.slice(opMul.idx + opMul.len).trim();
-    const out = targetVar || ctx.newVar();
-    const l = compileValueExpr(left, ctx, null);
-    const r = compileValueExpr(right, ctx, null);
-    const pred =
-      opMul.op === '*'
-        ? 'math:product'
-        : opMul.op === '/'
-          ? 'math:quotient'
-          : 'math:remainder';
-    const stmts = [...l.stmts, ...r.stmts, `(${l.term} ${r.term}) ${pred} ${out} .`];
-    const used = mergeUsed(mergeUsed(l.used, r.used), { ...used0, usedMath: true });
-    return { term: out, stmts, used };
-  }
-
-  const opPow = findTopLevelBinaryOp(t, ['^'], false);
-  if (opPow) {
-    const left = t.slice(0, opPow.idx).trim();
-    const right = t.slice(opPow.idx + opPow.len).trim();
-    const out = targetVar || ctx.newVar();
-    const l = compileValueExpr(left, ctx, null);
-    const r = compileValueExpr(right, ctx, null);
-    const stmts = [...l.stmts, ...r.stmts, `(${l.term} ${r.term}) math:exponentiation ${out} .`];
-    const used = mergeUsed(mergeUsed(l.used, r.used), { ...used0, usedMath: true });
-    return { term: out, stmts, used };
-  }
-
-  // Fallback: emit TODO
-  if (!targetVar) return { term: t.trim(), stmts: [`# TODO expr: ${t.trim()}`], used: used0 };
-  return { term: targetVar, stmts: [`# TODO BIND: ${t.trim()} => ${targetVar}`], used: used0 };
-}
-
-function compileBooleanFactor(expr, ctx, invert = false) {
-  let t = stripOuterParensAll(expr).trim();
-  const used0 = {
-    usedMath: false,
-    usedString: false,
-    usedTime: false,
-    usedLog: false,
-    usedList: false,
-    usedCrypto: false,
-  };
-
-  // Handle unary !
-  if (t.startsWith('!')) {
-    return compileBooleanFactor(t.slice(1), ctx, !invert);
-  }
-
-  // IN / NOT IN
-  {
-    // Look for top-level IN keyword
-    const opIn = findTopLevelBinaryOp(t, ['NOT IN', 'IN'], true);
-    if (opIn && (opIn.op.toUpperCase() === 'IN' || opIn.op.toUpperCase() === 'NOT IN')) {
-      const leftExpr = t.slice(0, opIn.idx).trim();
-      const rightExpr = t.slice(opIn.idx + opIn.len).trim();
-      let listInner = rightExpr;
-      // Expect (...) list
-      listInner = stripOuterParensAll(listInner);
-      const items = splitTopLevelCommaArgs(listInner).map((x) => x.trim()).filter(Boolean);
-      const list = `(${items.join(' ')})`;
-      const left = compileValueExpr(leftExpr, ctx, null);
-      let stmts = [...left.stmts];
-      let used = mergeUsed(used0, left.used);
-      used = mergeUsed(used, { usedList: true });
-
-      const coreStmt = `${left.term} list:in ${list} .`;
-
-      const neg = invert || opIn.op.toUpperCase() === 'NOT IN';
-      if (neg) {
-        stmts.push(`?SCOPE log:notIncludes { ${coreStmt} } .`);
-        used = mergeUsed(used, { usedLog: true });
-      } else {
-        stmts.push(coreStmt);
-      }
-      return { stmts, used };
-    }
-  }
-
-  // Function call booleans: CONTAINS, STRSTARTS, STRENDS, REGEX, sameTerm
-  const call = tryParseFunctionCall(t);
-  if (call) {
-    const local0 = fnLocalName(call.name);
-    const local = local0.toLowerCase();
-    const localKey = local.replace(/_/g, '');
-    const args = splitTopLevelCommaArgs(call.argsRaw).map((x) => x.trim()).filter(Boolean);
-    const compiledArgs = args.map((a) => compileValueExpr(a, ctx, null));
-
-    let stmts = [];
-    let used = used0;
-    const argTerms = [];
-    for (const ca of compiledArgs) {
-      stmts = stmts.concat(ca.stmts);
-      used = mergeUsed(used, ca.used);
-      argTerms.push(ca.term);
-    }
-
-    const unaryTest = (pred) => {
-      if (argTerms.length !== 1) return { stmts: [...stmts, `# TODO FILTER: ${t}`], used };
-      const innerStmt = `${argTerms[0]} ${pred} true .`;
-      used = mergeUsed(used, { usedLog: true });
-      if (invert) makeNegatedNAF(innerStmt);
-      else stmts.push(innerStmt);
-      return { stmts, used };
-    };
-
-    if (localKey === 'isiri' || localKey === 'isuri') return unaryTest('log:isIRI');
-    if (localKey === 'isliteral') return unaryTest('log:isLiteral');
-    if (localKey === 'isblank') return unaryTest('log:isBlank');
-    if (localKey === 'isnumeric') return unaryTest('log:isNumeric');
-    if (localKey === 'istriple') return unaryTest('log:isTriple');
-
-    const makeNegatedNAF = (innerStmt) => {
-      stmts.push(`?SCOPE log:notIncludes { ${innerStmt} } .`);
-      used = mergeUsed(used, { usedLog: true });
-    };
-
-    if (local === 'contains' || local === 'strstarts' || local === 'strends') {
-      if (argTerms.length !== 2) return { stmts: [...stmts, `# TODO FILTER: ${t}`], used };
-      const pred =
-        local === 'contains' ? 'string:contains' : local === 'strstarts' ? 'string:startsWith' : 'string:endsWith';
-      const innerStmt = `${argTerms[0]} ${pred} ${argTerms[1]} .`;
-      used = mergeUsed(used, { usedString: true });
-      if (invert) makeNegatedNAF(innerStmt);
-      else stmts.push(innerStmt);
-      return { stmts, used };
-    }
-
-    if (local === 'regex') {
-      if (argTerms.length < 2) return { stmts: [...stmts, `# TODO FILTER: ${t}`], used };
-      // Ignore SPARQL regex flags (3rd arg) for now.
-      const pred = invert ? 'string:notMatches' : 'string:matches';
-      const innerStmt = `${argTerms[0]} ${pred} ${argTerms[1]} .`;
-      used = mergeUsed(used, { usedString: true });
-      stmts.push(innerStmt);
-      return { stmts, used };
-    }
-
-    if (local === 'sameterm') {
-      if (argTerms.length !== 2) return { stmts: [...stmts, `# TODO FILTER: ${t}`], used };
-      const pred = invert ? 'log:notEqualTo' : 'log:equalTo';
-      stmts.push(`${argTerms[0]} ${pred} ${argTerms[1]} .`);
-      used = mergeUsed(used, { usedLog: true });
-      return { stmts, used };
-    }
-  }
-
-  // Comparison
-  const cmp = parseSimpleComparison(t);
-  if (!cmp) return null;
-
-  const left = compileValueExpr(cmp.left, ctx, null);
-  const right = compileValueExpr(cmp.right, ctx, null);
-
-  let stmts = [...left.stmts, ...right.stmts];
-  let used = mergeUsed(mergeUsed(used0, left.used), right.used);
-
-  // Decide namespace: numeric => math; string literals => string for ordering; otherwise:
-  const leftNum = isNumericLike(cmp.left) || isNumericLike(left.term);
-  const rightNum = isNumericLike(cmp.right) || isNumericLike(right.term);
-  const anyNum = leftNum || rightNum;
-  const anyStr = isStringLiteral(cmp.left) || isStringLiteral(cmp.right);
-
-  const neg = invert;
-
-  // Equality/inequality: prefer math for numeric, log otherwise.
-  if (cmp.op === '=' || cmp.op === '!=') {
-    if (anyNum) {
-      const pred = neg
-        ? cmp.op === '='
-          ? 'math:notEqualTo'
-          : 'math:equalTo'
-        : `math:${cmp.pred}`;
-      stmts.push(`${left.term} ${pred} ${right.term} .`);
-      used = mergeUsed(used, { usedMath: true });
-      return { stmts, used };
-    }
-
-    const pred = neg ? (cmp.op === '=' ? 'log:notEqualTo' : 'log:equalTo') : cmp.op === '=' ? 'log:equalTo' : 'log:notEqualTo';
-    stmts.push(`${left.term} ${pred} ${right.term} .`);
-    used = mergeUsed(used, { usedLog: true });
-    return { stmts, used };
-  }
-
-  // Relational: numeric => math; string literal ordering => string; default math
-  if (!anyNum && anyStr) {
-    // string ordering
-    const map = (op, inv) => {
-      const base =
-        op === '>'
-          ? 'greaterThan'
-          : op === '<'
-            ? 'lessThan'
-            : op === '>='
-              ? 'notLessThan'
-              : op === '<='
-                ? 'notGreaterThan'
-                : null;
-      if (!base) return null;
-
-      if (!inv) return `string:${base}`;
-
-      // invert
-      if (op === '>') return 'string:notGreaterThan';
-      if (op === '<') return 'string:notLessThan';
-      if (op === '>=') return 'string:lessThan';
-      if (op === '<=') return 'string:greaterThan';
-      return null;
-    };
-    const pred = map(cmp.op, neg);
-    if (!pred) return null;
-    stmts.push(`${left.term} ${pred} ${right.term} .`);
-    used = mergeUsed(used, { usedString: true });
-    return { stmts, used };
-  }
-
-  // numeric/default math
-  {
-    const map = (op, inv, pred) => {
-      if (!inv) return `math:${pred}`;
-      if (op === '>') return 'math:notGreaterThan';
-      if (op === '<') return 'math:notLessThan';
-      if (op === '>=') return 'math:lessThan';
-      if (op === '<=') return 'math:greaterThan';
-      return null;
-    };
-    const pred = map(cmp.op, neg, cmp.pred);
-    if (!pred) return null;
-    stmts.push(`${left.term} ${pred} ${right.term} .`);
-    used = mergeUsed(used, { usedMath: true });
-    return { stmts, used };
-  }
-}
-
-function bindExprToN3Alternatives(bindInner, ctx) {
-  // bindInner is the inside of BIND(...), e.g. 'concat(?a," ",?b) AS ?x'
-  const s = (bindInner || '').trim();
-  const m = s.match(/^(.*)\s+AS\s+(\?[A-Za-z_][A-Za-z0-9_-]*)\s*$/i);
-  if (!m) return null;
-
-  const expr = m[1].trim();
-  const outVar = m[2].trim();
-
-  // Special forms that need rule-distribution instead of a single builtin triple.
-  const call = tryParseFunctionCall(expr);
-  if (call) {
-    const local0 = fnLocalName(call.name);
-    const local = local0.toLowerCase();
-    const localKey = local.replace(/_/g, '');
-    const args = splitTopLevelCommaArgs(call.argsRaw).map((x) => x.trim()).filter(Boolean);
-
-    // IF(cond, then, else): distribute into rule alternatives using filter compilation.
-    if (localKey === 'if') {
-      if (args.length !== 3) return { alts: [[`# TODO BIND: ${bindInner}`]], used: { usedMath: false, usedString: false, usedTime: false, usedLog: false, usedList: false, usedCrypto: false } };
-
-      const cond = filterExprToN3Alternatives(args[0], ctx);
-      if (!cond) return { alts: [[`# TODO BIND(IF): ${bindInner}`]], used: { usedMath: false, usedString: false, usedTime: false, usedLog: false, usedList: false, usedCrypto: false } };
-
-      const thenC = compileValueExpr(args[1], ctx, outVar);
-      const elseC = compileValueExpr(args[2], ctx, outVar);
-
-      let used = mergeUsed(cond.used, mergeUsed(thenC.used, elseC.used));
-      used = mergeUsed(used, { usedLog: true }); // else branch uses log:notIncludes guards
-
-      const alts = [];
-      // THEN alts: each conjunction of the condition DNF
-      for (const conj of cond.alts) {
-        alts.push([...(conj || []), ...thenC.stmts]);
-      }
-
-      // ELSE alt: AND_i not(conj_i)
-      const elseGuards = [];
-      for (const conj of cond.alts) {
-        const inner = (conj || []).join(' ');
-        elseGuards.push(`?SCOPE log:notIncludes { ${inner} } .`);
-      }
-      alts.push([...elseGuards, ...elseC.stmts]);
-
-      return { alts, used };
-    }
-
-    // COALESCE(e1,e2,...): pick first expression that is satisfiable under current bindings.
-    if (localKey === 'coalesce') {
-      if (args.length < 1) return { alts: [[`# TODO BIND: ${bindInner}`]], used: { usedMath: false, usedString: false, usedTime: false, usedLog: false, usedList: false, usedCrypto: false } };
-
-      const compiled = args.map((a) => compileValueExpr(a, ctx, outVar));
-      let used = { usedMath: false, usedString: false, usedTime: false, usedLog: false, usedList: false, usedCrypto: false };
-      for (const c of compiled) used = mergeUsed(used, c.used);
-      used = mergeUsed(used, { usedLog: true }); // guards use log:notIncludes
-
-      const alts = [];
-      for (let i = 0; i < compiled.length; i++) {
-        const guards = [];
-        for (let j = 0; j < i; j++) {
-          const inner = compiled[j].stmts.join(' ');
-          guards.push(`?SCOPE log:notIncludes { ${inner} } .`);
-        }
-        alts.push([...guards, ...compiled[i].stmts]);
-      }
-      return { alts, used };
-    }
-  }
-
-  // Default: compile as a single value expression (one alternative).
-  const compiled = compileValueExpr(expr, ctx, outVar);
-  return { alts: [compiled.stmts], used: compiled.used };
-}
-
-
-function extractSrlBinds(bodyRaw, ctx) {
-  const s = bodyRaw || '';
-  let i = 0;
-  let out = '';
-
-  /** @type {string[][]} */
-  let bindAlts = [[]];
-
-  let used = {
-    usedMath: false,
-    usedString: false,
-    usedTime: false,
-    usedLog: false,
-    usedList: false,
-    usedCrypto: false,
-  };
-
-  while (i < s.length) {
-    const idx = s.indexOf('BIND', i);
-    if (idx < 0) {
-      out += s.slice(i);
-      break;
-    }
-
-    const before = idx === 0 ? ' ' : s[idx - 1];
-    const after = idx + 4 < s.length ? s[idx + 4] : ' ';
-    if (/[A-Za-z0-9_]/.test(before) || /[A-Za-z0-9_]/.test(after)) {
-      i = idx + 4;
-      continue;
-    }
-
-    let j = idx + 4;
-    while (j < s.length && /\s/.test(s[j])) j++;
-    if (s[j] !== '(') {
-      out += s.slice(i, idx + 4);
-      i = idx + 4;
-      continue;
-    }
-
-    out += s.slice(i, idx);
-    const blk = readBalancedParens(s, j);
-    const inner = (blk.content || '').trim();
-
-    const conv = bindExprToN3Alternatives(inner, ctx);
-    if (!conv) throw new Error(`Unsupported SRL BIND expression for N3 mapping: ${inner}`);
-
-    // Cross product with existing bind alternatives
-    const next = [];
-    for (const acc of bindAlts) {
-      for (const opt of conv.alts) next.push(acc.concat(opt || []));
-    }
-    bindAlts = next;
-
-    used = mergeUsed(used, conv.used);
-
-    i = blk.endIdx;
-  }
-
-  return { body: normalizeInsideBracesKeepStyle(out), bindAlts, used };
-}
-
-
-function parseSimpleComparison(expr) {
-  const t0 = stripOuterParensOnce(expr);
-  const t = (t0 || '').trim();
-  if (!t) return null;
-
-  const ops2 = ['>=', '<=', '!='];
-  const ops1 = ['=', '>', '<'];
-
-  let depth = 0;
-  let inString = false;
-  let quote = null;
-  let escaped = false;
-
-  function mapPred(op) {
-    return op === '>'
-      ? 'greaterThan'
-      : op === '<'
-        ? 'lessThan'
-        : op === '='
-          ? 'equalTo'
-          : op === '!='
-            ? 'notEqualTo'
-            : op === '>='
-              ? 'notLessThan'
-              : op === '<='
-                ? 'notGreaterThan'
-                : null;
-  }
-
-  for (let i = 0; i < t.length; i++) {
-    const ch = t[i];
-
-    if (inString) {
-      if (escaped) {
-        escaped = false;
-      } else if (ch === '\\') {
-        escaped = true;
-      } else if (ch === quote) {
-        inString = false;
-        quote = null;
-      }
-      continue;
-    }
-
-    if (ch === '"' || ch === "'") {
-      inString = true;
-      quote = ch;
-      continue;
-    }
-
-    if (ch === '(') {
-      depth++;
-      continue;
-    }
-    if (ch === ')') {
-      depth = Math.max(0, depth - 1);
-      continue;
-    }
-
-    if (depth !== 0) continue;
-
-    // 2-char ops first
-    const two = t.slice(i, i + 2);
-    if (ops2.includes(two)) {
-      const left = t.slice(0, i).trim();
-      const right = t.slice(i + 2).trim();
-      const pred = mapPred(two);
-      if (!left || !right || !pred) return null;
-      return { left, op: two, right, pred };
-    }
-
-    if (ops1.includes(ch)) {
-      const left = t.slice(0, i).trim();
-      const right = t.slice(i + 1).trim();
-      const pred = mapPred(ch);
-      if (!left || !right || !pred) return null;
-      return { left, op: ch, right, pred };
-    }
-  }
-
-  return null;
-}
-
-function filterExprToN3Alternatives(expr, ctx) {
-  // Returns {alts, used} where:
-  // - alts is an array of alternatives
-  // - each alternative is an array of N3 statements (strings) to be added to the rule body
-  //
-  // Supports nested disjunction distribution, e.g.:
-  //   a && (b || c)  ==>  (a && b) || (a && c)
-  // and De Morgan for leading '!' over composite subexpressions.
-  const e0 = (expr || '').trim();
-  if (!e0) return null;
-
-  function crossProductDnfs(dnfA, dnfB) {
-    const next = [];
-    for (const a of dnfA) {
-      for (const b of dnfB) {
-        next.push(a.concat(b));
-      }
-    }
-    return next;
-  }
-
-  function toDnf(rawExpr, negate = false) {
-    let t = (rawExpr || '').trim();
-    if (!t) return [[]];
-
-    // Normalize leading '!' (can appear multiple times)
-    let neg = negate;
-    while (t.startsWith('!')) {
-      neg = !neg;
-      t = t.slice(1).trim();
-    }
-
-    t = stripOuterParensAll(t);
-
-    // OR has lower precedence than AND.
-    const orParts = splitTopLevelOr(t);
-    if (orParts) {
-      if (!neg) {
-        let out = [];
-        for (const p of orParts) out = out.concat(toDnf(p, false));
-        return out;
-      }
-      // NOT (A OR B)  ==  (NOT A) AND (NOT B)
-      let out = [[]];
-      for (const p of orParts) {
-        out = crossProductDnfs(out, toDnf(p, true));
-      }
-      return out;
-    }
-
-    const andParts = splitTopLevelAnd(t);
-    if (andParts) {
-      if (!neg) {
-        let out = [[]];
-        for (const p of andParts) out = crossProductDnfs(out, toDnf(p, false));
-        return out;
-      }
-      // NOT (A AND B)  ==  (NOT A) OR (NOT B)
-      let out = [];
-      for (const p of andParts) out = out.concat(toDnf(p, true));
-      return out;
-    }
-
-    // Atomic
-    return [[neg ? '!' + t : t]];
-  }
-
-  const conjunctions = toDnf(e0, false);
-
-  const alts = [];
-  let used = {
-    usedMath: false,
-    usedString: false,
-    usedTime: false,
-    usedLog: false,
-    usedList: false,
-    usedCrypto: false,
-  };
-
-  for (const conj of conjunctions) {
-    let stmts = [];
-    for (const factor of conj) {
-      const bf = compileBooleanFactor(factor, ctx, false);
-      if (!bf) return null;
-      stmts = stmts.concat(bf.stmts);
-      used = mergeUsed(used, bf.used);
-    }
-    alts.push(stmts);
-  }
-
-  return { alts, used };
-}
-
-
-function srlWhereBodyToN3Body(bodyRaw) {
-  const s = bodyRaw || '';
-  let i = 0;
-  let out = '';
-  let usedLog = false;
-
-  while (i < s.length) {
-    const idx = s.indexOf('NOT', i);
-    if (idx < 0) {
-      out += s.slice(i);
-      break;
-    }
-
-    // token boundary check for "NOT"
-    const before = idx === 0 ? ' ' : s[idx - 1];
-    const after = idx + 3 < s.length ? s[idx + 3] : ' ';
-    if (/[A-Za-z0-9_]/.test(before) || /[A-Za-z0-9_]/.test(after)) {
-      i = idx + 3;
-      continue;
-    }
-
-    // Look ahead for "{"
-    let j = idx + 3;
-    while (j < s.length && /\s/.test(s[j])) j++;
-    if (s[j] !== '{') {
-      // Not a negation element; keep the text and continue
-      out += s.slice(i, idx + 3);
-      i = idx + 3;
-      continue;
-    }
-
-    // Capture the NOT {...} block
-    out += s.slice(i, idx);
-    const blk = readBalancedBraces(s, j);
-    const inner = (blk.content || '').trim();
-
-    out += ` ?SCOPE log:notIncludes { ${inner} } . `;
-    usedLog = true;
-    i = blk.endIdx;
-  }
-
-  return { body: normalizeInsideBracesKeepStyle(out), usedLog };
-}
-
-// N3 :   ?SCOPE log:notIncludes { ... } .
-// SRL:   NOT { ... }
-function stripOnlyWholeLineHashComments(src) {
-  // IMPORTANT: do NOT treat '#' as an inline comment marker here,
-  // because IRIs commonly contain '#', e.g. <http://example.org/#>.
-  return src
-    .split('\n')
-    .map((line) => (line.trim().startsWith('#') ? '' : line))
-    .join('\n');
-}
-
-function normalizeInsideBracesKeepStyle(s) {
-  return (s || '').trim().replace(/\s+/g, ' ').trim();
-}
-
-function srlDollarVarsToQVars(text) {
-  // SHACL SPARQL uses $this/$value; N3 uses ?vars.
-  // Convert $name -> ?name, ignoring occurrences inside strings.
-  const s = text || '';
-  let out = '';
-  let inString = false;
-  let quote = null;
-  let escaped = false;
-
-  for (let i = 0; i < s.length; i++) {
-    const ch = s[i];
-
-    if (inString) {
-      out += ch;
-      if (escaped) {
-        escaped = false;
-        continue;
-      }
-      if (ch === '\\') {
-        escaped = true;
-        continue;
-      }
-      if (ch === quote) {
-        inString = false;
-        quote = null;
-      }
-      continue;
-    }
-
-    if (ch === '"' || ch === "'") {
-      inString = true;
-      quote = ch;
-      out += ch;
-      continue;
-    }
-
-    if (ch === '$') {
-      let j = i + 1;
-      let name = '';
-      while (j < s.length && /[A-Za-z0-9_\-]/.test(s[j])) {
-        name += s[j];
-        j++;
-      }
-      if (name.length) {
-        out += '?' + name;
-        i = j - 1;
-        continue;
-      }
-    }
-
-    out += ch;
-  }
-
-  return out;
-}
-
-function parseSrlPrefixLines(src) {
-  const prefixes = [];
-  const other = [];
-
-  for (const rawLine of src.split('\n')) {
-    const line = rawLine.trim();
-    if (!line) continue;
-
-    const m = line.match(/^PREFIX\s+([^\s]+)\s*<([^>]+)>\s*\.?\s*$/i);
-    if (m) prefixes.push({ label: m[1].trim(), iri: m[2].trim() });
-    else other.push(rawLine);
-  }
-
-  return { prefixes, rest: other.join('\n') };
-}
-
-function readBalancedBraces(src, startIdx) {
-  if (src[startIdx] !== '{') throw new Error("Expected '{'");
-
-  let i = startIdx;
-  let depth = 0;
-  let inString = false;
-  let quote = null;
-  let escaped = false;
-  let out = '';
-
-  for (; i < src.length; i++) {
-    const ch = src[i];
-
-    if (inString) {
-      out += ch;
-
-      if (escaped) {
-        escaped = false;
-        continue;
-      }
-      if (ch === '\\') {
-        escaped = true;
-        continue;
-      }
-      if (ch === quote) {
-        inString = false;
-        quote = null;
-      }
-      continue;
-    }
-
-    // Treat \" or \' outside strings as literal quotes (common when SRL is copy-pasted from JS strings)
-    if ((ch === '"' || ch === "'") && i > 0 && src[i - 1] === '\\') {
-      out += ch;
-      continue;
-    }
-
-    if (ch === '"' || ch === "'") {
-      inString = true;
-      quote = ch;
-      out += ch;
-      continue;
-    }
-
-    if (ch === '{') {
-      depth++;
-      if (depth > 1) out += ch;
-      continue;
-    }
-
-    if (ch === '}') {
-      depth--;
-      if (depth === 0) return { content: out, endIdx: i + 1 };
-      out += ch;
-      continue;
-    }
-
-    if (depth >= 1) out += ch;
-  }
-
-  throw new Error("Unclosed '{...}'");
-}
-
-function extractSrlRules(src) {
-  const rules = [];
-  let i = 0;
-  let dataParts = [];
-  const s = src;
-
-  while (i < s.length) {
-    const idx = s.indexOf('RULE', i);
-    if (idx < 0) {
-      dataParts.push(s.slice(i));
-      break;
-    }
-
-    const before = idx === 0 ? ' ' : s[idx - 1];
-    const after = idx + 4 < s.length ? s[idx + 4] : ' ';
-    if (/[A-Za-z0-9_]/.test(before) || /[A-Za-z0-9_]/.test(after)) {
-      i = idx + 4;
-      continue;
-    }
-
-    dataParts.push(s.slice(i, idx));
-    i = idx + 4;
-
-    while (i < s.length && /\s/.test(s[i])) i++;
-    if (s[i] !== '{') throw new Error("SRL parse error: expected '{' after RULE");
-    const head = readBalancedBraces(s, i);
-    i = head.endIdx;
-
-    while (i < s.length && /\s/.test(s[i])) i++;
-    if (!s.slice(i, i + 5).match(/^WHERE/i)) throw new Error('SRL parse error: expected WHERE');
-    i += 5;
-
-    while (i < s.length && /\s/.test(s[i])) i++;
-    if (s[i] !== '{') throw new Error("SRL parse error: expected '{' after WHERE");
-    const body = readBalancedBraces(s, i);
-    i = body.endIdx;
-
-    rules.push({ head: head.content, body: body.content });
-  }
-
-  return { dataText: dataParts.join('').trim(), rules };
-}
-
-function srlToN3(srlText) {
-  const cleaned = stripOnlyWholeLineHashComments(srlText);
-  const { prefixes, rest } = parseSrlPrefixLines(cleaned);
-  const { dataText, rules } = extractSrlRules(rest);
-  const env = prefixEnvFromSrlPrefixes(prefixes);
-
-  // DATA { ... } blocks are SRL-only; map their content to plain N3 data triples.
-  const dataExtract = extractSrlDataBlocks(dataText);
-  const dataOutside = dataExtract.dataText || '';
-  const dataBlocks = dataExtract.dataBlocks || [];
-
-  // Convert rules first so we know whether we need log:/math:
-  const renderedRules = [];
-  let needsLog = false;
-  let needsMath = false;
-  let needsString = false;
-  let needsList = false;
-  let needsCrypto = false;
-  let needsTime = false;
-
-  for (const r of rules) {
-    const ctx = { newVar: makeTempVarGenerator('__e') };
-
-    // 1) NOT { ... }  ->  ?SCOPE log:notIncludes { ... } .
-    const convNot = srlWhereBodyToN3Body(r.body);
-    needsLog = needsLog || convNot.usedLog;
-    if (convNot.usedLog && !env.map.log) env.setPrefix('log', LOG_NS);
-
-    // 2) FILTER(...) -> math:* builtins (possibly multiple alternative rules for OR)
-    const convFilter = extractSrlFilters(convNot.body);
-    const bodyNoFilter = convFilter.body;
-    const filterExprs = convFilter.filters;
-
-    // 3) BIND(concat(... ) AS ?v) -> string:concatenation builtins
-    const convBind = extractSrlBinds(bodyNoFilter, ctx);
-    const bodyNoBind = convBind.body;
-    const bindAlts = (convBind.bindAlts && convBind.bindAlts.length) ? convBind.bindAlts : [[]];
-    if (convBind.used.usedString) {
-      needsString = true;
-      if (!env.map.string) env.setPrefix('string', STRING_NS);
-    }
-    if (convBind.used.usedTime) {
-      needsTime = true;
-      if (!env.map.time) env.setPrefix('time', TIME_NS);
-    }
-    if (convBind.used.usedLog) {
-      needsLog = true;
-      if (!env.map.log) env.setPrefix('log', LOG_NS);
-    }
-    if (convBind.used.usedMath) {
-      needsMath = true;
-      if (!env.map.math) env.setPrefix('math', MATH_NS);
-    }
-    if (convBind.used.usedList) {
-      needsList = true;
-      if (!env.map.list) env.setPrefix('list', LIST_NS);
-    }
-    if (convBind.used.usedCrypto) {
-      needsCrypto = true;
-      if (!env.map.crypto) env.setPrefix('crypto', CRYPTO_NS);
-    }
-
-    // Build rule alternatives (disjunction => multiple rules)
-    let alts = [{ builtins: [] }];
-
-    for (const f of filterExprs) {
-      const conv = filterExprToN3Alternatives(f, ctx);
-      if (!conv) {
-        throw new Error(`Unsupported SRL FILTER expression for N3 mapping: ${f}`);
-      }
-
-      // Ensure needed builtin prefixes
-      if (conv.used.usedMath) {
-        needsMath = true;
-        if (!env.map.math) env.setPrefix('math', MATH_NS);
-      }
-      if (conv.used.usedString) {
-        needsString = true;
-        if (!env.map.string) env.setPrefix('string', STRING_NS);
-      }
-      if (conv.used.usedLog) {
-        needsLog = true;
-        if (!env.map.log) env.setPrefix('log', LOG_NS);
-      }
-      if (conv.used.usedList) {
-        needsList = true;
-        if (!env.map.list) env.setPrefix('list', LIST_NS);
-      }
-      if (conv.used.usedCrypto) {
-        needsCrypto = true;
-        if (!env.map.crypto) env.setPrefix('crypto', CRYPTO_NS);
-      }
-      if (conv.used.usedTime) {
-        needsTime = true;
-        if (!env.map.time) env.setPrefix('time', TIME_NS);
-      }
-
-      // Expand OR alternatives
-      const next = [];
-      for (const a of alts) {
-        for (const option of conv.alts) {
-          next.push({ builtins: a.builtins.concat(option) });
-        }
-      }
-      alts = next;
-    }
-
-    const head = srlDollarVarsToQVars(normalizeInsideBracesKeepStyle(r.head));
-
-    for (const a of alts) {
-      const extra = a.builtins.length ? ` ${a.builtins.join(' ')} ` : '';
-      for (const bindBuiltins of bindAlts) {
-        const bindExtra = bindBuiltins.length ? ` ${bindBuiltins.join(' ')} ` : '';
-        const combined = `${bodyNoBind} ${extra} ${bindExtra}`.trim();
-        const triples = parseTriplesBlockAllowImplicitDots(combined, env);
-        const body = triplesToN3Body(triples, env);
-        renderedRules.push(`{ ${body} } => { ${head} } .`);
-      }
-    }
-  }
-
-  // Build body first (data + rules), then decide which prefixes are actually needed.
-  const bodyParts = [];
-
-  // Emit "plain" data triples first (outside SRL DATA blocks)
-  if (dataOutside.trim()) bodyParts.push(dataOutside.trim(), '');
-
-  // Emit each SRL DATA { ... } block as plain N3 data triples
-  for (const blk of dataBlocks) {
-    if (blk.trim()) bodyParts.push(blk.trim(), '');
-  }
-
-  bodyParts.push(...renderedRules);
-
-  let bodyText = bodyParts.join('\n').trim();
-
-  // Decide whether rdf:/xsd: are needed in the final output (SRL emits a lot as raw text).
-  const usesRdf = /\brdf:/.test(bodyText) || bodyText.includes(`<${RDF_NS}`) || bodyText.includes(`^^<${RDF_NS}`);
-  const usesXsd = /\bxsd:/.test(bodyText) || bodyText.includes(`<${XSD_NS}`) || bodyText.includes(`^^<${XSD_NS}`);
-
-  // Ensure prefixes requested by generated content are declared.
-  if (usesRdf && !env.map.rdf) env.setPrefix('rdf', RDF_NS);
-  if (usesXsd && !env.map.xsd) env.setPrefix('xsd', XSD_NS);
-
-  // If we have xsd:, prefer qname datatypes in the body, e.g. ^^xsd:date.
-  if (env.map.xsd) {
-    const esc = XSD_NS.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
-    bodyText = bodyText.replace(new RegExp(`\\^\\^<${esc}([^>]+)>`, 'g'), '^^xsd:$1');
-  }
-
-  const out = [];
-  const pro = renderPrefixPrologue(env, { includeRdfg: false }).trim();
-  if (pro) out.push(pro, '');
-  if (bodyText) out.push(bodyText);
-
-  return out.join('\n').trim() + '\n';
-}
-
 function printHelp() {
   process.stdout.write(`Usage:
-  n3gen <file.ttl|file.trig|file.srl>
+  n3gen <file.ttl|file.trig>
 
-Converts RDF 1.2 Turtle/TriG and SHACL 1.2 Rules to N3.
+Converts RDF 1.2 Turtle (.ttl) or TriG (.trig) to Notation 3 (.n3) and writes to stdout.
 
 Examples:
-  n3gen file.ttl > file.n3
+  n3gen file.ttl  > file.n3
   n3gen file.trig > file.n3
-  n3gen file.srl > file.n3
 `);
 }
 
@@ -3952,12 +2079,8 @@ async function main() {
     process.stdout.write(trigToN3(text));
     return;
   }
-  if (ext === '.srl') {
-    process.stdout.write(srlToN3(text));
-    return;
-  }
 
-  throw new Error(`Unsupported file extension "${ext}". Use .ttl, .trig or .srl`);
+  throw new Error(`Unsupported file extension "${ext}". Use .ttl or .trig`);
 }
 
 main().catch((e) => {