@stevenvo780/autologic 2.0.0 → 2.2.0

package/dist/formula/probabilistic.js

@@ -0,0 +1,55 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.buildProbabilistic = buildProbabilistic;
+const helpers_1 = require("./helpers");
+function buildProbabilistic(sentences, atomEntries) {
+    const formulas = [];
+    let labelCounter = 1;
+    for (let sIdx = 0; sIdx < sentences.length; sIdx++) {
+        const sentence = sentences[sIdx];
+        for (const clause of sentence.clauses) {
+            const text = clause.text;
+            // Buscar patrones comunes: "probabilidad ... de ... es X" o "0.XX"
+            const probMatch = text.match(/0\.\d+/);
+            const isPercentage = text.match(/(\d+(?:\.\d+)?)%/);
+            let pValue = probMatch ? probMatch[0] : null;
+            if (!pValue && isPercentage) {
+                pValue = (parseFloat(isPercentage[1]) / 100).toString();
+            }
+            const atomId = (0, helpers_1.resolveAtomId)(text, atomEntries);
+            let formula = (0, helpers_1.applyLogicalModifiers)(atomId, clause.modifiers.map(m => m.type), 'probabilistic.basic');
+            if (pValue && clause.role !== 'conclusion') {
+                // Axiom
+                formulas.push({
+                    formula: `Pr(${formula}) = ${pValue}`,
+                    stType: 'axiom',
+                    label: `a${labelCounter++}`,
+                    sourceText: text,
+                    sourceSentence: sIdx
+                });
+            }
+            else if (pValue && clause.role === 'conclusion') {
+                // Conclusion check
+                formulas.push({
+                    formula: `Pr(${formula}) = ${pValue}`,
+                    stType: 'derive',
+                    label: `conclusion_${labelCounter++}`,
+                    sourceText: text,
+                    sourceSentence: sIdx
+                });
+            }
+            else {
+                // Fallback
+                formulas.push({
+                    formula: (0, helpers_1.applyLogicalModifiers)(atomId, clause.modifiers.map(m => m.type), 'probabilistic.basic'),
+                    stType: clause.role === 'conclusion' ? 'derive' : 'axiom',
+                    label: clause.role === 'conclusion' ? `conclusion_${labelCounter++}` : `a${labelCounter++}`,
+                    sourceText: text,
+                    sourceSentence: sIdx
+                });
+            }
+        }
+    }
+    return formulas;
+}
+//# sourceMappingURL=probabilistic.js.map

package/dist/formula/probabilistic.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"probabilistic.js","sourceRoot":"","sources":["../../src/formula/probabilistic.ts"],"names":[],"mappings":";;AAGA,gDAyDC;AA3DD,uCAAiE;AAEjE,SAAgB,kBAAkB,CAChC,SAA6B,EAC7B,WAAwB;IAExB,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,IAAI,YAAY,GAAG,CAAC,CAAC;IAErB,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;QACnD,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QAEjC,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;YACtC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;YAEzB,mEAAmE;YACnE,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YACvC,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;YAEpD,IAAI,MAAM,GAAG,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YAC7C,IAAI,CAAC,MAAM,IAAI,YAAY,EAAE,CAAC;gBAC5B,MAAM,GAAG,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC;YAC1D,CAAC;YAED,MAAM,MAAM,GAAG,IAAA,uBAAa,EAAC,IAAI,EAAE,WAAW,CAAC,CAAC;YAChD,IAAI,OAAO,GAAG,IAAA,+BAAqB,EAAC,MAAM,EAAE,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,qBAAqB,CAAC,CAAC;YAEtG,IAAI,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;gBAC1C,QAAQ;gBACR,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,MAAM,OAAO,OAAO,MAAM,EAAE;oBACrC,MAAM,EAAE,OAAO;oBACf,KAAK,EAAE,IAAI,YAAY,EAAE,EAAE;oBAC3B,UAAU,EAAE,IAAI;oBAChB,cAAc,EAAE,IAAI;iBACrB,CAAC,CAAC;YACN,CAAC;iBAAM,IAAI,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;gBACjD,mBAAmB;gBACnB,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,MAAM,OAAO,OAAO,MAAM,EAAE;oBACrC,MAAM,EAAE,QAAQ;oBAChB,KAAK,EAAE,cAAc,YAAY,EAAE,EAAE;oBACrC,UAAU,EAAE,IAAI;oBAChB,cAAc,EAAE,IAAI;iBACrB,CAAC,CAAC;YACN,CAAC;iBAAM,CAAC;gBACL,WAAW;gBACX,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,IAAA,+BAAqB,EAAC,MAAM,EAAE,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,qBAAqB,CAAC;oBAChG,MAAM,EAAE,MAAM,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO;oBACzD,KAAK,EAAE,MAAM,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,cAAc,YAAY,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,YAAY,EAAE,EAAE;oBAC3F,UAAU,EAAE,IAAI;oBAChB,cAAc,EAAE,IAAI;iBACrB,CAAC,CAAC;YACN,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/formula/propositional.d.ts

@@ -4,10 +4,10 @@
  * Construye fórmulas de lógica proposicional a partir de átomos con roles.
  * Genera fórmulas reales con conectivos: →, ∧, ∨, ¬, ↔
  */
-import type { AnalyzedSentence, AtomEntry, FormulaEntry } from '../types';
+import type { AnalyzedSentence, AtomEntry, FormulaEntry, LogicProfile } from '../types';
 /**
  * Construye fórmulas proposicionales para un conjunto de oraciones.
  * Cada oración se procesa según su tipo detectado.
  */
-export declare function buildPropositional(sentences: AnalyzedSentence[], atomEntries: AtomEntry[], detectedPatterns: string[]): FormulaEntry[];
+export declare function buildPropositional(sentences: AnalyzedSentence[], atomEntries: AtomEntry[], detectedPatterns: string[], profile?: LogicProfile): FormulaEntry[];
 //# sourceMappingURL=propositional.d.ts.map

package/dist/formula/propositional.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"propositional.d.ts","sourceRoot":"","sources":["../../src/formula/propositional.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,KAAK,EAAE,gBAAgB,EAAE,SAAS,EAAE,YAAY,EAAmB,MAAM,UAAU,CAAC;AAG3F;;;GAGG;AACH,wBAAgB,kBAAkB,CAChC,SAAS,EAAE,gBAAgB,EAAE,EAC7B,WAAW,EAAE,SAAS,EAAE,EACxB,gBAAgB,EAAE,MAAM,EAAE,GACzB,YAAY,EAAE,CAiBhB"}
+{"version":3,"file":"propositional.d.ts","sourceRoot":"","sources":["../../src/formula/propositional.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,KAAK,EAAE,gBAAgB,EAAE,SAAS,EAAE,YAAY,EAAmB,YAAY,EAAE,MAAM,UAAU,CAAC;AAgCzG;;;GAGG;AACH,wBAAgB,kBAAkB,CAChC,SAAS,EAAE,gBAAgB,EAAE,EAC7B,WAAW,EAAE,SAAS,EAAE,EACxB,gBAAgB,EAAE,MAAM,EAAE,EAC1B,OAAO,GAAE,YAAwC,GAChD,YAAY,EAAE,CAiBhB"}

package/dist/formula/propositional.js

@@ -2,18 +2,44 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.buildPropositional = buildPropositional;
 const connectors_1 = require("./connectors");
+const helpers_1 = require("./helpers");
+/**
+ * Aplica reglas cuantitativas a un átomo base según el perfil lógico.
+ * Útil para extraer `Pr(X) = Y` o ecuaciones aritméticas desde el texto original.
+ */
+function applyQuantitativeExtraction(text, baseAtomStr, profile) {
+    if (profile === 'probabilistic.basic') {
+        const probMatch = text.match(/0\.\d+/);
+        const isPercentage = text.match(/(\d+(?:\.\d+)?)%/);
+        let pValue = probMatch ? probMatch[0] : null;
+        if (!pValue && isPercentage) {
+            pValue = (parseFloat(isPercentage[1]) / 100).toString();
+        }
+        if (pValue) {
+            return `(Pr(${baseAtomStr}) = ${pValue})`;
+        }
+    }
+    if (profile === 'arithmetic') {
+        // Busca patrones como "a + b = c" o "mod" y los pasa explícitamente a ST-lang en vez de usar átomos textuales
+        const mathMatch = text.match(/(\w+)\s*([\+\-\*\/]|mod)\s*(\w+)\s*=\s*(\w+)/);
+        if (mathMatch) {
+            return text; // Return the raw text equation!
+        }
+    }
+    return baseAtomStr;
+}
 /**
  * Construye fórmulas proposicionales para un conjunto de oraciones.
  * Cada oración se procesa según su tipo detectado.
  */
-function buildPropositional(sentences, atomEntries, detectedPatterns) {
+function buildPropositional(sentences, atomEntries, detectedPatterns, profile = 'classical.propositional') {
     const formulas = [];
     let labelCounter = 1;
     // Construir mapa global de cláusula-texto → atomId
     const globalClauseAtomMap = buildGlobalAtomMap(sentences, atomEntries);
     for (let sIdx = 0; sIdx < sentences.length; sIdx++) {
         const sentence = sentences[sIdx];
-        const builtFormulas = buildSentenceFormulas(sentence, atomEntries, globalClauseAtomMap, sIdx, labelCounter, detectedPatterns);
+        const builtFormulas = buildSentenceFormulas(sentence, atomEntries, globalClauseAtomMap, sIdx, labelCounter, detectedPatterns, profile);
         formulas.push(...builtFormulas);
         labelCounter += builtFormulas.length;
     }
@@ -55,17 +81,26 @@ function buildGlobalAtomMap(sentences, atomEntries) {
 /**
  * Construye fórmulas para una oración individual.
  */
-function buildSentenceFormulas(sentence, allAtoms, globalMap, sentenceIdx, labelStart, patterns) {
+function buildSentenceFormulas(sentence, allAtoms, globalMap, sentenceIdx, labelStart, patterns, profile) {
     const clauses = sentence.clauses;
     if (clauses.length === 0)
         return [];
+    const getStr = (clause) => {
+        let modTypes = clause?.modifiers ? clause.modifiers.map((m) => m.type) : [];
+        if (Array.isArray(clause) && typeof clause[0] === 'string')
+            modTypes = clause;
+        const text = typeof clause === 'string' ? clause : clause.text;
+        const isExplicitNeg = Array.isArray(clause);
+        const atomId = (0, helpers_1.resolveAtomId)(text, allAtoms, globalMap);
+        const modStr = (0, helpers_1.applyLogicalModifiers)(atomId, isExplicitNeg ? clause : modTypes, profile);
+        return applyQuantitativeExtraction(text, modStr, profile);
+    };
     const formulas = [];
     let label = labelStart;
     switch (sentence.type) {
         case 'conditional': {
             let conditionClauses = clauses.filter(c => c.role === 'condition');
             let consequentClauses = clauses.filter(c => c.role === 'consequent' || c.role === 'conclusion' || c.role === 'assertion');
-            // Fallback: si no hay cláusula explícita de condición, inferir por posición
             if (conditionClauses.length === 0 && clauses.length >= 2) {
                 const nonConsequent = clauses.filter(c => c.role !== 'consequent' && c.role !== 'conclusion');
                 if (nonConsequent.length > 0) {
@@ -73,12 +108,15 @@ function buildSentenceFormulas(sentence, allAtoms, globalMap, sentenceIdx, label
                     consequentClauses = clauses.filter(c => c !== nonConsequent[0]);
                 }
             }
+            if (conditionClauses.length > 0 && consequentClauses.length === 0) {
+                const nonConditions = clauses.filter(c => c.role !== 'condition');
+                if (nonConditions.length > 0) {
+                    consequentClauses = nonConditions;
+                }
+            }
             if (conditionClauses.length > 0 && consequentClauses.length > 0) {
-                const antecedent = resolveAtom(conditionClauses[0].text, globalMap, allAtoms);
-                const consequent = resolveAtom(consequentClauses[0].text, globalMap, allAtoms);
-                // Aplicar negación si hay modificadores
-                const antStr = applyModifiers(antecedent, conditionClauses[0].modifiers.map(m => m.type));
-                const consStr = applyModifiers(consequent, consequentClauses[0].modifiers.map(m => m.type));
+                const antStr = getStr(conditionClauses[0]);
+                const consStr = getStr(consequentClauses[0]);
                 formulas.push({
                     formula: `${antStr} ${connectors_1.ST_OPERATORS.implication} ${consStr}`,
                     stType: 'axiom',
@@ -87,15 +125,24 @@ function buildSentenceFormulas(sentence, allAtoms, globalMap, sentenceIdx, label
                     sourceSentence: sentenceIdx,
                     comment: `Condicional: "${sentence.original}"`,
                 });
+                const supplementalClauses = clauses.filter(clause => clause !== conditionClauses[0] && clause !== consequentClauses[0]);
+                for (const clause of supplementalClauses) {
+                    formulas.push({
+                        formula: getStr(clause),
+                        stType: clause.role === 'conclusion' ? 'derive' : 'axiom',
+                        label: `hecho_${++label}`,
+                        sourceText: clause.text,
+                        sourceSentence: sentenceIdx,
+                        comment: `Subcláusula condicional: "${clause.text}"`,
+                    });
+                }
             }
             break;
         }
         case 'biconditional': {
             if (clauses.length >= 2) {
-                const left = resolveAtom(clauses[0].text, globalMap, allAtoms);
-                const right = resolveAtom(clauses[1].text, globalMap, allAtoms);
                 formulas.push({
-                    formula: `${left} ${connectors_1.ST_OPERATORS.biconditional} ${right}`,
+                    formula: `${getStr(clauses[0])} ${connectors_1.ST_OPERATORS.biconditional} ${getStr(clauses[1])}`,
                     stType: 'axiom',
                     label: `bicond_${label}`,
                     sourceText: sentence.original,
@@ -106,11 +153,10 @@ function buildSentenceFormulas(sentence, allAtoms, globalMap, sentenceIdx, label
             break;
         }
         case 'conjunction': {
-            const atoms = clauses.map(c => resolveAtom(c.text, globalMap, allAtoms));
+            const atoms = clauses.map(c => getStr(c));
             if (atoms.length >= 2) {
-                const formula = atoms.join(` ${connectors_1.ST_OPERATORS.conjunction} `);
                 formulas.push({
-                    formula,
+                    formula: atoms.join(` ${connectors_1.ST_OPERATORS.conjunction} `),
                     stType: 'axiom',
                     label: `conj_${label}`,
                     sourceText: sentence.original,
@@ -131,11 +177,10 @@ function buildSentenceFormulas(sentence, allAtoms, globalMap, sentenceIdx, label
             break;
         }
         case 'disjunction': {
-            const atoms = clauses.map(c => resolveAtom(c.text, globalMap, allAtoms));
+            const atoms = clauses.map(c => getStr(c));
             if (atoms.length >= 2) {
-                const formula = atoms.join(` ${connectors_1.ST_OPERATORS.disjunction} `);
                 formulas.push({
-                    formula,
+                    formula: atoms.join(` ${connectors_1.ST_OPERATORS.disjunction} `),
                     stType: 'axiom',
                     label: `disj_${label}`,
                     sourceText: sentence.original,
@@ -147,9 +192,10 @@ function buildSentenceFormulas(sentence, allAtoms, globalMap, sentenceIdx, label
         }
         case 'negation': {
             if (clauses.length > 0) {
-                const atom = resolveAtom(clauses[0].text, globalMap, allAtoms);
+                const atomId = (0, helpers_1.resolveAtomId)(clauses[0].text, allAtoms, globalMap);
+                const modStr = (0, helpers_1.applyLogicalModifiers)(atomId, ['negation'], profile);
                 formulas.push({
-                    formula: `${connectors_1.ST_OPERATORS.negation}(${atom})`,
+                    formula: applyQuantitativeExtraction(clauses[0].text, modStr, profile),
                     stType: 'axiom',
                     label: `neg_${label}`,
                     sourceText: sentence.original,
@@ -160,28 +206,33 @@ function buildSentenceFormulas(sentence, allAtoms, globalMap, sentenceIdx, label
             break;
         }
         case 'complex': {
-            // Oraciones complejas con premisas y conclusiones explícitas
             const premiseClauses = clauses.filter(c => c.role === 'premise');
             const conclusionClauses = clauses.filter(c => c.role === 'conclusion');
-            // Generar axiomas para premisas
-            for (const pClause of premiseClauses) {
-                const atom = resolveAtom(pClause.text, globalMap, allAtoms);
-                const atomStr = applyModifiers(atom, pClause.modifiers.map(m => m.type));
+            if (premiseClauses.length > 0 && conclusionClauses.length > 0) {
+                const premiseAtoms = premiseClauses.map(pc => getStr(pc));
+                const conclusionStr = getStr(conclusionClauses[0]);
+                const antecedent = premiseAtoms.length === 1 ? premiseAtoms[0] : `(${premiseAtoms.join(` ${connectors_1.ST_OPERATORS.conjunction} `)})`;
                 formulas.push({
-                    formula: atomStr,
+                    formula: `${antecedent} ${connectors_1.ST_OPERATORS.implication} ${conclusionStr}`,
                     stType: 'axiom',
-                    label: `premisa_${label++}`,
-                    sourceText: pClause.text,
+                    label: `regla_${label++}`,
+                    sourceText: sentence.original,
                     sourceSentence: sentenceIdx,
-                    comment: `Premisa: "${pClause.text}"`,
+                    comment: `Causal: "${sentence.original}"`,
                 });
-            }
-            // Generar derivaciones para conclusiones
-            if (conclusionClauses.length > 0 && premiseClauses.length > 0) {
+                for (const pClause of premiseClauses) {
+                    formulas.push({
+                        formula: getStr(pClause),
+                        stType: 'axiom',
+                        label: `premisa_${label++}`,
+                        sourceText: pClause.text,
+                        sourceSentence: sentenceIdx,
+                        comment: `Premisa: "${pClause.text}"`,
+                    });
+                }
                 for (const cClause of conclusionClauses) {
-                    const atom = resolveAtom(cClause.text, globalMap, allAtoms);
                     formulas.push({
-                        formula: atom,
+                        formula: getStr(cClause),
                         stType: 'derive',
                         label: `conclusion_${label++}`,
                         sourceText: cClause.text,
@@ -190,23 +241,30 @@ function buildSentenceFormulas(sentence, allAtoms, globalMap, sentenceIdx, label
                     });
                 }
             }
+            else {
+                for (const pClause of premiseClauses) {
+                    formulas.push({
+                        formula: getStr(pClause),
+                        stType: 'axiom',
+                        label: `premisa_${label++}`,
+                        sourceText: pClause.text,
+                        sourceSentence: sentenceIdx,
+                        comment: `Premisa: "${pClause.text}"`,
+                    });
+                }
+            }
             break;
         }
         default: {
-            // Aserción simple o tipo no manejado arriba
             for (const clause of clauses) {
-                const atom = resolveAtom(clause.text, globalMap, allAtoms);
-                const atomStr = applyModifiers(atom, clause.modifiers.map(m => m.type));
                 const isConclusion = clause.role === 'conclusion';
                 formulas.push({
-                    formula: atomStr,
+                    formula: getStr(clause),
                     stType: isConclusion ? 'derive' : 'axiom',
                     label: isConclusion ? `conclusion_${label}` : `hecho_${label}`,
                     sourceText: clause.text,
                     sourceSentence: sentenceIdx,
-                    comment: isConclusion
-                        ? `Conclusión: "${clause.text}"`
-                        : `Hecho: "${clause.text}"`,
+                    comment: isConclusion ? `Conclusión: "${clause.text}"` : `Hecho: "${clause.text}"`,
                 });
                 label++;
             }
@@ -215,51 +273,4 @@ function buildSentenceFormulas(sentence, allAtoms, globalMap, sentenceIdx, label
     }
     return formulas;
 }
-/**
- * Resuelve el ID de átomo para un texto de cláusula.
- * Usa el mapa global, luego busca en todos los átomos.
- */
-function resolveAtom(clauseText, globalMap, allAtoms) {
-    // 1. Buscar en el mapa global (ya resuelto)
-    const fromMap = globalMap.get(clauseText);
-    if (fromMap)
-        return fromMap;
-    // 2. Match parcial en mapa global
-    for (const [text, id] of globalMap) {
-        if (clauseText.includes(text) || text.includes(clauseText)) {
-            return id;
-        }
-    }
-    // 3. Buscar en todos los átomos por texto
-    const atomMatch = allAtoms.find(a => a.text === clauseText || a.text.includes(clauseText) || clauseText.includes(a.text));
-    if (atomMatch)
-        return atomMatch.id;
-    // 4. Fallback: generar ID del texto
-    return clauseText
-        .normalize('NFD').replace(/[\u0300-\u036f]/g, '')
-        .replace(/[^a-zA-Z0-9\s]/g, '')
-        .replace(/\s+/g, '_')
-        .toUpperCase()
-        .slice(0, 30) || 'ATOM';
-}
-/**
- * Aplica modificadores lógicos a una fórmula atómica.
- */
-function applyModifiers(atomId, modifiers) {
-    let formula = atomId;
-    for (const mod of modifiers) {
-        switch (mod) {
-            case 'negation':
-                formula = `!(${formula})`;
-                break;
-            case 'necessity':
-                formula = `[](${formula})`;
-                break;
-            case 'possibility':
-                formula = `<>(${formula})`;
-                break;
-        }
-    }
-    return formula;
-}
 //# sourceMappingURL=propositional.js.map

package/dist/formula/propositional.js.map

@@ -1 +1 @@
-{"version":3,"file":"propositional.js","sourceRoot":"","sources":["../../src/formula/propositional.ts"],"names":[],"mappings":";;AAaA,gDAqBC;AA3BD,6CAA4C;AAE5C;;;GAGG;AACH,SAAgB,kBAAkB,CAChC,SAA6B,EAC7B,WAAwB,EACxB,gBAA0B;IAE1B,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,IAAI,YAAY,GAAG,CAAC,CAAC;IAErB,mDAAmD;IACnD,MAAM,mBAAmB,GAAG,kBAAkB,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IAEvE,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;QACnD,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QACjC,MAAM,aAAa,GAAG,qBAAqB,CACzC,QAAQ,EAAE,WAAW,EAAE,mBAAmB,EAAE,IAAI,EAAE,YAAY,EAAE,gBAAgB,CACjF,CAAC;QACF,QAAQ,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,CAAC;QAChC,YAAY,IAAI,aAAa,CAAC,MAAM,CAAC;IACvC,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;GAEG;AACH,SAAS,kBAAkB,CACzB,SAA6B,EAC7B,WAAwB;IAExB,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;IAEtC,qDAAqD;IACrD,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;YACtC,gCAAgC;YAChC,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC;YACjE,IAAI,UAAU,EAAE,CAAC;gBACf,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,CAAC,CAAC;YACtC,CAAC;iBAAM,CAAC;gBACN,uBAAuB;gBACvB,MAAM,YAAY,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CACxC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAC7D,CAAC;gBACF,IAAI,YAAY,EAAE,CAAC;oBACjB,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,EAAE,CAAC,CAAC;gBACxC,CAAC;qBAAM,CAAC;oBACN,uCAAuC;oBACvC,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC;oBACrE,IAAI,QAAQ,EAAE,CAAC;wBACb,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;oBACpC,CAAC;gBACH,CAAC;YACH,CAAC;YACD,SAAS,EAAE,CAAC;QACd,CAAC;IACH,CAAC;IAED,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;GAEG;AACH,SAAS,qBAAqB,CAC5B,QAA0B,EAC1B,QAAqB,EACrB,SAA8B,EAC9B,WAAmB,EACnB,UAAkB,EAClB,QAAkB;IAElB,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC;IACjC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAEpC,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,IAAI,KAAK,GAAG,UAAU,CAAC;IAEvB,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,IAAI,gBAAgB,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;YACnE,IAAI,iBAAiB,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CACzC,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAC7E,CAAC;YAEF,4EAA4E;YAC5E,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gBACzD,MAAM,aAAa,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CACvC,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,CACnD,CAAC;gBACF,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC7B,gBAAgB,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;oBACtC,iBAAiB,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;gBAClE,CAAC;YACH,CAAC;YAED,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAChE,MAAM,UAAU,GAAG,WAAW,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;gBAC9E,MAAM,UAAU,GAAG,WAAW,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;gBAE/E,wCAAwC;gBACxC,MAAM,MAAM,GAAG,cAAc,CAAC,UAAU,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;gBAC1F,MAAM,OAAO,GAAG,cAAc,CAAC,UAAU,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;gBAE5F,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,GAAG,MAAM,IAAI,yBAAY,CAAC,WAAW,IAAI,OAAO,EAAE;oBAC3D,MAAM,EAAE,OAAO;oBACf,KAAK,EAAE,SAAS,KAAK,EAAE;oBACvB,UAAU,EAAE,QAAQ,CAAC,QAAQ;oBAC7B,cAAc,EAAE,WAAW;oBAC3B,OAAO,EAAE,iBAAiB,QAAQ,CAAC,QAAQ,GAAG;iBAC/C,CAAC,CAAC;YACL,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,IAAI,OAAO,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gBACxB,MAAM,IAAI,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;gBAC/D,MAAM,KAAK,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;gBAChE,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,GAAG,IAAI,IAAI,yBAAY,CAAC,aAAa,IAAI,KAAK,EAAE;oBACzD,MAAM,EAAE,OAAO;oBACf,KAAK,EAAE,UAAU,KAAK,EAAE;oBACxB,UAAU,EAAE,QAAQ,CAAC,QAAQ;oBAC7B,cAAc,EAAE,WAAW;oBAC3B,OAAO,EAAE,mBAAmB,QAAQ,CAAC,QAAQ,GAAG;iBACjD,CAAC,CAAC;YACL,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAC;YACzE,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gBACtB,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,yBAAY,CAAC,WAAW,GAAG,CAAC,CAAC;gBAC5D,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO;oBACP,MAAM,EAAE,OAAO;oBACf,KAAK,EAAE,QAAQ,KAAK,EAAE;oBACtB,UAAU,EAAE,QAAQ,CAAC,QAAQ;oBAC7B,cAAc,EAAE,WAAW;oBAC3B,OAAO,EAAE,gBAAgB,QAAQ,CAAC,QAAQ,GAAG;iBAC9C,CAAC,CAAC;YACL,CAAC;iBAAM,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC9B,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;oBACjB,MAAM,EAAE,OAAO;oBACf,KAAK,EAAE,SAAS,KAAK,EAAE;oBACvB,UAAU,EAAE,QAAQ,CAAC,QAAQ;oBAC7B,cAAc,EAAE,WAAW;oBAC3B,OAAO,EAAE,WAAW,QAAQ,CAAC,QAAQ,GAAG;iBACzC,CAAC,CAAC;YACL,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAC;YACzE,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gBACtB,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,yBAAY,CAAC,WAAW,GAAG,CAAC,CAAC;gBAC5D,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO;oBACP,MAAM,EAAE,OAAO;oBACf,KAAK,EAAE,QAAQ,KAAK,EAAE;oBACtB,UAAU,EAAE,QAAQ,CAAC,QAAQ;oBAC7B,cAAc,EAAE,WAAW;oBAC3B,OAAO,EAAE,gBAAgB,QAAQ,CAAC,QAAQ,GAAG;iBAC9C,CAAC,CAAC;YACL,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACvB,MAAM,IAAI,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;gBAC/D,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,GAAG,yBAAY,CAAC,QAAQ,IAAI,IAAI,GAAG;oBAC5C,MAAM,EAAE,OAAO;oBACf,KAAK,EAAE,OAAO,KAAK,EAAE;oBACrB,UAAU,EAAE,QAAQ,CAAC,QAAQ;oBAC7B,cAAc,EAAE,WAAW;oBAC3B,OAAO,EAAE,cAAc,QAAQ,CAAC,QAAQ,GAAG;iBAC5C,CAAC,CAAC;YACL,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,6DAA6D;YAC7D,MAAM,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YACjE,MAAM,iBAAiB,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;YAEvE,gCAAgC;YAChC,KAAK,MAAM,OAAO,IAAI,cAAc,EAAE,CAAC;gBACrC,MAAM,IAAI,GAAG,WAAW,CAAC,OAAO,CAAC,IAAI,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;gBAC5D,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;gBACzE,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,OAAO;oBAChB,MAAM,EAAE,OAAO;oBACf,KAAK,EAAE,WAAW,KAAK,EAAE,EAAE;oBAC3B,UAAU,EAAE,OAAO,CAAC,IAAI;oBACxB,cAAc,EAAE,WAAW;oBAC3B,OAAO,EAAE,aAAa,OAAO,CAAC,IAAI,GAAG;iBACtC,CAAC,CAAC;YACL,CAAC;YAED,yCAAyC;YACzC,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC9D,KAAK,MAAM,OAAO,IAAI,iBAAiB,EAAE,CAAC;oBACxC,MAAM,IAAI,GAAG,WAAW,CAAC,OAAO,CAAC,IAAI,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;oBAC5D,QAAQ,CAAC,IAAI,CAAC;wBACZ,OAAO,EAAE,IAAI;wBACb,MAAM,EAAE,QAAQ;wBAChB,KAAK,EAAE,cAAc,KAAK,EAAE,EAAE;wBAC9B,UAAU,EAAE,OAAO,CAAC,IAAI;wBACxB,cAAc,EAAE,WAAW;wBAC3B,OAAO,EAAE,gBAAgB,OAAO,CAAC,IAAI,GAAG;qBACzC,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YACD,MAAM;QACR,CAAC;QAED,OAAO,CAAC,CAAC,CAAC;YACR,4CAA4C;YAC5C,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;gBAC7B,MAAM,IAAI,GAAG,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;gBAC3D,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,EAAE,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;gBAExE,MAAM,YAAY,GAAG,MAAM,CAAC,IAAI,KAAK,YAAY,CAAC;gBAElD,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,OAAO;oBAChB,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO;oBACzC,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,cAAc,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,EAAE;oBAC9D,UAAU,EAAE,MAAM,CAAC,IAAI;oBACvB,cAAc,EAAE,WAAW;oBAC3B,OAAO,EAAE,YAAY;wBACnB,CAAC,CAAC,gBAAgB,MAAM,CAAC,IAAI,GAAG;wBAChC,CAAC,CAAC,WAAW,MAAM,CAAC,IAAI,GAAG;iBAC9B,CAAC,CAAC;gBACH,KAAK,EAAE,CAAC;YACV,CAAC;YACD,MAAM;QACR,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;GAGG;AACH,SAAS,WAAW,CAClB,UAAkB,EAClB,SAA8B,EAC9B,QAAqB;IAErB,4CAA4C;IAC5C,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAC1C,IAAI,OAAO;QAAE,OAAO,OAAO,CAAC;IAE5B,kCAAkC;IAClC,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,SAAS,EAAE,CAAC;QACnC,IAAI,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;YAC3D,OAAO,EAAE,CAAC;QACZ,CAAC;IACH,CAAC;IAED,0CAA0C;IAC1C,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAClC,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CACpF,CAAC;IACF,IAAI,SAAS;QAAE,OAAO,SAAS,CAAC,EAAE,CAAC;IAEnC,oCAAoC;IACpC,OAAO,UAAU;SACd,SAAS,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,kBAAkB,EAAE,EAAE,CAAC;SAChD,OAAO,CAAC,iBAAiB,EAAE,EAAE,CAAC;SAC9B,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC;SACpB,WAAW,EAAE;SACb,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC;AAC5B,CAAC;AAED;;GAEG;AACH,SAAS,cAAc,CAAC,MAAc,EAAE,SAAmB;IACzD,IAAI,OAAO,GAAG,MAAM,CAAC;IACrB,KAAK,MAAM,GAAG,IAAI,SAAS,EAAE,CAAC;QAC5B,QAAQ,GAAG,EAAE,CAAC;YACZ,KAAK,UAAU;gBACb,OAAO,GAAG,KAAK,OAAO,GAAG,CAAC;gBAC1B,MAAM;YACR,KAAK,WAAW;gBACd,OAAO,GAAG,MAAM,OAAO,GAAG,CAAC;gBAC3B,MAAM;YACR,KAAK,aAAa;gBAChB,OAAO,GAAG,MAAM,OAAO,GAAG,CAAC;gBAC3B,MAAM;QACV,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC"}
+{"version":3,"file":"propositional.js","sourceRoot":"","sources":["../../src/formula/propositional.ts"],"names":[],"mappings":";;AA0CA,gDAsBC;AAzDD,6CAA4C;AAC5C,uCAAiE;AAEjE;;;GAGG;AACH,SAAS,2BAA2B,CAAC,IAAY,EAAE,WAAmB,EAAE,OAAqB;IAC3F,IAAI,OAAO,KAAK,qBAAqB,EAAE,CAAC;QACtC,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACvC,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;QACpD,IAAI,MAAM,GAAG,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC7C,IAAI,CAAC,MAAM,IAAI,YAAY,EAAE,CAAC;YAC5B,MAAM,GAAG,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC1D,CAAC;QACD,IAAI,MAAM,EAAE,CAAC;YACX,OAAO,OAAO,WAAW,OAAO,MAAM,GAAG,CAAC;QAC5C,CAAC;IACH,CAAC;IAED,IAAI,OAAO,KAAK,YAAY,EAAE,CAAC;QAC7B,8GAA8G;QAC9G,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,8CAA8C,CAAC,CAAC;QAC7E,IAAI,SAAS,EAAE,CAAC;YACb,OAAO,IAAI,CAAC,CAAC,gCAAgC;QAChD,CAAC;IACH,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC;AAED;;;GAGG;AACH,SAAgB,kBAAkB,CAChC,SAA6B,EAC7B,WAAwB,EACxB,gBAA0B,EAC1B,UAAwB,yBAAyB;IAEjD,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,IAAI,YAAY,GAAG,CAAC,CAAC;IAErB,mDAAmD;IACnD,MAAM,mBAAmB,GAAG,kBAAkB,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IAEvE,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;QACnD,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QACjC,MAAM,aAAa,GAAG,qBAAqB,CACzC,QAAQ,EAAE,WAAW,EAAE,mBAAmB,EAAE,IAAI,EAAE,YAAY,EAAE,gBAAgB,EAAE,OAAO,CAC1F,CAAC;QACF,QAAQ,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,CAAC;QAChC,YAAY,IAAI,aAAa,CAAC,MAAM,CAAC;IACvC,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;GAEG;AACH,SAAS,kBAAkB,CACzB,SAA6B,EAC7B,WAAwB;IAExB,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;IAEtC,qDAAqD;IACrD,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;YACtC,gCAAgC;YAChC,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC;YACjE,IAAI,UAAU,EAAE,CAAC;gBACf,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,CAAC,CAAC;YACtC,CAAC;iBAAM,CAAC;gBACN,uBAAuB;gBACvB,MAAM,YAAY,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CACxC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAC7D,CAAC;gBACF,IAAI,YAAY,EAAE,CAAC;oBACjB,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,EAAE,CAAC,CAAC;gBACxC,CAAC;qBAAM,CAAC;oBACN,uCAAuC;oBACvC,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC;oBACrE,IAAI,QAAQ,EAAE,CAAC;wBACb,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;oBACpC,CAAC;gBACH,CAAC;YACH,CAAC;YACD,SAAS,EAAE,CAAC;QACd,CAAC;IACH,CAAC;IAED,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;GAEG;AACH,SAAS,qBAAqB,CAC5B,QAA0B,EAC1B,QAAqB,EACrB,SAA8B,EAC9B,WAAmB,EACnB,UAAkB,EAClB,QAAkB,EAClB,OAAqB;IAErB,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC;IACjC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAEpC,MAAM,MAAM,GAAG,CAAC,MAAW,EAAE,EAAE;QAC7B,IAAI,QAAQ,GAAG,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACjF,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,OAAO,MAAM,CAAC,CAAC,CAAC,KAAK,QAAQ;YAAE,QAAQ,GAAG,MAAM,CAAC;QAC9E,MAAM,IAAI,GAAG,OAAO,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;QAC/D,MAAM,aAAa,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC5C,MAAM,MAAM,GAAG,IAAA,uBAAa,EAAC,IAAI,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QACxD,MAAM,MAAM,GAAG,IAAA,+BAAqB,EAAC,MAAM,EAAE,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QACzF,OAAO,2BAA2B,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IAC5D,CAAC,CAAC;IAEF,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,IAAI,KAAK,GAAG,UAAU,CAAC;IAEvB,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,IAAI,gBAAgB,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;YACnE,IAAI,iBAAiB,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;YAE1H,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gBACzD,MAAM,aAAa,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;gBAC9F,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC7B,gBAAgB,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;oBACtC,iBAAiB,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;gBAClE,CAAC;YACH,CAAC;YAED,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAClE,MAAM,aAAa,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;gBAClE,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC7B,iBAAiB,GAAG,aAAa,CAAC;gBACpC,CAAC;YACH,CAAC;YAED,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAChE,MAAM,MAAM,GAAG,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC3C,MAAM,OAAO,GAAG,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC;gBAE7C,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,GAAG,MAAM,IAAI,yBAAY,CAAC,WAAW,IAAI,OAAO,EAAE;oBAC3D,MAAM,EAAE,OAAO;oBACf,KAAK,EAAE,SAAS,KAAK,EAAE;oBACvB,UAAU,EAAE,QAAQ,CAAC,QAAQ;oBAC7B,cAAc,EAAE,WAAW;oBAC3B,OAAO,EAAE,iBAAiB,QAAQ,CAAC,QAAQ,GAAG;iBAC/C,CAAC,CAAC;gBAEH,MAAM,mBAAmB,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,KAAK,gBAAgB,CAAC,CAAC,CAAC,IAAI,MAAM,KAAK,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC;gBAExH,KAAK,MAAM,MAAM,IAAI,mBAAmB,EAAE,CAAC;oBACzC,QAAQ,CAAC,IAAI,CAAC;wBACZ,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC;wBACvB,MAAM,EAAE,MAAM,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO;wBACzD,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE;wBACzB,UAAU,EAAE,MAAM,CAAC,IAAI;wBACvB,cAAc,EAAE,WAAW;wBAC3B,OAAO,EAAE,6BAA6B,MAAM,CAAC,IAAI,GAAG;qBACrD,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,IAAI,OAAO,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gBACxB,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,yBAAY,CAAC,aAAa,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE;oBACpF,MAAM,EAAE,OAAO;oBACf,KAAK,EAAE,UAAU,KAAK,EAAE;oBACxB,UAAU,EAAE,QAAQ,CAAC,QAAQ;oBAC7B,cAAc,EAAE,WAAW;oBAC3B,OAAO,EAAE,mBAAmB,QAAQ,CAAC,QAAQ,GAAG;iBACjD,CAAC,CAAC;YACL,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1C,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gBACtB,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,yBAAY,CAAC,WAAW,GAAG,CAAC;oBACpD,MAAM,EAAE,OAAO;oBACf,KAAK,EAAE,QAAQ,KAAK,EAAE;oBACtB,UAAU,EAAE,QAAQ,CAAC,QAAQ;oBAC7B,cAAc,EAAE,WAAW;oBAC3B,OAAO,EAAE,gBAAgB,QAAQ,CAAC,QAAQ,GAAG;iBAC9C,CAAC,CAAC;YACL,CAAC;iBAAM,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC9B,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;oBACjB,MAAM,EAAE,OAAO;oBACf,KAAK,EAAE,SAAS,KAAK,EAAE;oBACvB,UAAU,EAAE,QAAQ,CAAC,QAAQ;oBAC7B,cAAc,EAAE,WAAW;oBAC3B,OAAO,EAAE,WAAW,QAAQ,CAAC,QAAQ,GAAG;iBACzC,CAAC,CAAC;YACL,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1C,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gBACtB,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,yBAAY,CAAC,WAAW,GAAG,CAAC;oBACpD,MAAM,EAAE,OAAO;oBACf,KAAK,EAAE,QAAQ,KAAK,EAAE;oBACtB,UAAU,EAAE,QAAQ,CAAC,QAAQ;oBAC7B,cAAc,EAAE,WAAW;oBAC3B,OAAO,EAAE,gBAAgB,QAAQ,CAAC,QAAQ,GAAG;iBAC9C,CAAC,CAAC;YACL,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACvB,MAAM,MAAM,GAAG,IAAA,uBAAa,EAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;gBACnE,MAAM,MAAM,GAAG,IAAA,+BAAqB,EAAC,MAAM,EAAE,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC,CAAC;gBACpE,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,2BAA2B,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC;oBACtE,MAAM,EAAE,OAAO;oBACf,KAAK,EAAE,OAAO,KAAK,EAAE;oBACrB,UAAU,EAAE,QAAQ,CAAC,QAAQ;oBAC7B,cAAc,EAAE,WAAW;oBAC3B,OAAO,EAAE,cAAc,QAAQ,CAAC,QAAQ,GAAG;iBAC5C,CAAC,CAAC;YACL,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YACjE,MAAM,iBAAiB,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;YAEvE,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC9D,MAAM,YAAY,GAAG,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;gBAC1D,MAAM,aAAa,GAAG,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC;gBAEnD,MAAM,UAAU,GAAG,YAAY,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,yBAAY,CAAC,WAAW,GAAG,CAAC,GAAG,CAAC;gBAE3H,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,GAAG,UAAU,IAAI,yBAAY,CAAC,WAAW,IAAI,aAAa,EAAE;oBACrE,MAAM,EAAE,OAAO;oBACf,KAAK,EAAE,SAAS,KAAK,EAAE,EAAE;oBACzB,UAAU,EAAE,QAAQ,CAAC,QAAQ;oBAC7B,cAAc,EAAE,WAAW;oBAC3B,OAAO,EAAE,YAAY,QAAQ,CAAC,QAAQ,GAAG;iBAC1C,CAAC,CAAC;gBAEH,KAAK,MAAM,OAAO,IAAI,cAAc,EAAE,CAAC;oBACrC,QAAQ,CAAC,IAAI,CAAC;wBACZ,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC;wBACxB,MAAM,EAAE,OAAO;wBACf,KAAK,EAAE,WAAW,KAAK,EAAE,EAAE;wBAC3B,UAAU,EAAE,OAAO,CAAC,IAAI;wBACxB,cAAc,EAAE,WAAW;wBAC3B,OAAO,EAAE,aAAa,OAAO,CAAC,IAAI,GAAG;qBACtC,CAAC,CAAC;gBACL,CAAC;gBAED,KAAK,MAAM,OAAO,IAAI,iBAAiB,EAAE,CAAC;oBACxC,QAAQ,CAAC,IAAI,CAAC;wBACZ,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC;wBACxB,MAAM,EAAE,QAAQ;wBAChB,KAAK,EAAE,cAAc,KAAK,EAAE,EAAE;wBAC9B,UAAU,EAAE,OAAO,CAAC,IAAI;wBACxB,cAAc,EAAE,WAAW;wBAC3B,OAAO,EAAE,gBAAgB,OAAO,CAAC,IAAI,GAAG;qBACzC,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,KAAK,MAAM,OAAO,IAAI,cAAc,EAAE,CAAC;oBACrC,QAAQ,CAAC,IAAI,CAAC;wBACZ,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC;wBACxB,MAAM,EAAE,OAAO;wBACf,KAAK,EAAE,WAAW,KAAK,EAAE,EAAE;wBAC3B,UAAU,EAAE,OAAO,CAAC,IAAI;wBACxB,cAAc,EAAE,WAAW;wBAC3B,OAAO,EAAE,aAAa,OAAO,CAAC,IAAI,GAAG;qBACtC,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YACD,MAAM;QACR,CAAC;QAED,OAAO,CAAC,CAAC,CAAC;YACR,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;gBAC7B,MAAM,YAAY,GAAG,MAAM,CAAC,IAAI,KAAK,YAAY,CAAC;gBAClD,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC;oBACvB,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO;oBACzC,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,cAAc,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,EAAE;oBAC9D,UAAU,EAAE,MAAM,CAAC,IAAI;oBACvB,cAAc,EAAE,WAAW;oBAC3B,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC,gBAAgB,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,WAAW,MAAM,CAAC,IAAI,GAAG;iBACnF,CAAC,CAAC;gBACH,KAAK,EAAE,CAAC;YACV,CAAC;YACD,MAAM;QACR,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/formula/temporal.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"temporal.d.ts","sourceRoot":"","sources":["../../src/formula/temporal.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,KAAK,EAAE,gBAAgB,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AAG1E;;GAEG;AACH,wBAAgB,aAAa,CAC3B,SAAS,EAAE,gBAAgB,EAAE,EAC7B,WAAW,EAAE,SAAS,EAAE,GACvB,YAAY,EAAE,CAYhB"}
+{"version":3,"file":"temporal.d.ts","sourceRoot":"","sources":["../../src/formula/temporal.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,KAAK,EAAE,gBAAgB,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AAS1E;;GAEG;AACH,wBAAgB,aAAa,CAC3B,SAAS,EAAE,gBAAgB,EAAE,EAC7B,WAAW,EAAE,SAAS,EAAE,GACvB,YAAY,EAAE,CAYhB"}

package/dist/formula/temporal.js

@@ -2,6 +2,7 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.buildTemporal = buildTemporal;
 const connectors_1 = require("./connectors");
+const helpers_1 = require("./helpers");
 /**
  * Construye fórmulas temporales LTL.
  */
@@ -25,110 +26,134 @@ function buildTemporalSentence(sentence, allAtoms, sentenceIdx, labelStart) {
     const hasUntil = clauses.some(c => c.modifiers.some(m => m.type === 'temporal_until'));
     const hasAlways = clauses.some(c => c.modifiers.some(m => m.type === 'temporal_always'));
     const hasEventually = clauses.some(c => c.modifiers.some(m => m.type === 'temporal_eventually'));
-    if (sentence.type === 'conditional' && hasNext) {
-        // "Después de A, B" → A -> next B
-        const condClauses = clauses.filter(c => c.role === 'condition' || c.role === 'premise');
-        const consClauses = clauses.filter(c => c.role === 'consequent' || c.role === 'conclusion' || c.role === 'assertion');
+    if (sentence.type === 'conditional') {
+        // Temporal condicional general: preservar wrappers sobre la implicación completa.
+        let condClauses = clauses.filter(c => c.role === 'condition' || c.role === 'premise');
+        let consClauses = clauses.filter(c => c.role === 'consequent' || c.role === 'conclusion' || c.role === 'assertion');
+        if (condClauses.length === 0 && clauses.length >= 2) {
+            condClauses = [clauses[0]];
+            consClauses = [clauses[1]];
+        }
         if (condClauses.length > 0 && consClauses.length > 0) {
-            const ant = findAtom(condClauses[0].text, allAtoms);
-            const cons = findAtom(consClauses[0].text, allAtoms);
-            if (ant && cons) {
+            const ant = (0, helpers_1.resolveAtomId)(condClauses[0].text, allAtoms);
+            const cons = (0, helpers_1.resolveAtomId)(consClauses[0].text, allAtoms);
+            const implication = `${(0, helpers_1.applyLogicalModifiers)(ant, (0, helpers_1.stripModifierFamily)(condClauses[0].modifiers, 'temporal'), 'temporal.ltl')} -> ${(0, helpers_1.applyLogicalModifiers)(cons, consClauses[0].modifiers.map((modifier) => modifier.type), 'temporal.ltl')}`;
+            formulas.push({
+                formula: (0, helpers_1.applyLogicalModifiers)(implication, (0, helpers_1.pickLeadingSentenceModifiers)(clauses[0].modifiers, 'temporal'), 'temporal.ltl'),
+                stType: 'axiom',
+                label: `a${label++}`,
+                sourceText: sentence.original,
+                sourceSentence: sentenceIdx,
+                comment: `Temporal: "${sentence.original}"`,
+            });
+            const supplementalClauses = clauses.filter(clause => clause !== condClauses[0] && clause !== consClauses[0]);
+            for (const clause of supplementalClauses) {
+                const atom = (0, helpers_1.resolveAtomId)(clause.text, allAtoms);
                 formulas.push({
-                    formula: `${ant.id} -> ${connectors_1.ST_OPERATORS.temporal_next} ${cons.id}`,
-                    stType: 'axiom',
+                    formula: (0, helpers_1.applyLogicalModifiers)(atom, sanitizeStandaloneTemporalModifiers(clause.modifiers.map((modifier) => modifier.type)), 'temporal.ltl'),
+                    stType: clause.role === 'conclusion' ? 'derive' : 'axiom',
                     label: `a${label++}`,
-                    sourceText: sentence.original,
+                    sourceText: clause.text,
                     sourceSentence: sentenceIdx,
-                    comment: `Temporal next: "${sentence.original}"`,
+                    comment: `Subcláusula temporal: "${clause.text}"`,
                 });
             }
         }
     }
     else if (hasUntil && clauses.length >= 2) {
         // "A hasta que B" → A until B
-        const atomsList = clauses.map(c => findAtom(c.text, allAtoms)).filter(Boolean);
+        const atomsList = clauses.map(c => (0, helpers_1.resolveAtomId)(c.text, allAtoms));
         if (atomsList.length >= 2) {
             formulas.push({
-                formula: `${atomsList[0].id} ${connectors_1.ST_OPERATORS.temporal_until} ${atomsList[1].id}`,
+                formula: `${(0, helpers_1.applyLogicalModifiers)(atomsList[0], (0, helpers_1.stripModifierFamily)(clauses[0].modifiers, 'temporal'), 'temporal.ltl')} ${connectors_1.ST_OPERATORS.temporal_until} ${(0, helpers_1.applyLogicalModifiers)(atomsList[1], (0, helpers_1.stripModifierFamily)(clauses[1].modifiers, 'temporal'), 'temporal.ltl')}`,
                 stType: 'axiom',
                 label: `a${label++}`,
                 sourceText: sentence.original,
                 sourceSentence: sentenceIdx,
                 comment: `Temporal until: "${sentence.original}"`,
             });
-        }
-    }
-    else if (hasAlways) {
-        // "Siempre A" → always A
-        for (const clause of clauses) {
-            const atom = findAtom(clause.text, allAtoms);
-            if (atom) {
+            for (let clauseIndex = 2; clauseIndex < clauses.length; clauseIndex++) {
+                const clause = clauses[clauseIndex];
+                const atom = (0, helpers_1.resolveAtomId)(clause.text, allAtoms);
                 formulas.push({
-                    formula: `${connectors_1.ST_OPERATORS.temporal_always} ${atom.id}`,
-                    stType: 'axiom',
+                    formula: (0, helpers_1.applyLogicalModifiers)(atom, sanitizeStandaloneTemporalModifiers(clause.modifiers.map((modifier) => modifier.type)), 'temporal.ltl'),
+                    stType: clause.role === 'conclusion' ? 'derive' : 'axiom',
                     label: `a${label++}`,
                     sourceText: clause.text,
                     sourceSentence: sentenceIdx,
-                    comment: `Temporal always: "${clause.text}"`,
+                    comment: `Subcláusula temporal: "${clause.text}"`,
                 });
             }
         }
     }
+    else if (hasAlways) {
+        // "Siempre A" → G(A)
+        for (const clause of clauses) {
+            const atom = (0, helpers_1.resolveAtomId)(clause.text, allAtoms);
+            formulas.push({
+                formula: (0, helpers_1.applyLogicalModifiers)(atom, clause.modifiers.map((modifier) => modifier.type), 'temporal.ltl'),
+                stType: 'axiom',
+                label: `a${label++}`,
+                sourceText: clause.text,
+                sourceSentence: sentenceIdx,
+                comment: `Temporal always: "${clause.text}"`,
+            });
+        }
+    }
     else if (hasEventually) {
-        // "Eventualmente A" → eventually A
+        // "Eventualmente A" → F(A)
         for (const clause of clauses) {
-            const atom = findAtom(clause.text, allAtoms);
-            if (atom) {
-                formulas.push({
-                    formula: `${connectors_1.ST_OPERATORS.temporal_eventually} ${atom.id}`,
-                    stType: 'axiom',
-                    label: `a${label++}`,
-                    sourceText: clause.text,
-                    sourceSentence: sentenceIdx,
-                    comment: `Temporal eventually: "${clause.text}"`,
-                });
-            }
+            const atom = (0, helpers_1.resolveAtomId)(clause.text, allAtoms);
+            formulas.push({
+                formula: (0, helpers_1.applyLogicalModifiers)(atom, clause.modifiers.map((modifier) => modifier.type), 'temporal.ltl'),
+                stType: 'axiom',
+                label: `a${label++}`,
+                sourceText: clause.text,
+                sourceSentence: sentenceIdx,
+                comment: `Temporal eventually: "${clause.text}"`,
+            });
         }
     }
     else {
         // Temporal genérico: tratar como condicional con next
-        if (sentence.type === 'conditional' || clauses.length >= 2) {
-            const condClauses = clauses.filter(c => c.role === 'condition' || c.role === 'premise');
-            const restClauses = clauses.filter(c => c.role !== 'condition' && c.role !== 'premise');
+        if (clauses.length >= 2) {
+            let condClauses = clauses.filter(c => c.role === 'condition' || c.role === 'premise');
+            let restClauses = clauses.filter(c => c.role !== 'condition' && c.role !== 'premise');
+            if (condClauses.length === 0) {
+                condClauses = [clauses[0]];
+                restClauses = clauses.slice(1);
+            }
             if (condClauses.length > 0 && restClauses.length > 0) {
-                const ant = findAtom(condClauses[0].text, allAtoms);
-                const cons = findAtom(restClauses[0].text, allAtoms);
-                if (ant && cons) {
-                    formulas.push({
-                        formula: `${ant.id} -> ${connectors_1.ST_OPERATORS.temporal_next} ${cons.id}`,
-                        stType: 'axiom',
-                        label: `a${label++}`,
-                        sourceText: sentence.original,
-                        sourceSentence: sentenceIdx,
-                        comment: `Temporal: "${sentence.original}"`,
-                    });
-                }
+                const ant = (0, helpers_1.resolveAtomId)(condClauses[0].text, allAtoms);
+                const cons = (0, helpers_1.resolveAtomId)(restClauses[0].text, allAtoms);
+                const implication = `${(0, helpers_1.applyLogicalModifiers)(ant, (0, helpers_1.stripModifierFamily)(condClauses[0].modifiers, 'temporal'), 'temporal.ltl')} -> ${(0, helpers_1.applyLogicalModifiers)(cons, ['temporal_next', ...restClauses[0].modifiers.map((modifier) => modifier.type)], 'temporal.ltl')}`;
+                formulas.push({
+                    formula: (0, helpers_1.applyLogicalModifiers)(implication, (0, helpers_1.pickLeadingSentenceModifiers)(clauses[0].modifiers, 'temporal'), 'temporal.ltl'),
+                    stType: 'axiom',
+                    label: `a${label++}`,
+                    sourceText: sentence.original,
+                    sourceSentence: sentenceIdx,
+                    comment: `Temporal: "${sentence.original}"`,
+                });
             }
         }
         else {
             // Aserción temporal simple
             for (const clause of clauses) {
-                const atom = findAtom(clause.text, allAtoms);
-                if (atom) {
-                    formulas.push({
-                        formula: atom.id,
-                        stType: 'axiom',
-                        label: `a${label++}`,
-                        sourceText: clause.text,
-                        sourceSentence: sentenceIdx,
-                    });
-                }
+                const atom = (0, helpers_1.resolveAtomId)(clause.text, allAtoms);
+                formulas.push({
+                    formula: (0, helpers_1.applyLogicalModifiers)(atom, clause.modifiers.map((modifier) => modifier.type), 'temporal.ltl'),
+                    stType: 'axiom',
+                    label: `a${label++}`,
+                    sourceText: clause.text,
+                    sourceSentence: sentenceIdx,
+                });
             }
         }
     }
     return formulas;
 }
-function findAtom(text, allAtoms) {
-    return allAtoms.find(a => a.text === text || a.text.includes(text) || text.includes(a.text)) || null;
+function sanitizeStandaloneTemporalModifiers(modifiers) {
+    return modifiers.filter((modifier) => modifier !== 'temporal_until');
 }
 //# sourceMappingURL=temporal.js.map