<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_4mfkuq6cqd3fj9gaij1tlaa3n5, 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

sS script1 = "Assert (True).";
sS script2 = "Assert (False).";

sS script = [[
  Make an empty thought space X.
  Assert (X is empty).
  Add (God is good) to X.
  Assert (Not (X is empty)).
  Add (Remove (God is good)) to X.
  Apply always rules in X.
  Assert (X is empty).
]];

sS bla = [[
  // concepts
  zivsiiacmvqrolto - True
  zqbbvhdeuzyhewed - False
  jamvyfwypzbptvle - Make an empty thought space X.
  matnhiruhwprdiir - Add (X) to Y.
  aaedrmcbfcsubkkf - Apply rule (X) to Y.
  bcypplfticghlkxy - Apply always rules in X.
  yvmxaacduvvomgqi - X is empty
  rzryqdohxtczvzgn - Assert (X).
  wynynoujiakixjus - Not (X)
  chjllkocfhtwcgoj - Remove (X)
]];

p {
  myTruth(bla);
  aiStandardHandlers();

  assertScriptSucceeds(script1);
  assertScriptFails(script2);
  assertScriptSucceeds(print(xyzToNewIDs(script)));
  print("OK");
}

svoid assertScriptSucceeds(S script) {
  int i = 0;
  L<Lisp> lines = linesToLisp(script);
  for (Lisp cmd : lines) {
    O executor = getLispExecutor(cmd.head);
    if (executor == null) fail("No executor for " + cmd);
    callF(executor, cmd);
    print("Executed line " + (++i) + " of " + l(lines));
  }
}

svoid assertScriptFails(fS script) {
  assertFail_verbose(r { assertScriptSucceeds(script); });
}