!752

static S inputText = [[
  a point contains an "x coordinate"
  a point contains an "y coordinate"
  p is a point
  
  A is a B
  a B contains a C
    -> A contains a C
]];

static new L<S> statements;
static new L<Rule> rules;

p {
  inputText = anToA(inputText);
  L<S> log = toLinesTrim2(inputText);
  L<Int> emptyLines = concatLists(ll(-1), indexesOf(log, ""), ll(l(log)));
  for (int ii = 0; ii+1 < l(emptyLines); ii++) {
    int i = emptyLines.get(ii), j = emptyLines.get(ii+1);
    L<S> l = subList(log, i+1, j);
    continue if empty(l);
    L<Int> arrows = indexesOfLinesStartingWith(l, "->");
    if (empty(arrows))
      statements.addAll(l);
  }
  
  rules = parseRules(inputText);
  
  print("Rules:");
  pslIndent(rules);
  
  print("Statements:");
  printIndented(nlPrettyPrint(statements));
  
  L<S> newStatements = inferStuff();
  print("New statements:");
  printIndented(nlPrettyPrint(newStatements));
}

static L<S> inferStuff() {
  genLog_set(new L(statements));
  for (Rule rule : rules) {
    L<SS> matches = asList(gSatAnd(rule.in));
    for (S out : rule.out)
      for (SS match : matches)
        gAdd(replaceVars_autoQuote(out, match));
  }
  ret new L(subList(gLog(), l(statements)));
}