<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_rk362bcts0378kt0dthe6180c9, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
!7

!include #1007960 // englishToConceptLanguage_xyz

sS concepts = [[
  ["jcnbmtmfzktxhzyf", "X + Y"],
  ["bwqhmnorjpyomdbv", "X * Y", "multiplication"],
  ["mcoswmplpqlieruo", "(X)"],
  ["olphazqzxxnvtjcx", "X evaluates through standard function Y."],
  ["wwaprwlmqzqeaikp", "A leaf satisfying standard function X evaluates through standard function Y."],
  ["hkihrqgdlkdayxzn", "X is just bracketing."],
]];

sS statements = [[
  olphazqzxxnvtjcx jcnbmtmfzktxhzyf "plus"
  olphazqzxxnvtjcx bwqhmnorjpyomdbv "multiply"
  hkihrqgdlkdayxzn mcoswmplpqlieruo
  wwaprwlmqzqeaikp "isInteger" "bigint"
]];

p-tt {
  centerHigherConsole();
  useConcepts(concepts);
  useFacts_cl(statements);
  //set englishToConceptLanguage_xyz_debug;
  printIndent(fromLines(sortByArgumentHygiene(parseMulti(print("1")));
  printIndent(fromLines(sortByArgumentHygiene(parseMulti(print("(5)")));
  printIndent(fromLines(sortByArgumentHygiene(parseMulti(print("2 * (3)")));
  printIndent(fromLines(sortByArgumentHygiene(parseMulti(print("1 * (2 + 3)")));
  printIndent(fromLines(sortByArgumentHygiene(parseMulti(print("(1 + 2) * 3")));
  printIndent(fromLines(sortByArgumentHygiene(parseMulti(print("(1 + 2) * (3 + 4)")));
  printIndent(fromLines(sortByArgumentHygiene(parseMulti(print("1 + 2 * 3")));
  printIndent(fromLines(sortByArgumentHygiene(parseMulti(print("1 * 2 + 3")));
}

static L<Lisp> parseMulti(S s) {
  ret englishToLispWith_multi(s, ll("mcoswmplpqlieruo", "jcnbmtmfzktxhzyf", "bwqhmnorjpyomdbv"));
}

static O eval(Lisp l) { ret generalLispEval(l); }