!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 = generalDefinition_rev("a binary operator");
  printStruct(ops);
}