!7

sS facts = [[
  dxfxffxemdxzfxrp (aiwrjldimdxnmuyb "l_javaTokC") xsequcokjsslutzb
]];

p {
  useFacts_cl(facts);
  setConsoleInput("xsequcokjsslutzb \"a b c\"");
  bot();
}

static S answer(S s) {
  Lisp l = englishToLisp(s);
  for (Map<S, Lisp> match : lispTruthMatches(
    lisp("dxfxffxemdxzfxrp", lisp("aiwrjldimdxnmuyb", "x"), l.head),
    "x")) {
    print("Match: " + struct(match);
  }
  ret str(l);
}