<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_4na26i9n08uh722krgj0k44gi4, 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 />
bool smartParser1_verbose;

void smartParser1(S program) {
  // split into paragraphs and unindent

  LS paragraphs = map autoUnindent(map rtrim(/*XXX*/ tok_splitAtEmptyLines(program)));
  if (smartParser1_verbose) print("Got " + n2(paragraphs, "parapraph"));

  // print the parapraphs
  if (smartParser1_verbose) print(joinWithEmptyLines(map(s -> indentx("> ", s), paragraphs)));

  // throw away comment-only and quoted paragraphs (assume it's a title)
  LS paragraphs2 = antiFilter(paragraphs, s -> 
    isSingleLine(trim(s)) && isQuoted(trim(s)) || countJavaTokens(s) == 0
    || endsWith(rtrim(s), "----"));
  if (smartParser1_verbose) print("Got " + n2(paragraphs2, "filtered paragraph"));
  if (smartParser1_verbose) print(joinWithEmptyLines(map(s -> indentx("> ", s), paragraphs2)));

  // find fact paragraphs
  
  if (smartParser1_verbose) print(map allLinesAreUnindented(paragraphs2));
  Pair<LS> p1 = filterAntiFilter(s ->
    !isSingleLine(trim(s)) && allLinesAreUnindented(s), paragraphs2);
  LS multiFactParagraphs = p1.a, paragraphs3 = p1.b;

  for (S para : multiFactParagraphs)
    for (S s : tlft(para))
      addFact(s);

  // find logic rules

  new LS paragraphs4;
  for (S para : paragraphs3) {
    PairS p = splitAtDoubleArrow_pair(para);
    if (p == null) continue with paragraphs4.add(para);
    addLogicRule(new LogicRule(splitAtAmpersand2(p.a), splitAtAmpersand2(p.b)));
  }

  if (smartParser1_verbose) pnlStruct("Unparsed - assuming facts", paragraphs4);

  // assume the unparsed stuff consists of facts
  for (S para : paragraphs4)
    addFact(para);
  
  originalFacts = cloneCISet(facts);
}