static WordTokRule rule_useryWants_1(Set<S> facts) {
  ret new WordTokRule("Usery wants that X", "X") {
    run {
      S x_simplified = simpleSpaces_nTok(getVar("X"));
      if (contains(facts, x_simplified))
        emit(extMarkAs answer("But " + x_simplified + " already"));
      else if (contains(facts, "It is impossible that " + curly(x_simplified)))
        emit(extMarkAs answer("No way brother"));
      else if (debug) print("Can't decide on: " + x_simplified);
    }
  };
}