!7

/*sclass AppliedRules {
  new Set<Pair<O, L>> appliedRules; // rule + arguments
}*/

p-exp {
  S input = [[input contains $a && $a sounds like $b => ProposeInnerRewrite($a, $b)]];
  
  new LinkedHashSet<LS> propositions;
  propositions.add(tok_groupRoundBrackets(input));
  LS ops = map unquote(generalDefinition_rev("a binary operator"));
  printStruct(ops);
  for (LS tok : concurrentlyIterateList(propositions))
    for (S op : ops) {
      L<Int> l = jfindAll(tok, op);
      if (nempty(l))
        print(op + " => " + l);
    }
}