@stevenvo780/autologic 2.0.1 → 2.2.0

package/dist/formula/first-order.js

@@ -40,7 +40,7 @@ function buildFOSentence(sentence, allAtoms, sentenceIdx, labelStart) {
     const clauses = sentence.clauses;
     let label = labelStart;
     // Detectar cuantificación universal
-    const hasUniversal = clauses.some(c => c.modifiers.some(m => m.type === 'universal'));
+    const hasUniversal = clauses.some(c => c.modifiers.some(m => m.type === 'universal' || (m.type === 'negation' && m.text.toLowerCase().startsWith('ning'))));
     const hasExistential = clauses.some(c => c.modifiers.some(m => m.type === 'existential'));
     if (hasUniversal && sentence.type === 'conditional') {
         // "Todo X es Y" → forall x (X(x) -> Y(x))
@@ -68,9 +68,35 @@ function buildFOSentence(sentence, allAtoms, sentenceIdx, labelStart) {
             if (atoms.length > 0) {
                 const atom = atoms[0];
                 const pred = atom.predicate || atom.id;
-                const variable = atom.terms?.[0] || 'x';
+                let variable = atom.terms?.[0] || 'x';
+                let formula = '';
+                // Remove quantifiers from variable name if present
+                variable = variable.replace(/^(todo|toda|cada|ningun|ninguna|algun|alguna|el|la|los|las)_/i, '');
+                if (variable.length > 1) {
+                    // It's a domain/class, e.g., "archivero_juramentado"
+                    // We convert it to a predicate: ArchiveroJuramentado(x)
+                    const domainPred = variable.split('_').map(w => w.charAt(0).toUpperCase() + w.slice(1)).join('');
+                    const varName = 'x';
+                    if (clause.modifiers.some(m => m.type === 'negation') || clause.text.toLowerCase().includes('ningún') || clause.text.toLowerCase().includes('ninguna')) {
+                        // Universal negation: forall x (S(x) -> !P(x))
+                        formula = `forall ${varName} (${formatPredicate(domainPred, varName)} ${connectors_1.ST_OPERATORS.implication} !(${formatPredicate(pred, varName)}))`;
+                    }
+                    else {
+                        // Universal affirmative: forall x (S(x) -> P(x))
+                        formula = `forall ${varName} (${formatPredicate(domainPred, varName)} ${connectors_1.ST_OPERATORS.implication} ${formatPredicate(pred, varName)})`;
+                    }
+                }
+                else {
+                    // Standard: forall x P(x)
+                    if (clause.modifiers.some(m => m.type === 'negation')) {
+                        formula = `forall ${variable} !(${formatPredicate(pred, variable)})`;
+                    }
+                    else {
+                        formula = `forall ${variable} ${formatPredicate(pred, variable)}`;
+                    }
+                }
                 formulas.push({
-                    formula: `forall ${variable} ${formatPredicate(pred, variable)}`,
+                    formula,
                     stType: 'axiom',
                     label: `a${label++}`,
                     sourceText: clause.text,
@@ -81,15 +107,50 @@ function buildFOSentence(sentence, allAtoms, sentenceIdx, labelStart) {
         }
     }
     else if (hasExistential) {
-        // "Existe X tal que Y"
+        // "Existe X tal que Y" → exists x (S(x) & P(x))
         for (const clause of clauses) {
             const atoms = getAtomsForClause(clause.text, allAtoms);
             if (atoms.length > 0) {
                 const atom = atoms[0];
                 const pred = atom.predicate || atom.id;
-                const variable = atom.terms?.[0] || 'x';
+                let variable = atom.terms?.[0] || 'x';
+                let formula = '';
+                // Remove quantifiers from variable name if present
+                variable = variable.replace(/^(todo|toda|cada|ningun|ninguna|algun|alguna|algunos|el|la|los|las)_/i, '');
+                const lowerClause = clause.text.toLowerCase();
+                // 1.1 Combinatorial Macros
+                if (lowerClause.includes('exactamente un') || lowerClause.includes('unico ') || lowerClause.includes('único ')) {
+                    // Exactly one
+                    formula = `exists x (${formatPredicate(pred, 'x')} & forall y (${formatPredicate(pred, 'y')} -> x=y))`;
+                }
+                else if (lowerClause.includes('exactamente dos')) {
+                    // Exactly two
+                    formula = `exists x, y (${formatPredicate(pred, 'x')} & ${formatPredicate(pred, 'y')} & x!=y & forall z (${formatPredicate(pred, 'z')} -> (z=x | z=y)))`;
+                }
+                else {
+                    // Normal Existential
+                    if (variable.length > 1) {
+                        // Subject is a class
+                        const domainPred = variable.split('_').map((w) => w.charAt(0).toUpperCase() + w.slice(1)).join('');
+                        const varName = 'x';
+                        if (clause.modifiers.some(m => m.type === 'negation')) {
+                            formula = `exists ${varName} (${formatPredicate(domainPred, varName)} & !(${formatPredicate(pred, varName)}))`;
+                        }
+                        else {
+                            formula = `exists ${varName} (${formatPredicate(domainPred, varName)} & ${formatPredicate(pred, varName)})`;
+                        }
+                    }
+                    else {
+                        if (clause.modifiers.some(m => m.type === 'negation')) {
+                            formula = `exists ${variable} !(${formatPredicate(pred, variable)})`;
+                        }
+                        else {
+                            formula = `exists ${variable} ${formatPredicate(pred, variable)}`;
+                        }
+                    }
+                }
                 formulas.push({
-                    formula: `exists ${variable} ${formatPredicate(pred, variable)}`,
+                    formula,
                     stType: 'axiom',
                     label: `a${label++}`,
                     sourceText: clause.text,
@@ -136,7 +197,13 @@ function getAtomsForClause(text, allAtoms) {
 function formatPredicate(predicate, variable) {
     if (predicate.includes('('))
         return predicate;
-    return `${predicate}(${variable})`;
+    const safeVar = (variable && variable.trim() !== '') ? variable : 'x';
+    const safePred = (predicate && predicate.trim() !== '') ? predicate : 'Pred';
+    // Avoid numeric variables or keywords being empty
+    if (!safeVar.match(/^[a-zA-Z_]\w*$/)) {
+        return `${safePred}(x)`;
+    }
+    return `${safePred}(${safeVar})`;
 }
 function tryInstantiation(universalFormula, instanceFormula, _allAtoms) {
     // Simplificación: intentar extraer la conclusión de la instanciación

package/dist/formula/first-order.js.map

@@ -1 +1 @@
-{"version":3,"file":"first-order.js","sourceRoot":"","sources":["../../src/formula/first-order.ts"],"names":[],"mappings":";;AAWA,0CAoCC;AAzCD,6CAA4C;AAE5C;;GAEG;AACH,SAAgB,eAAe,CAC7B,SAA6B,EAC7B,WAAwB,EACxB,gBAA0B;IAE1B,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;QACjC,MAAM,aAAa,GAAG,eAAe,CAAC,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAE,YAAY,CAAC,CAAC;QACjF,QAAQ,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,CAAC;QAChC,YAAY,IAAI,aAAa,CAAC,MAAM,CAAC;IACvC,CAAC;IAED,wDAAwD;IACxD,IAAI,gBAAgB,CAAC,QAAQ,CAAC,yBAAyB,CAAC,IAAI,QAAQ,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QACjF,MAAM,gBAAgB,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC1E,MAAM,eAAe,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC;QAClG,IAAI,gBAAgB,IAAI,eAAe,EAAE,CAAC;YACxC,iCAAiC;YACjC,MAAM,cAAc,GAAG,gBAAgB,CAAC,gBAAgB,EAAE,eAAe,EAAE,WAAW,CAAC,CAAC;YACxF,IAAI,cAAc,EAAE,CAAC;gBACnB,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,cAAc;oBACvB,MAAM,EAAE,QAAQ;oBAChB,KAAK,EAAE,cAAc,YAAY,EAAE;oBACnC,UAAU,EAAE,yBAAyB;oBACrC,cAAc,EAAE,SAAS,CAAC,MAAM,GAAG,CAAC;oBACpC,OAAO,EAAE,wCAAwC;iBAClD,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,eAAe,CACtB,QAA0B,EAC1B,QAAqB,EACrB,WAAmB,EACnB,UAAkB;IAElB,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC;IACjC,IAAI,KAAK,GAAG,UAAU,CAAC;IAEvB,oCAAoC;IACpC,MAAM,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC;IACtF,MAAM,cAAc,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC;IAE1F,IAAI,YAAY,IAAI,QAAQ,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACpD,0CAA0C;QAC1C,MAAM,cAAc,GAAG,kBAAkB,CACvC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,EACnE,QAAQ,CACT,CAAC;QACF,MAAM,eAAe,GAAG,kBAAkB,CACxC,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,EACjG,QAAQ,CACT,CAAC;QAEF,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5D,MAAM,KAAK,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,cAAc,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAClE,MAAM,KAAK,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACpE,MAAM,QAAQ,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC;YAErD,MAAM,OAAO,GAAG,UAAU,QAAQ,KAAK,eAAe,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,yBAAY,CAAC,WAAW,IAAI,eAAe,CAAC,KAAK,EAAE,QAAQ,CAAC,GAAG,CAAC;YAC3I,QAAQ,CAAC,IAAI,CAAC;gBACZ,OAAO;gBACP,MAAM,EAAE,OAAO;gBACf,KAAK,EAAE,IAAI,KAAK,EAAE;gBAClB,UAAU,EAAE,QAAQ,CAAC,QAAQ;gBAC7B,cAAc,EAAE,WAAW;gBAC3B,OAAO,EAAE,eAAe,QAAQ,CAAC,QAAQ,GAAG;aAC7C,CAAC,CAAC;QACL,CAAC;IACH,CAAC;SAAM,IAAI,YAAY,EAAE,CAAC;QACxB,mCAAmC;QACnC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,iBAAiB,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACvD,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACrB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBACtB,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,EAAE,CAAC;gBACvC,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC;gBACxC,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,UAAU,QAAQ,IAAI,eAAe,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE;oBAChE,MAAM,EAAE,OAAO;oBACf,KAAK,EAAE,IAAI,KAAK,EAAE,EAAE;oBACpB,UAAU,EAAE,MAAM,CAAC,IAAI;oBACvB,cAAc,EAAE,WAAW;oBAC3B,OAAO,EAAE,eAAe,MAAM,CAAC,IAAI,GAAG;iBACvC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;SAAM,IAAI,cAAc,EAAE,CAAC;QAC1B,uBAAuB;QACvB,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,iBAAiB,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACvD,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACrB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBACtB,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,EAAE,CAAC;gBACvC,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC;gBACxC,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,UAAU,QAAQ,IAAI,eAAe,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE;oBAChE,MAAM,EAAE,OAAO;oBACf,KAAK,EAAE,IAAI,KAAK,EAAE,EAAE;oBACpB,UAAU,EAAE,MAAM,CAAC,IAAI;oBACvB,cAAc,EAAE,WAAW;oBAC3B,OAAO,EAAE,iBAAiB,MAAM,CAAC,IAAI,GAAG;iBACzC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;SAAM,CAAC;QACN,mDAAmD;QACnD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,iBAAiB,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACvD,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACrB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBACtB,MAAM,YAAY,GAAG,MAAM,CAAC,IAAI,KAAK,YAAY,CAAC;gBAElD,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,IAAI,CAAC,EAAE;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,IAAI,KAAK,EAAE;oBACzD,UAAU,EAAE,MAAM,CAAC,IAAI;oBACvB,cAAc,EAAE,WAAW;oBAC3B,OAAO,EAAE,YAAY;wBACnB,CAAC,CAAC,gBAAgB,MAAM,CAAC,IAAI,GAAG;wBAChC,CAAC,CAAC,eAAe,MAAM,CAAC,IAAI,GAAG;iBAClC,CAAC,CAAC;gBACH,KAAK,EAAE,CAAC;YACV,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,kBAAkB,CACzB,OAA2B,EAC3B,QAAqB;IAErB,MAAM,OAAO,GAAgB,EAAE,CAAC;IAChC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,iBAAiB,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACvD,OAAO,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAY,EAAE,QAAqB;IAC5D,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CACzB,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAClE,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,SAAiB,EAAE,QAAgB;IAC1D,IAAI,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAC9C,OAAO,GAAG,SAAS,IAAI,QAAQ,GAAG,CAAC;AACrC,CAAC;AAED,SAAS,gBAAgB,CACvB,gBAA8B,EAC9B,eAA6B,EAC7B,SAAsB;IAEtB,qEAAqE;IACrE,MAAM,KAAK,GAAG,gBAAgB,CAAC,OAAO,CAAC,KAAK,CAAC,uCAAuC,CAAC,CAAC;IACtF,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IAExB,MAAM,CAAC,EAAE,SAAS,EAAE,WAAW,EAAE,UAAU,CAAC,GAAG,KAAK,CAAC;IACrD,qDAAqD;IACrD,MAAM,aAAa,GAAG,eAAe,CAAC,OAAO,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;IACtE,IAAI,CAAC,aAAa;QAAE,OAAO,IAAI,CAAC;IAEhC,MAAM,QAAQ,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;IAClC,qDAAqD;IACrD,MAAM,YAAY,GAAG,UAAU,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,QAAQ,GAAG,CAAC,CAAC;IACpE,OAAO,YAAY,CAAC;AACtB,CAAC"}
+{"version":3,"file":"first-order.js","sourceRoot":"","sources":["../../src/formula/first-order.ts"],"names":[],"mappings":";;AAWA,0CAoCC;AAzCD,6CAA4C;AAE5C;;GAEG;AACH,SAAgB,eAAe,CAC7B,SAA6B,EAC7B,WAAwB,EACxB,gBAA0B;IAE1B,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;QACjC,MAAM,aAAa,GAAG,eAAe,CAAC,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAE,YAAY,CAAC,CAAC;QACjF,QAAQ,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,CAAC;QAChC,YAAY,IAAI,aAAa,CAAC,MAAM,CAAC;IACvC,CAAC;IAED,wDAAwD;IACxD,IAAI,gBAAgB,CAAC,QAAQ,CAAC,yBAAyB,CAAC,IAAI,QAAQ,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QACjF,MAAM,gBAAgB,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC1E,MAAM,eAAe,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC;QAClG,IAAI,gBAAgB,IAAI,eAAe,EAAE,CAAC;YACxC,iCAAiC;YACjC,MAAM,cAAc,GAAG,gBAAgB,CAAC,gBAAgB,EAAE,eAAe,EAAE,WAAW,CAAC,CAAC;YACxF,IAAI,cAAc,EAAE,CAAC;gBACnB,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,cAAc;oBACvB,MAAM,EAAE,QAAQ;oBAChB,KAAK,EAAE,cAAc,YAAY,EAAE;oBACnC,UAAU,EAAE,yBAAyB;oBACrC,cAAc,EAAE,SAAS,CAAC,MAAM,GAAG,CAAC;oBACpC,OAAO,EAAE,wCAAwC;iBAClD,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,eAAe,CACtB,QAA0B,EAC1B,QAAqB,EACrB,WAAmB,EACnB,UAAkB;IAElB,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC;IACjC,IAAI,KAAK,GAAG,UAAU,CAAC;IAEvB,oCAAoC;IACpC,MAAM,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5J,MAAM,cAAc,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC;IAE1F,IAAI,YAAY,IAAI,QAAQ,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACpD,0CAA0C;QAC1C,MAAM,cAAc,GAAG,kBAAkB,CACvC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,EACnE,QAAQ,CACT,CAAC;QACF,MAAM,eAAe,GAAG,kBAAkB,CACxC,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,EACjG,QAAQ,CACT,CAAC;QAEF,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5D,MAAM,KAAK,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,cAAc,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAClE,MAAM,KAAK,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACpE,MAAM,QAAQ,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC;YAErD,MAAM,OAAO,GAAG,UAAU,QAAQ,KAAK,eAAe,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,yBAAY,CAAC,WAAW,IAAI,eAAe,CAAC,KAAK,EAAE,QAAQ,CAAC,GAAG,CAAC;YAC3I,QAAQ,CAAC,IAAI,CAAC;gBACZ,OAAO;gBACP,MAAM,EAAE,OAAO;gBACf,KAAK,EAAE,IAAI,KAAK,EAAE;gBAClB,UAAU,EAAE,QAAQ,CAAC,QAAQ;gBAC7B,cAAc,EAAE,WAAW;gBAC3B,OAAO,EAAE,eAAe,QAAQ,CAAC,QAAQ,GAAG;aAC7C,CAAC,CAAC;QACL,CAAC;IACH,CAAC;SAAM,IAAI,YAAY,EAAE,CAAC;QACxB,mCAAmC;QACnC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,iBAAiB,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACvD,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACrB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBACtB,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,EAAE,CAAC;gBACvC,IAAI,QAAQ,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC;gBACtC,IAAI,OAAO,GAAG,EAAE,CAAC;gBAEjB,mDAAmD;gBACnD,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,+DAA+D,EAAE,EAAE,CAAC,CAAC;gBAEjG,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACxB,qDAAqD;oBACrD,wDAAwD;oBACxD,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;oBACjG,MAAM,OAAO,GAAG,GAAG,CAAC;oBAEpB,IAAI,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;wBACtJ,+CAA+C;wBAC/C,OAAO,GAAG,UAAU,OAAO,KAAK,eAAe,CAAC,UAAU,EAAE,OAAO,CAAC,IAAI,yBAAY,CAAC,WAAW,MAAM,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC;oBAC5I,CAAC;yBAAM,CAAC;wBACL,iDAAiD;wBACjD,OAAO,GAAG,UAAU,OAAO,KAAK,eAAe,CAAC,UAAU,EAAE,OAAO,CAAC,IAAI,yBAAY,CAAC,WAAW,IAAI,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC;oBACzI,CAAC;gBACH,CAAC;qBAAM,CAAC;oBACN,0BAA0B;oBAC1B,IAAI,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,EAAE,CAAC;wBACrD,OAAO,GAAG,UAAU,QAAQ,MAAM,eAAe,CAAC,IAAI,EAAE,QAAQ,CAAC,GAAG,CAAC;oBACxE,CAAC;yBAAM,CAAC;wBACL,OAAO,GAAG,UAAU,QAAQ,IAAI,eAAe,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;oBACrE,CAAC;gBACH,CAAC;gBAED,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO;oBACP,MAAM,EAAE,OAAO;oBACf,KAAK,EAAE,IAAI,KAAK,EAAE,EAAE;oBACpB,UAAU,EAAE,MAAM,CAAC,IAAI;oBACvB,cAAc,EAAE,WAAW;oBAC3B,OAAO,EAAE,eAAe,MAAM,CAAC,IAAI,GAAG;iBACvC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;SAAM,IAAI,cAAc,EAAE,CAAC;QAC1B,gDAAgD;QAChD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,iBAAiB,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACvD,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACrB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBACtB,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,EAAE,CAAC;gBACvC,IAAI,QAAQ,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC;gBACtC,IAAI,OAAO,GAAG,EAAE,CAAC;gBAEjB,mDAAmD;gBACnD,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,uEAAuE,EAAE,EAAE,CAAC,CAAC;gBACzG,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;gBAE9C,2BAA2B;gBAC3B,IAAI,WAAW,CAAC,QAAQ,CAAC,gBAAgB,CAAC,IAAI,WAAW,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,WAAW,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAC/G,cAAc;oBACd,OAAO,GAAG,aAAa,eAAe,CAAC,IAAI,EAAE,GAAG,CAAC,gBAAgB,eAAe,CAAC,IAAI,EAAE,GAAG,CAAC,WAAW,CAAC;gBACzG,CAAC;qBAAM,IAAI,WAAW,CAAC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,CAAC;oBACnD,cAAc;oBACd,OAAO,GAAG,gBAAgB,eAAe,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,eAAe,CAAC,IAAI,EAAE,GAAG,CAAC,uBAAuB,eAAe,CAAC,IAAI,EAAE,GAAG,CAAC,mBAAmB,CAAC;gBAC3J,CAAC;qBAAM,CAAC;oBACN,qBAAqB;oBACrB,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;wBACxB,qBAAqB;wBACrB,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;wBAC3G,MAAM,OAAO,GAAG,GAAG,CAAC;wBAEpB,IAAI,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,EAAE,CAAC;4BACrD,OAAO,GAAG,UAAU,OAAO,KAAK,eAAe,CAAC,UAAU,EAAE,OAAO,CAAC,QAAQ,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC;wBAClH,CAAC;6BAAM,CAAC;4BACL,OAAO,GAAG,UAAU,OAAO,KAAK,eAAe,CAAC,UAAU,EAAE,OAAO,CAAC,MAAM,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC;wBAC/G,CAAC;oBACH,CAAC;yBAAM,CAAC;wBACN,IAAI,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,EAAE,CAAC;4BACrD,OAAO,GAAG,UAAU,QAAQ,MAAM,eAAe,CAAC,IAAI,EAAE,QAAQ,CAAC,GAAG,CAAC;wBACxE,CAAC;6BAAM,CAAC;4BACL,OAAO,GAAG,UAAU,QAAQ,IAAI,eAAe,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;wBACrE,CAAC;oBACH,CAAC;gBACH,CAAC;gBAED,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO;oBACP,MAAM,EAAE,OAAO;oBACf,KAAK,EAAE,IAAI,KAAK,EAAE,EAAE;oBACpB,UAAU,EAAE,MAAM,CAAC,IAAI;oBACvB,cAAc,EAAE,WAAW;oBAC3B,OAAO,EAAE,iBAAiB,MAAM,CAAC,IAAI,GAAG;iBACzC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;SAAM,CAAC;QACN,mDAAmD;QACnD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,iBAAiB,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACvD,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACrB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBACtB,MAAM,YAAY,GAAG,MAAM,CAAC,IAAI,KAAK,YAAY,CAAC;gBAElD,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,IAAI,CAAC,EAAE;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,IAAI,KAAK,EAAE;oBACzD,UAAU,EAAE,MAAM,CAAC,IAAI;oBACvB,cAAc,EAAE,WAAW;oBAC3B,OAAO,EAAE,YAAY;wBACnB,CAAC,CAAC,gBAAgB,MAAM,CAAC,IAAI,GAAG;wBAChC,CAAC,CAAC,eAAe,MAAM,CAAC,IAAI,GAAG;iBAClC,CAAC,CAAC;gBACH,KAAK,EAAE,CAAC;YACV,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,kBAAkB,CACzB,OAA2B,EAC3B,QAAqB;IAErB,MAAM,OAAO,GAAgB,EAAE,CAAC;IAChC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,iBAAiB,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACvD,OAAO,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAY,EAAE,QAAqB;IAC5D,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CACzB,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAClE,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,SAAiB,EAAE,QAAgB;IAC1D,IAAI,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAC9C,MAAM,OAAO,GAAG,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC;IACtE,MAAM,QAAQ,GAAG,CAAC,SAAS,IAAI,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;IAC7E,kDAAkD;IAClD,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,gBAAgB,CAAC,EAAE,CAAC;QACrC,OAAO,GAAG,QAAQ,KAAK,CAAC;IAC1B,CAAC;IACD,OAAO,GAAG,QAAQ,IAAI,OAAO,GAAG,CAAC;AACnC,CAAC;AAED,SAAS,gBAAgB,CACvB,gBAA8B,EAC9B,eAA6B,EAC7B,SAAsB;IAEtB,qEAAqE;IACrE,MAAM,KAAK,GAAG,gBAAgB,CAAC,OAAO,CAAC,KAAK,CAAC,uCAAuC,CAAC,CAAC;IACtF,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IAExB,MAAM,CAAC,EAAE,SAAS,EAAE,WAAW,EAAE,UAAU,CAAC,GAAG,KAAK,CAAC;IACrD,qDAAqD;IACrD,MAAM,aAAa,GAAG,eAAe,CAAC,OAAO,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;IACtE,IAAI,CAAC,aAAa;QAAE,OAAO,IAAI,CAAC;IAEhC,MAAM,QAAQ,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;IAClC,qDAAqD;IACrD,MAAM,YAAY,GAAG,UAAU,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,QAAQ,GAAG,CAAC,CAAC;IACpE,OAAO,YAAY,CAAC;AACtB,CAAC"}

package/dist/formula/helpers.d.ts

@@ -0,0 +1,8 @@
+import type { AtomEntry, ClauseModifier, LogicProfile } from '../types';
+export declare function buildFallbackAtomId(clauseText: string): string;
+export declare function resolveAtomId(clauseText: string, allAtoms: AtomEntry[], globalMap?: Map<string, string>): string;
+export declare function applyLogicalModifiers(formula: string, modifiers: Array<ClauseModifier['type'] | string>, profile: LogicProfile): string;
+export declare function pickLeadingSentenceModifiers(modifiers: ClauseModifier[], family: 'modal' | 'temporal'): ClauseModifier['type'][];
+export declare function stripModifierFamily(modifiers: ClauseModifier[], family: 'modal' | 'temporal'): ClauseModifier['type'][];
+export declare function onlyModifierFamily(modifiers: ClauseModifier[], family: 'modal' | 'temporal'): ClauseModifier['type'][];
+//# sourceMappingURL=helpers.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"helpers.d.ts","sourceRoot":"","sources":["../../src/formula/helpers.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AA0BxE,wBAAgB,mBAAmB,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CAQ9D;AAED,wBAAgB,aAAa,CAC3B,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,SAAS,EAAE,EACrB,SAAS,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,GAC9B,MAAM,CAkDR;AAwCD,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,MAAM,EACf,SAAS,EAAE,KAAK,CAAC,cAAc,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,EACjD,OAAO,EAAE,YAAY,GACpB,MAAM,CA4CR;AAED,wBAAgB,4BAA4B,CAC1C,SAAS,EAAE,cAAc,EAAE,EAC3B,MAAM,EAAE,OAAO,GAAG,UAAU,GAC3B,cAAc,CAAC,MAAM,CAAC,EAAE,CAG1B;AAED,wBAAgB,mBAAmB,CACjC,SAAS,EAAE,cAAc,EAAE,EAC3B,MAAM,EAAE,OAAO,GAAG,UAAU,GAC3B,cAAc,CAAC,MAAM,CAAC,EAAE,CAG1B;AAED,wBAAgB,kBAAkB,CAChC,SAAS,EAAE,cAAc,EAAE,EAC3B,MAAM,EAAE,OAAO,GAAG,UAAU,GAC3B,cAAc,CAAC,MAAM,CAAC,EAAE,CAG1B"}

package/dist/formula/helpers.js

@@ -0,0 +1,166 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.buildFallbackAtomId = buildFallbackAtomId;
+exports.resolveAtomId = resolveAtomId;
+exports.applyLogicalModifiers = applyLogicalModifiers;
+exports.pickLeadingSentenceModifiers = pickLeadingSentenceModifiers;
+exports.stripModifierFamily = stripModifierFamily;
+exports.onlyModifierFamily = onlyModifierFamily;
+const coreference_1 = require("../atoms/coreference");
+const keyword_extractor_1 = require("../atoms/keyword-extractor");
+const connectors_1 = require("./connectors");
+const MODAL_MODIFIER_TYPES = new Set(['necessity', 'possibility']);
+const TEMPORAL_MODIFIER_TYPES = new Set([
+    'temporal_next',
+    'temporal_until',
+    'temporal_always',
+    'temporal_eventually'
+]);
+const MODAL_PROFILES = new Set(['modal.k', 'deontic.standard', 'epistemic.s5']);
+const TEMPORAL_PROFILES = new Set(['temporal.ltl']);
+function normalizeText(value) {
+    return value
+        .normalize('NFD')
+        .replace(/[\u0300-\u036f]/g, '')
+        .replace(/[^a-zA-Z0-9\s]/g, ' ')
+        .replace(/\s+/g, ' ')
+        .trim()
+        .toLowerCase();
+}
+function buildFallbackAtomId(clauseText) {
+    return clauseText
+        .normalize('NFD')
+        .replace(/[\u0300-\u036f]/g, '')
+        .replace(/[^a-zA-Z0-9\s]/g, '')
+        .replace(/\s+/g, '_')
+        .toUpperCase()
+        .slice(0, 30) || 'ATOM';
+}
+function resolveAtomId(clauseText, allAtoms, globalMap) {
+    const fromMap = globalMap?.get(clauseText);
+    if (fromMap)
+        return fromMap;
+    const normalizedClause = normalizeText(clauseText);
+    if (globalMap) {
+        for (const [text, id] of globalMap) {
+            const normalizedText = normalizeText(text);
+            if (clauseText.includes(text) ||
+                text.includes(clauseText) ||
+                normalizedClause === normalizedText ||
+                normalizedClause.includes(normalizedText) ||
+                normalizedText.includes(normalizedClause)) {
+                return id;
+            }
+        }
+    }
+    const exact = allAtoms.find((atom) => atom.text === clauseText);
+    if (exact)
+        return exact.id;
+    const normalizedExact = allAtoms.find((atom) => normalizeText(atom.text) === normalizedClause);
+    if (normalizedExact)
+        return normalizedExact.id;
+    const inclusive = allAtoms.find((atom) => {
+        const normalizedAtom = normalizeText(atom.text);
+        return (atom.text.includes(clauseText) ||
+            clauseText.includes(atom.text) ||
+            normalizedAtom.includes(normalizedClause) ||
+            normalizedClause.includes(normalizedAtom));
+    });
+    if (inclusive)
+        return inclusive.id;
+    const ranked = allAtoms
+        .map((atom) => ({
+        atom,
+        similarity: (0, coreference_1.diceSimilarity)((0, keyword_extractor_1.bagOfStems)(atom.text, 'es'), (0, keyword_extractor_1.bagOfStems)(clauseText, 'es'))
+    }))
+        .sort((left, right) => right.similarity - left.similarity)[0];
+    if (ranked && ranked.similarity >= 0.6) {
+        return ranked.atom.id;
+    }
+    return buildFallbackAtomId(clauseText);
+}
+function getModalSyntax(profile) {
+    switch (profile) {
+        case 'epistemic.s5':
+            return { necessity: 'K', possibility: 'B' };
+        case 'deontic.standard':
+            return { necessity: 'O', possibility: 'P' };
+        default:
+            return { necessity: connectors_1.ST_OPERATORS.necessity, possibility: connectors_1.ST_OPERATORS.possibility };
+    }
+}
+function getTemporalSyntax(profile) {
+    if (profile === 'temporal.ltl') {
+        return {
+            next: connectors_1.ST_OPERATORS.temporal_next,
+            until: connectors_1.ST_OPERATORS.temporal_until,
+            always: 'G',
+            eventually: 'F'
+        };
+    }
+    return {
+        next: connectors_1.ST_OPERATORS.temporal_next,
+        until: connectors_1.ST_OPERATORS.temporal_until,
+        always: connectors_1.ST_OPERATORS.temporal_always,
+        eventually: connectors_1.ST_OPERATORS.temporal_eventually
+    };
+}
+function wrapUnary(operator, formula) {
+    return `${operator}(${formula})`;
+}
+function applyLogicalModifiers(formula, modifiers, profile) {
+    const modalSyntax = getModalSyntax(profile);
+    const temporalSyntax = getTemporalSyntax(profile);
+    let output = formula;
+    for (const modifier of modifiers) {
+        switch (modifier) {
+            case 'negation':
+                output = wrapUnary(connectors_1.ST_OPERATORS.negation, output);
+                break;
+            case 'necessity':
+                if ((0, connectors_1.profileSupportsOperator)(profile, '<>')) {
+                    output = wrapUnary(modalSyntax.necessity, output);
+                }
+                break;
+            case 'possibility':
+                if ((0, connectors_1.profileSupportsOperator)(profile, '<>')) {
+                    output = wrapUnary(modalSyntax.possibility, output);
+                }
+                break;
+            case 'temporal_next':
+                if (TEMPORAL_PROFILES.has(profile)) {
+                    output = `${temporalSyntax.next} ${output}`;
+                }
+                break;
+            case 'temporal_until':
+                if (TEMPORAL_PROFILES.has(profile)) {
+                    output = `${temporalSyntax.until} ${output}`;
+                }
+                break;
+            case 'temporal_always':
+                if (TEMPORAL_PROFILES.has(profile)) {
+                    output = wrapUnary(temporalSyntax.always, output);
+                }
+                break;
+            case 'temporal_eventually':
+                if (TEMPORAL_PROFILES.has(profile)) {
+                    output = wrapUnary(temporalSyntax.eventually, output);
+                }
+                break;
+        }
+    }
+    return output;
+}
+function pickLeadingSentenceModifiers(modifiers, family) {
+    const allowed = family === 'modal' ? MODAL_MODIFIER_TYPES : TEMPORAL_MODIFIER_TYPES;
+    return modifiers.filter((modifier) => allowed.has(modifier.type)).map((modifier) => modifier.type);
+}
+function stripModifierFamily(modifiers, family) {
+    const blocked = family === 'modal' ? MODAL_MODIFIER_TYPES : TEMPORAL_MODIFIER_TYPES;
+    return modifiers.filter((modifier) => !blocked.has(modifier.type)).map((modifier) => modifier.type);
+}
+function onlyModifierFamily(modifiers, family) {
+    const allowed = family === 'modal' ? MODAL_MODIFIER_TYPES : TEMPORAL_MODIFIER_TYPES;
+    return modifiers.filter((modifier) => allowed.has(modifier.type)).map((modifier) => modifier.type);
+}
+//# sourceMappingURL=helpers.js.map

package/dist/formula/helpers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"helpers.js","sourceRoot":"","sources":["../../src/formula/helpers.ts"],"names":[],"mappings":";;AA0BA,kDAQC;AAED,sCAsDC;AAwCD,sDAgDC;AAED,oEAMC;AAED,kDAMC;AAED,gDAMC;AAzMD,sDAAsD;AACtD,kEAAwD;AACxD,6CAAqE;AAErE,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC,CAAC;AACnE,MAAM,uBAAuB,GAAG,IAAI,GAAG,CAAC;IACtC,eAAe;IACf,gBAAgB;IAChB,iBAAiB;IACjB,qBAAqB;CACtB,CAAC,CAAC;AAEH,MAAM,cAAc,GAAG,IAAI,GAAG,CAAe,CAAC,SAAS,EAAE,kBAAkB,EAAE,cAAc,CAAC,CAAC,CAAC;AAC9F,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAe,CAAC,cAAc,CAAC,CAAC,CAAC;AAElE,SAAS,aAAa,CAAC,KAAa;IAClC,OAAO,KAAK;SACT,SAAS,CAAC,KAAK,CAAC;SAChB,OAAO,CAAC,kBAAkB,EAAE,EAAE,CAAC;SAC/B,OAAO,CAAC,iBAAiB,EAAE,GAAG,CAAC;SAC/B,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC;SACpB,IAAI,EAAE;SACN,WAAW,EAAE,CAAC;AACnB,CAAC;AAED,SAAgB,mBAAmB,CAAC,UAAkB;IACpD,OAAO,UAAU;SACd,SAAS,CAAC,KAAK,CAAC;SAChB,OAAO,CAAC,kBAAkB,EAAE,EAAE,CAAC;SAC/B,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,SAAgB,aAAa,CAC3B,UAAkB,EAClB,QAAqB,EACrB,SAA+B;IAE/B,MAAM,OAAO,GAAG,SAAS,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;IAC3C,IAAI,OAAO;QAAE,OAAO,OAAO,CAAC;IAE5B,MAAM,gBAAgB,GAAG,aAAa,CAAC,UAAU,CAAC,CAAC;IAEnD,IAAI,SAAS,EAAE,CAAC;QACd,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,SAAS,EAAE,CAAC;YACnC,MAAM,cAAc,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;YAC3C,IACE,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC;gBACzB,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;gBACzB,gBAAgB,KAAK,cAAc;gBACnC,gBAAgB,CAAC,QAAQ,CAAC,cAAc,CAAC;gBACzC,cAAc,CAAC,QAAQ,CAAC,gBAAgB,CAAC,EACzC,CAAC;gBACD,OAAO,EAAE,CAAC;YACZ,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;IAChE,IAAI,KAAK;QAAE,OAAO,KAAK,CAAC,EAAE,CAAC;IAE3B,MAAM,eAAe,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,gBAAgB,CAAC,CAAC;IAC/F,IAAI,eAAe;QAAE,OAAO,eAAe,CAAC,EAAE,CAAC;IAE/C,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;QACvC,MAAM,cAAc,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChD,OAAO,CACL,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;YAC9B,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;YAC9B,cAAc,CAAC,QAAQ,CAAC,gBAAgB,CAAC;YACzC,gBAAgB,CAAC,QAAQ,CAAC,cAAc,CAAC,CAC1C,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,IAAI,SAAS;QAAE,OAAO,SAAS,CAAC,EAAE,CAAC;IAEnC,MAAM,MAAM,GAAG,QAAQ;SACpB,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACd,IAAI;QACJ,UAAU,EAAE,IAAA,4BAAc,EAAC,IAAA,8BAAU,EAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,IAAA,8BAAU,EAAC,UAAU,EAAE,IAAI,CAAC,CAAC;KACtF,CAAC,CAAC;SACF,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;IAEhE,IAAI,MAAM,IAAI,MAAM,CAAC,UAAU,IAAI,GAAG,EAAE,CAAC;QACvC,OAAO,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;IACxB,CAAC;IAED,OAAO,mBAAmB,CAAC,UAAU,CAAC,CAAC;AACzC,CAAC;AAED,SAAS,cAAc,CAAC,OAAqB;IAC3C,QAAQ,OAAO,EAAE,CAAC;QAChB,KAAK,cAAc;YACjB,OAAO,EAAE,SAAS,EAAE,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC;QAC9C,KAAK,kBAAkB;YACrB,OAAO,EAAE,SAAS,EAAE,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC;QAC9C;YACE,OAAO,EAAE,SAAS,EAAE,yBAAY,CAAC,SAAS,EAAE,WAAW,EAAE,yBAAY,CAAC,WAAW,EAAE,CAAC;IACxF,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CAAC,OAAqB;IAM9C,IAAI,OAAO,KAAK,cAAc,EAAE,CAAC;QAC/B,OAAO;YACL,IAAI,EAAE,yBAAY,CAAC,aAAa;YAChC,KAAK,EAAE,yBAAY,CAAC,cAAc;YAClC,MAAM,EAAE,GAAG;YACX,UAAU,EAAE,GAAG;SAChB,CAAC;IACJ,CAAC;IAED,OAAO;QACL,IAAI,EAAE,yBAAY,CAAC,aAAa;QAChC,KAAK,EAAE,yBAAY,CAAC,cAAc;QAClC,MAAM,EAAE,yBAAY,CAAC,eAAe;QACpC,UAAU,EAAE,yBAAY,CAAC,mBAAmB;KAC7C,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAAC,QAAgB,EAAE,OAAe;IAClD,OAAO,GAAG,QAAQ,IAAI,OAAO,GAAG,CAAC;AACnC,CAAC;AAED,SAAgB,qBAAqB,CACnC,OAAe,EACf,SAAiD,EACjD,OAAqB;IAErB,MAAM,WAAW,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;IAC5C,MAAM,cAAc,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC;IAClD,IAAI,MAAM,GAAG,OAAO,CAAC;IAErB,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,QAAQ,QAAQ,EAAE,CAAC;YACjB,KAAK,UAAU;gBACb,MAAM,GAAG,SAAS,CAAC,yBAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;gBAClD,MAAM;YACR,KAAK,WAAW;gBACd,IAAI,IAAA,oCAAuB,EAAC,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC;oBAC3C,MAAM,GAAG,SAAS,CAAC,WAAW,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;gBACpD,CAAC;gBACD,MAAM;YACR,KAAK,aAAa;gBAChB,IAAI,IAAA,oCAAuB,EAAC,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC;oBAC3C,MAAM,GAAG,SAAS,CAAC,WAAW,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;gBACtD,CAAC;gBACD,MAAM;YACR,KAAK,eAAe;gBAClB,IAAI,iBAAiB,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;oBACnC,MAAM,GAAG,GAAG,cAAc,CAAC,IAAI,IAAI,MAAM,EAAE,CAAC;gBAC9C,CAAC;gBACD,MAAM;YACR,KAAK,gBAAgB;gBACnB,IAAI,iBAAiB,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;oBACnC,MAAM,GAAG,GAAG,cAAc,CAAC,KAAK,IAAI,MAAM,EAAE,CAAC;gBAC/C,CAAC;gBACD,MAAM;YACR,KAAK,iBAAiB;gBACpB,IAAI,iBAAiB,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;oBACnC,MAAM,GAAG,SAAS,CAAC,cAAc,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;gBACpD,CAAC;gBACD,MAAM;YACR,KAAK,qBAAqB;gBACxB,IAAI,iBAAiB,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;oBACnC,MAAM,GAAG,SAAS,CAAC,cAAc,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;gBACxD,CAAC;gBACD,MAAM;QACV,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAgB,4BAA4B,CAC1C,SAA2B,EAC3B,MAA4B;IAE5B,MAAM,OAAO,GAAG,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,uBAAuB,CAAC;IACpF,OAAO,SAAS,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AACrG,CAAC;AAED,SAAgB,mBAAmB,CACjC,SAA2B,EAC3B,MAA4B;IAE5B,MAAM,OAAO,GAAG,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,uBAAuB,CAAC;IACpF,OAAO,SAAS,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AACtG,CAAC;AAED,SAAgB,kBAAkB,CAChC,SAA2B,EAC3B,MAA4B;IAE5B,MAAM,OAAO,GAAG,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,uBAAuB,CAAC;IACpF,OAAO,SAAS,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AACrG,CAAC"}

package/dist/formula/index.d.ts

@@ -9,6 +9,7 @@ export { buildPropositional } from './propositional';
 export { buildFirstOrder } from './first-order';
 export { buildModal } from './modal';
 export { buildTemporal } from './temporal';
+export { buildProbabilistic } from './probabilistic';
 export { buildCrossSentenceDerivations } from './argument-builder';
 export { roleToOperator, profileSupportsOperator, ST_OPERATORS } from './connectors';
 import type { AnalyzedSentence, AtomEntry, FormulaEntry, LogicProfile } from '../types';

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/formula/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AACrD,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAChD,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EAAE,6BAA6B,EAAE,MAAM,oBAAoB,CAAC;AACnE,OAAO,EAAE,cAAc,EAAE,uBAAuB,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAErF,OAAO,KAAK,EAAE,gBAAgB,EAAE,SAAS,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AAOxF;;;;GAIG;AACH,wBAAgB,aAAa,CAC3B,SAAS,EAAE,gBAAgB,EAAE,EAC7B,WAAW,EAAE,SAAS,EAAE,EACxB,OAAO,EAAE,YAAY,EACrB,gBAAgB,EAAE,MAAM,EAAE,GACzB,YAAY,EAAE,CA0ChB"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/formula/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AACrD,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAChD,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AACrD,OAAO,EAAE,6BAA6B,EAAE,MAAM,oBAAoB,CAAC;AACnE,OAAO,EAAE,cAAc,EAAE,uBAAuB,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAErF,OAAO,KAAK,EAAE,gBAAgB,EAAE,SAAS,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AAQxF;;;;GAIG;AACH,wBAAgB,aAAa,CAC3B,SAAS,EAAE,gBAAgB,EAAE,EAC7B,WAAW,EAAE,SAAS,EAAE,EACxB,OAAO,EAAE,YAAY,EACrB,gBAAgB,EAAE,MAAM,EAAE,GACzB,YAAY,EAAE,CA0ChB"}

package/dist/formula/index.js

@@ -1,6 +1,6 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.ST_OPERATORS = exports.profileSupportsOperator = exports.roleToOperator = exports.buildCrossSentenceDerivations = exports.buildTemporal = exports.buildModal = exports.buildFirstOrder = exports.buildPropositional = void 0;
+exports.ST_OPERATORS = exports.profileSupportsOperator = exports.roleToOperator = exports.buildCrossSentenceDerivations = exports.buildProbabilistic = exports.buildTemporal = exports.buildModal = exports.buildFirstOrder = exports.buildPropositional = void 0;
 exports.buildFormulas = buildFormulas;
 /**
  * Formula — Orquestador de construcción de fórmulas
@@ -17,6 +17,8 @@ var modal_1 = require("./modal");
 Object.defineProperty(exports, "buildModal", { enumerable: true, get: function () { return modal_1.buildModal; } });
 var temporal_1 = require("./temporal");
 Object.defineProperty(exports, "buildTemporal", { enumerable: true, get: function () { return temporal_1.buildTemporal; } });
+var probabilistic_1 = require("./probabilistic");
+Object.defineProperty(exports, "buildProbabilistic", { enumerable: true, get: function () { return probabilistic_1.buildProbabilistic; } });
 var argument_builder_1 = require("./argument-builder");
 Object.defineProperty(exports, "buildCrossSentenceDerivations", { enumerable: true, get: function () { return argument_builder_1.buildCrossSentenceDerivations; } });
 var connectors_1 = require("./connectors");
@@ -40,12 +42,12 @@ function buildFormulas(sentences, atomEntries, profile, detectedPatterns) {
         case 'classical.propositional':
         case 'intuitionistic.propositional':
         case 'paraconsistent.belnap':
-        case 'arithmetic':
         case 'probabilistic.basic':
-            perSentence = (0, propositional_2.buildPropositional)(sentences, atomEntries, detectedPatterns);
+            perSentence = (0, propositional_2.buildPropositional)(sentences, atomEntries, detectedPatterns, profile);
             break;
         case 'classical.first_order':
         case 'aristotelian.syllogistic':
+        case 'arithmetic':
             perSentence = (0, first_order_2.buildFirstOrder)(sentences, atomEntries, detectedPatterns);
             break;
         case 'modal.k':

package/dist/formula/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/formula/index.ts"],"names":[],"mappings":";;;AA0BA,sCA+CC;AAzED;;;;;;GAMG;AACH,iDAAqD;AAA5C,mHAAA,kBAAkB,OAAA;AAC3B,6CAAgD;AAAvC,8GAAA,eAAe,OAAA;AACxB,iCAAqC;AAA5B,mGAAA,UAAU,OAAA;AACnB,uCAA2C;AAAlC,yGAAA,aAAa,OAAA;AACtB,uDAAmE;AAA1D,iIAAA,6BAA6B,OAAA;AACtC,2CAAqF;AAA5E,4GAAA,cAAc,OAAA;AAAE,qHAAA,uBAAuB,OAAA;AAAE,0GAAA,YAAY,OAAA;AAG9D,mDAAqD;AACrD,+CAAgD;AAChD,mCAAqC;AACrC,yCAA2C;AAC3C,yDAAmE;AAEnE;;;;GAIG;AACH,SAAgB,aAAa,CAC3B,SAA6B,EAC7B,WAAwB,EACxB,OAAqB,EACrB,gBAA0B;IAE1B,iDAAiD;IACjD,IAAI,WAA2B,CAAC;IAEhC,QAAQ,OAAO,EAAE,CAAC;QAChB,KAAK,yBAAyB,CAAC;QAC/B,KAAK,8BAA8B,CAAC;QACpC,KAAK,uBAAuB,CAAC;QAC7B,KAAK,YAAY,CAAC;QAClB,KAAK,qBAAqB;YACxB,WAAW,GAAG,IAAA,kCAAkB,EAAC,SAAS,EAAE,WAAW,EAAE,gBAAgB,CAAC,CAAC;YAC3E,MAAM;QAER,KAAK,uBAAuB,CAAC;QAC7B,KAAK,0BAA0B;YAC7B,WAAW,GAAG,IAAA,6BAAe,EAAC,SAAS,EAAE,WAAW,EAAE,gBAAgB,CAAC,CAAC;YACxE,MAAM;QAER,KAAK,SAAS,CAAC;QACf,KAAK,cAAc,CAAC;QACpB,KAAK,kBAAkB;YACrB,WAAW,GAAG,IAAA,kBAAU,EAAC,SAAS,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;YAC1D,MAAM;QAER,KAAK,cAAc;YACjB,WAAW,GAAG,IAAA,wBAAa,EAAC,SAAS,EAAE,WAAW,CAAC,CAAC;YACpD,MAAM;QAER;YACE,WAAW,GAAG,IAAA,kCAAkB,EAAC,SAAS,EAAE,WAAW,EAAE,gBAAgB,CAAC,CAAC;YAC3E,MAAM;IACV,CAAC;IAED,iDAAiD;IACjD,MAAM,YAAY,GAAG,IAAA,gDAA6B,EAChD,WAAW,EACX,SAAS,EACT,WAAW,EACX,gBAAgB,CACjB,CAAC;IAEF,OAAO,CAAC,GAAG,WAAW,EAAE,GAAG,YAAY,CAAC,CAAC;AAC3C,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/formula/index.ts"],"names":[],"mappings":";;;AA4BA,sCA+CC;AA3ED;;;;;;GAMG;AACH,iDAAqD;AAA5C,mHAAA,kBAAkB,OAAA;AAC3B,6CAAgD;AAAvC,8GAAA,eAAe,OAAA;AACxB,iCAAqC;AAA5B,mGAAA,UAAU,OAAA;AACnB,uCAA2C;AAAlC,yGAAA,aAAa,OAAA;AACtB,iDAAqD;AAA5C,mHAAA,kBAAkB,OAAA;AAC3B,uDAAmE;AAA1D,iIAAA,6BAA6B,OAAA;AACtC,2CAAqF;AAA5E,4GAAA,cAAc,OAAA;AAAE,qHAAA,uBAAuB,OAAA;AAAE,0GAAA,YAAY,OAAA;AAG9D,mDAAqD;AACrD,+CAAgD;AAChD,mCAAqC;AACrC,yCAA2C;AAE3C,yDAAmE;AAEnE;;;;GAIG;AACH,SAAgB,aAAa,CAC3B,SAA6B,EAC7B,WAAwB,EACxB,OAAqB,EACrB,gBAA0B;IAE1B,iDAAiD;IACjD,IAAI,WAA2B,CAAC;IAEhC,QAAQ,OAAO,EAAE,CAAC;QAChB,KAAK,yBAAyB,CAAC;QAC/B,KAAK,8BAA8B,CAAC;QACpC,KAAK,uBAAuB,CAAC;QAC7B,KAAK,qBAAqB;YACxB,WAAW,GAAG,IAAA,kCAAkB,EAAC,SAAS,EAAE,WAAW,EAAE,gBAAgB,EAAE,OAAO,CAAC,CAAC;YACpF,MAAM;QAER,KAAK,uBAAuB,CAAC;QAC7B,KAAK,0BAA0B,CAAC;QAChC,KAAK,YAAY;YACf,WAAW,GAAG,IAAA,6BAAe,EAAC,SAAS,EAAE,WAAW,EAAE,gBAAgB,CAAC,CAAC;YACxE,MAAM;QAER,KAAK,SAAS,CAAC;QACf,KAAK,cAAc,CAAC;QACpB,KAAK,kBAAkB;YACrB,WAAW,GAAG,IAAA,kBAAU,EAAC,SAAS,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;YAC1D,MAAM;QAER,KAAK,cAAc;YACjB,WAAW,GAAG,IAAA,wBAAa,EAAC,SAAS,EAAE,WAAW,CAAC,CAAC;YACpD,MAAM;QAER;YACE,WAAW,GAAG,IAAA,kCAAkB,EAAC,SAAS,EAAE,WAAW,EAAE,gBAAgB,CAAC,CAAC;YAC3E,MAAM;IACV,CAAC;IAED,iDAAiD;IACjD,MAAM,YAAY,GAAG,IAAA,gDAA6B,EAChD,WAAW,EACX,SAAS,EACT,WAAW,EACX,gBAAgB,CACjB,CAAC;IAEF,OAAO,CAAC,GAAG,WAAW,EAAE,GAAG,YAAY,CAAC,CAAC;AAC3C,CAAC"}

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

@@ -1 +1 @@
-{"version":3,"file":"modal.d.ts","sourceRoot":"","sources":["../../src/formula/modal.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,KAAK,EAAE,gBAAgB,EAAE,SAAS,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AAGxF;;GAEG;AACH,wBAAgB,UAAU,CACxB,SAAS,EAAE,gBAAgB,EAAE,EAC7B,WAAW,EAAE,SAAS,EAAE,EACxB,OAAO,EAAE,YAAY,GACpB,YAAY,EAAE,CAYhB"}
+{"version":3,"file":"modal.d.ts","sourceRoot":"","sources":["../../src/formula/modal.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,KAAK,EAAE,gBAAgB,EAAE,SAAS,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AASxF;;GAEG;AACH,wBAAgB,UAAU,CACxB,SAAS,EAAE,gBAAgB,EAAE,EAC7B,WAAW,EAAE,SAAS,EAAE,EACxB,OAAO,EAAE,YAAY,GACpB,YAAY,EAAE,CAYhB"}

package/dist/formula/modal.js

@@ -1,7 +1,7 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.buildModal = buildModal;
-const connectors_1 = require("./connectors");
+const helpers_1 = require("./helpers");
 /**
  * Construye fórmulas modales para oraciones con operadores de necesidad/posibilidad.
  */
@@ -20,27 +20,11 @@ function buildModalSentence(sentence, allAtoms, sentenceIdx, labelStart, profile
     const formulas = [];
     const clauses = sentence.clauses;
     let label = labelStart;
-    // Determinar qué operadores usar según el perfil
-    const necessityOp = getModalNecessity(profile);
-    const possibilityOp = getModalPossibility(profile);
     if (sentence.type === 'modal') {
         // Detectar cláusulas con modalidad
         for (const clause of clauses) {
-            const atom = findAtomForClause(clause.text, allAtoms);
-            if (!atom)
-                continue;
-            const hasNecessity = clause.modifiers.some(m => m.type === 'necessity');
-            const hasPossibility = clause.modifiers.some(m => m.type === 'possibility');
-            let formula;
-            if (hasNecessity) {
-                formula = `${necessityOp}(${atom.id})`;
-            }
-            else if (hasPossibility) {
-                formula = `${possibilityOp}(${atom.id})`;
-            }
-            else {
-                formula = atom.id;
-            }
+            const atom = (0, helpers_1.resolveAtomId)(clause.text, allAtoms);
+            const formula = (0, helpers_1.applyLogicalModifiers)(atom, clause.modifiers.map((modifier) => modifier.type), profile);
             formulas.push({
                 formula,
                 stType: 'axiom',
@@ -52,32 +36,63 @@ function buildModalSentence(sentence, allAtoms, sentenceIdx, labelStart, profile
         }
     }
     else if (sentence.type === 'conditional') {
-        // Condicional con modalidad
+        // Condicional con modalidad; si el operador aparece al inicio de la oración,
+        // envuelve la implicación completa en vez de perderlo en el antecedente.
         const condClauses = clauses.filter(c => c.role === 'condition');
         const consClauses = clauses.filter(c => c.role === 'consequent' || c.role === 'conclusion' || c.role === 'assertion');
         if (condClauses.length > 0 && consClauses.length > 0) {
-            const antAtom = findAtomForClause(condClauses[0].text, allAtoms);
-            const consAtom = findAtomForClause(consClauses[0].text, allAtoms);
-            if (antAtom && consAtom) {
-                let antFormula = antAtom.id;
-                let consFormula = consAtom.id;
-                // Aplicar modalidad
-                if (condClauses[0].modifiers.some(m => m.type === 'necessity')) {
-                    antFormula = `${necessityOp}(${antFormula})`;
-                }
-                if (consClauses[0].modifiers.some(m => m.type === 'possibility')) {
-                    consFormula = `${possibilityOp}(${consFormula})`;
-                }
-                if (consClauses[0].modifiers.some(m => m.type === 'necessity')) {
-                    consFormula = `${necessityOp}(${consFormula})`;
-                }
+            const antAtom = (0, helpers_1.resolveAtomId)(condClauses[0].text, allAtoms);
+            const consAtom = (0, helpers_1.resolveAtomId)(consClauses[0].text, allAtoms);
+            const firstClause = clauses[0];
+            const condMarker = firstClause.markers.find(m => m.role === 'condition');
+            let sentenceLevel = [];
+            let antModifiers = [];
+            if (condMarker) {
+                // Find modal modifiers that appear BEFORE the conditional marker (e.g. "Es necesario que si...")
+                const modalModifiersBeforeCond = firstClause.modifiers.filter(mod => {
+                    const mMarker = firstClause.markers.find(m => m.text === mod.text);
+                    return mMarker && mMarker.position < condMarker.position && ['necessity', 'possibility'].includes(mod.type);
+                });
+                sentenceLevel = modalModifiersBeforeCond.map(m => m.type);
+                antModifiers = firstClause.modifiers
+                    .filter(mod => !sentenceLevel.includes(mod.type))
+                    .map(m => m.type);
+            }
+            else {
+                sentenceLevel = (0, helpers_1.pickLeadingSentenceModifiers)(firstClause.modifiers, 'modal');
+                antModifiers = (0, helpers_1.stripModifierFamily)(firstClause.modifiers, 'modal');
+            }
+            const antFormula = (0, helpers_1.applyLogicalModifiers)(antAtom, antModifiers, profile);
+            const consFormula = (0, helpers_1.applyLogicalModifiers)(consAtom, consClauses[0].modifiers.map((modifier) => modifier.type), profile);
+            const implication = `${antFormula} -> ${consFormula}`;
+            formulas.push({
+                formula: (0, helpers_1.applyLogicalModifiers)(implication, sentenceLevel, profile),
+                stType: 'axiom',
+                label: `a${label++}`,
+                sourceText: sentence.original,
+                sourceSentence: sentenceIdx,
+                comment: `Condicional modal: "${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: (0, helpers_1.applyLogicalModifiers)(atom, clause.modifiers.map((modifier) => modifier.type), profile),
+                    stType: clause.role === 'conclusion' ? 'derive' : 'axiom',
+                    label: `a${label++}`,
+                    sourceText: clause.text,
+                    sourceSentence: sentenceIdx,
+                    comment: `Subcláusula modal: "${clause.text}"`,
+                });
+            }
+            if (supplementalClauses.length === 0 && sentenceLevel.length > 0) {
                 formulas.push({
-                    formula: `${antFormula} -> ${consFormula}`,
-                    stType: 'axiom',
+                    formula: (0, helpers_1.applyLogicalModifiers)(consAtom, consClauses[0].modifiers.map((modifier) => modifier.type), profile),
+                    stType: consClauses[0].role === 'conclusion' ? 'derive' : 'axiom',
                     label: `a${label++}`,
-                    sourceText: sentence.original,
+                    sourceText: consClauses[0].text,
                     sourceSentence: sentenceIdx,
-                    comment: `Condicional modal: "${sentence.original}"`,
+                    comment: `Consecuente modal contextual: "${consClauses[0].text}"`,
                 });
             }
         }
@@ -85,17 +100,8 @@ function buildModalSentence(sentence, allAtoms, sentenceIdx, labelStart, profile
     else {
         // Oración no-modal: tratarla como proposicional con envoltura
         for (const clause of clauses) {
-            const atom = findAtomForClause(clause.text, allAtoms);
-            if (!atom)
-                continue;
-            let formula = atom.id;
-            // Revisar si algún modificador indica modalidad
-            for (const mod of clause.modifiers) {
-                if (mod.type === 'necessity')
-                    formula = `${necessityOp}(${formula})`;
-                else if (mod.type === 'possibility')
-                    formula = `${possibilityOp}(${formula})`;
-            }
+            const atom = (0, helpers_1.resolveAtomId)(clause.text, allAtoms);
+            const formula = (0, helpers_1.applyLogicalModifiers)(atom, clause.modifiers.map((modifier) => modifier.type), profile);
             const isConclusion = clause.role === 'conclusion';
             formulas.push({
                 formula,
@@ -109,23 +115,6 @@ function buildModalSentence(sentence, allAtoms, sentenceIdx, labelStart, profile
     }
     return formulas;
 }
-function findAtomForClause(text, allAtoms) {
-    return allAtoms.find(a => a.text === text || a.text.includes(text) || text.includes(a.text)) || null;
-}
-function getModalNecessity(profile) {
-    switch (profile) {
-        case 'deontic.standard': return connectors_1.ST_OPERATORS.necessity; // [] = obligación
-        case 'epistemic.s5': return connectors_1.ST_OPERATORS.necessity; // [] = conocimiento
-        default: return connectors_1.ST_OPERATORS.necessity; // [] = necesidad
-    }
-}
-function getModalPossibility(profile) {
-    switch (profile) {
-        case 'deontic.standard': return connectors_1.ST_OPERATORS.possibility; // <> = permisión
-        case 'epistemic.s5': return connectors_1.ST_OPERATORS.possibility; // <> = creencia
-        default: return connectors_1.ST_OPERATORS.possibility; // <> = posibilidad
-    }
-}
 function buildModalComment(text, profile) {
     const names = {
         'modal.k': 'Modal K',

package/dist/formula/modal.js.map

@@ -1 +1 @@
-{"version":3,"file":"modal.js","sourceRoot":"","sources":["../../src/formula/modal.ts"],"names":[],"mappings":";;AAWA,gCAgBC;AArBD,6CAA4C;AAE5C;;GAEG;AACH,SAAgB,UAAU,CACxB,SAA6B,EAC7B,WAAwB,EACxB,OAAqB;IAErB,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;QACjC,MAAM,KAAK,GAAG,kBAAkB,CAAC,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;QACrF,QAAQ,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;QACxB,YAAY,IAAI,KAAK,CAAC,MAAM,CAAC;IAC/B,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,kBAAkB,CACzB,QAA0B,EAC1B,QAAqB,EACrB,WAAmB,EACnB,UAAkB,EAClB,OAAqB;IAErB,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC;IACjC,IAAI,KAAK,GAAG,UAAU,CAAC;IAEvB,iDAAiD;IACjD,MAAM,WAAW,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC;IAC/C,MAAM,aAAa,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;IAEnD,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC9B,mCAAmC;QACnC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,MAAM,IAAI,GAAG,iBAAiB,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACtD,IAAI,CAAC,IAAI;gBAAE,SAAS;YAEpB,MAAM,YAAY,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;YACxE,MAAM,cAAc,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC;YAE5E,IAAI,OAAe,CAAC;YACpB,IAAI,YAAY,EAAE,CAAC;gBACjB,OAAO,GAAG,GAAG,WAAW,IAAI,IAAI,CAAC,EAAE,GAAG,CAAC;YACzC,CAAC;iBAAM,IAAI,cAAc,EAAE,CAAC;gBAC1B,OAAO,GAAG,GAAG,aAAa,IAAI,IAAI,CAAC,EAAE,GAAG,CAAC;YAC3C,CAAC;iBAAM,CAAC;gBACN,OAAO,GAAG,IAAI,CAAC,EAAE,CAAC;YACpB,CAAC;YAED,QAAQ,CAAC,IAAI,CAAC;gBACZ,OAAO;gBACP,MAAM,EAAE,OAAO;gBACf,KAAK,EAAE,IAAI,KAAK,EAAE,EAAE;gBACpB,UAAU,EAAE,MAAM,CAAC,IAAI;gBACvB,cAAc,EAAE,WAAW;gBAC3B,OAAO,EAAE,iBAAiB,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC;aACjD,CAAC,CAAC;QACL,CAAC;IACH,CAAC;SAAM,IAAI,QAAQ,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QAC3C,4BAA4B;QAC5B,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;QAChE,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CACrC,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAC7E,CAAC;QAEF,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrD,MAAM,OAAO,GAAG,iBAAiB,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACjE,MAAM,QAAQ,GAAG,iBAAiB,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAElE,IAAI,OAAO,IAAI,QAAQ,EAAE,CAAC;gBACxB,IAAI,UAAU,GAAG,OAAO,CAAC,EAAE,CAAC;gBAC5B,IAAI,WAAW,GAAG,QAAQ,CAAC,EAAE,CAAC;gBAE9B,oBAAoB;gBACpB,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,EAAE,CAAC;oBAC/D,UAAU,GAAG,GAAG,WAAW,IAAI,UAAU,GAAG,CAAC;gBAC/C,CAAC;gBACD,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,EAAE,CAAC;oBACjE,WAAW,GAAG,GAAG,aAAa,IAAI,WAAW,GAAG,CAAC;gBACnD,CAAC;gBACD,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,EAAE,CAAC;oBAC/D,WAAW,GAAG,GAAG,WAAW,IAAI,WAAW,GAAG,CAAC;gBACjD,CAAC;gBAED,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,GAAG,UAAU,OAAO,WAAW,EAAE;oBAC1C,MAAM,EAAE,OAAO;oBACf,KAAK,EAAE,IAAI,KAAK,EAAE,EAAE;oBACpB,UAAU,EAAE,QAAQ,CAAC,QAAQ;oBAC7B,cAAc,EAAE,WAAW;oBAC3B,OAAO,EAAE,uBAAuB,QAAQ,CAAC,QAAQ,GAAG;iBACrD,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;SAAM,CAAC;QACN,8DAA8D;QAC9D,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,MAAM,IAAI,GAAG,iBAAiB,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACtD,IAAI,CAAC,IAAI;gBAAE,SAAS;YAEpB,IAAI,OAAO,GAAG,IAAI,CAAC,EAAE,CAAC;YAEtB,gDAAgD;YAChD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;gBACnC,IAAI,GAAG,CAAC,IAAI,KAAK,WAAW;oBAAE,OAAO,GAAG,GAAG,WAAW,IAAI,OAAO,GAAG,CAAC;qBAChE,IAAI,GAAG,CAAC,IAAI,KAAK,aAAa;oBAAE,OAAO,GAAG,GAAG,aAAa,IAAI,OAAO,GAAG,CAAC;YAChF,CAAC;YAED,MAAM,YAAY,GAAG,MAAM,CAAC,IAAI,KAAK,YAAY,CAAC;YAClD,QAAQ,CAAC,IAAI,CAAC;gBACZ,OAAO;gBACP,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO;gBACzC,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,cAAc,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE;gBACzD,UAAU,EAAE,MAAM,CAAC,IAAI;gBACvB,cAAc,EAAE,WAAW;aAC5B,CAAC,CAAC;YACH,KAAK,EAAE,CAAC;QACV,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAY,EAAE,QAAqB;IAC5D,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CACvB,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAClE,IAAI,IAAI,CAAC;AACZ,CAAC;AAED,SAAS,iBAAiB,CAAC,OAAqB;IAC9C,QAAQ,OAAO,EAAE,CAAC;QAChB,KAAK,kBAAkB,CAAC,CAAC,OAAO,yBAAY,CAAC,SAAS,CAAC,CAAI,kBAAkB;QAC7E,KAAK,cAAc,CAAC,CAAC,OAAO,yBAAY,CAAC,SAAS,CAAC,CAAQ,oBAAoB;QAC/E,OAAO,CAAC,CAAC,OAAO,yBAAY,CAAC,SAAS,CAAC,CAAqB,iBAAiB;IAC/E,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAAC,OAAqB;IAChD,QAAQ,OAAO,EAAE,CAAC;QAChB,KAAK,kBAAkB,CAAC,CAAC,OAAO,yBAAY,CAAC,WAAW,CAAC,CAAE,iBAAiB;QAC5E,KAAK,cAAc,CAAC,CAAC,OAAO,yBAAY,CAAC,WAAW,CAAC,CAAM,gBAAgB;QAC3E,OAAO,CAAC,CAAC,OAAO,yBAAY,CAAC,WAAW,CAAC,CAAmB,mBAAmB;IACjF,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAY,EAAE,OAAqB;IAC5D,MAAM,KAAK,GAA2B;QACpC,SAAS,EAAE,SAAS;QACpB,kBAAkB,EAAE,UAAU;QAC9B,cAAc,EAAE,eAAe;KAChC,CAAC;IACF,MAAM,WAAW,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC;IAC9C,OAAO,GAAG,WAAW,MAAM,IAAI,GAAG,CAAC;AACrC,CAAC"}
+{"version":3,"file":"modal.js","sourceRoot":"","sources":["../../src/formula/modal.ts"],"names":[],"mappings":";;AAiBA,gCAgBC;AA3BD,uCAMmB;AAEnB;;GAEG;AACH,SAAgB,UAAU,CACxB,SAA6B,EAC7B,WAAwB,EACxB,OAAqB;IAErB,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;QACjC,MAAM,KAAK,GAAG,kBAAkB,CAAC,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;QACrF,QAAQ,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;QACxB,YAAY,IAAI,KAAK,CAAC,MAAM,CAAC;IAC/B,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,kBAAkB,CACzB,QAA0B,EAC1B,QAAqB,EACrB,WAAmB,EACnB,UAAkB,EAClB,OAAqB;IAErB,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC;IACjC,IAAI,KAAK,GAAG,UAAU,CAAC;IAEvB,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC9B,mCAAmC;QACnC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,MAAM,IAAI,GAAG,IAAA,uBAAa,EAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAClD,MAAM,OAAO,GAAG,IAAA,+BAAqB,EAAC,IAAI,EAAE,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;YAExG,QAAQ,CAAC,IAAI,CAAC;gBACZ,OAAO;gBACP,MAAM,EAAE,OAAO;gBACf,KAAK,EAAE,IAAI,KAAK,EAAE,EAAE;gBACpB,UAAU,EAAE,MAAM,CAAC,IAAI;gBACvB,cAAc,EAAE,WAAW;gBAC3B,OAAO,EAAE,iBAAiB,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC;aACjD,CAAC,CAAC;QACL,CAAC;IACH,CAAC;SAAM,IAAI,QAAQ,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QAC3C,6EAA6E;QAC7E,yEAAyE;QACzE,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;QAChE,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CACrC,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAC7E,CAAC;QAEF,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrD,MAAM,OAAO,GAAG,IAAA,uBAAa,EAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAC7D,MAAM,QAAQ,GAAG,IAAA,uBAAa,EAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAE9D,MAAM,WAAW,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;YAC/B,MAAM,UAAU,GAAG,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;YAEzE,IAAI,aAAa,GAAa,EAAE,CAAC;YACjC,IAAI,YAAY,GAAa,EAAE,CAAC;YAEhC,IAAI,UAAU,EAAE,CAAC;gBACf,iGAAiG;gBACjG,MAAM,wBAAwB,GAAG,WAAW,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE;oBAClE,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC;oBACnE,OAAO,OAAO,IAAI,OAAO,CAAC,QAAQ,GAAG,UAAU,CAAC,QAAQ,IAAI,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAC9G,CAAC,CAAC,CAAC;gBAEH,aAAa,GAAG,wBAAwB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBAC1D,YAAY,GAAG,WAAW,CAAC,SAAS;qBACjC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;qBAChD,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACtB,CAAC;iBAAM,CAAC;gBACN,aAAa,GAAG,IAAA,sCAA4B,EAAC,WAAW,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;gBAC7E,YAAY,GAAG,IAAA,6BAAmB,EAAC,WAAW,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;YACrE,CAAC;YAED,MAAM,UAAU,GAAG,IAAA,+BAAqB,EAAC,OAAO,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;YACzE,MAAM,WAAW,GAAG,IAAA,+BAAqB,EAAC,QAAQ,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;YACxH,MAAM,WAAW,GAAG,GAAG,UAAU,OAAO,WAAW,EAAE,CAAC;YAEtD,QAAQ,CAAC,IAAI,CAAC;gBACZ,OAAO,EAAE,IAAA,+BAAqB,EAAC,WAAW,EAAE,aAAa,EAAE,OAAO,CAAC;gBACnE,MAAM,EAAE,OAAO;gBACf,KAAK,EAAE,IAAI,KAAK,EAAE,EAAE;gBACpB,UAAU,EAAE,QAAQ,CAAC,QAAQ;gBAC7B,cAAc,EAAE,WAAW;gBAC3B,OAAO,EAAE,uBAAuB,QAAQ,CAAC,QAAQ,GAAG;aACrD,CAAC,CAAC;YAEH,MAAM,mBAAmB,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAClD,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,IAAI,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,CACvD,CAAC;YAEF,KAAK,MAAM,MAAM,IAAI,mBAAmB,EAAE,CAAC;gBACzC,MAAM,IAAI,GAAG,IAAA,uBAAa,EAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;gBAClD,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,IAAA,+BAAqB,EAAC,IAAI,EAAE,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC;oBAChG,MAAM,EAAE,MAAM,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO;oBACzD,KAAK,EAAE,IAAI,KAAK,EAAE,EAAE;oBACpB,UAAU,EAAE,MAAM,CAAC,IAAI;oBACvB,cAAc,EAAE,WAAW;oBAC3B,OAAO,EAAE,uBAAuB,MAAM,CAAC,IAAI,GAAG;iBAC/C,CAAC,CAAC;YACL,CAAC;YAED,IAAI,mBAAmB,CAAC,MAAM,KAAK,CAAC,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACjE,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,IAAA,+BAAqB,EAAC,QAAQ,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC;oBAC5G,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO;oBACjE,KAAK,EAAE,IAAI,KAAK,EAAE,EAAE;oBACpB,UAAU,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI;oBAC/B,cAAc,EAAE,WAAW;oBAC3B,OAAO,EAAE,kCAAkC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG;iBAClE,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;SAAM,CAAC;QACN,8DAA8D;QAC9D,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,MAAM,IAAI,GAAG,IAAA,uBAAa,EAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAClD,MAAM,OAAO,GAAG,IAAA,+BAAqB,EAAC,IAAI,EAAE,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;YAExG,MAAM,YAAY,GAAG,MAAM,CAAC,IAAI,KAAK,YAAY,CAAC;YAClD,QAAQ,CAAC,IAAI,CAAC;gBACZ,OAAO;gBACP,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO;gBACzC,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,cAAc,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE;gBACzD,UAAU,EAAE,MAAM,CAAC,IAAI;gBACvB,cAAc,EAAE,WAAW;aAC5B,CAAC,CAAC;YACH,KAAK,EAAE,CAAC;QACV,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAY,EAAE,OAAqB;IAC5D,MAAM,KAAK,GAA2B;QACpC,SAAS,EAAE,SAAS;QACpB,kBAAkB,EAAE,UAAU;QAC9B,cAAc,EAAE,eAAe;KAChC,CAAC;IACF,MAAM,WAAW,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC;IAC9C,OAAO,GAAG,WAAW,MAAM,IAAI,GAAG,CAAC;AACrC,CAAC"}

package/dist/formula/probabilistic.d.ts

@@ -0,0 +1,3 @@
+import type { AnalyzedSentence, AtomEntry, FormulaEntry } from '../types';
+export declare function buildProbabilistic(sentences: AnalyzedSentence[], atomEntries: AtomEntry[]): FormulaEntry[];
+//# sourceMappingURL=probabilistic.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"probabilistic.d.ts","sourceRoot":"","sources":["../../src/formula/probabilistic.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AAG1E,wBAAgB,kBAAkB,CAChC,SAAS,EAAE,gBAAgB,EAAE,EAC7B,WAAW,EAAE,SAAS,EAAE,GACvB,YAAY,EAAE,CAsDhB"}