!7

p-exp {
  S input = [[input contains $a && $a sounds like $b => ProposeInnerRewrite($a, $b)]];
  
  new LinkedHashSet<LS> propositions;
  propositions.add(javaTok(input));
  LS ops = map unquote(generalDefinition_rev("a binary operator"));
  printStruct(ops);
}