!7

srecord GToParse(O text) {}

cprint {
  transient new TransformersOnObjects too;
  switchable long maxSteps = 1000;

  start-thread {
    S ruleText = [[LineByUser("a * is something like *") => Assumption("* is a noun")]];
    too.add(GToParse(ruleText));
    
    // unpack GToParse
    too.addTransformer(func(GToParse x) { x.text });

    too.addTransformer(f<S, O> splitAtDoubleArrow_pair);
    too.addTransformer(f<S, O> parseFunctionCall);
    too.addTransformer(f<S, O> unquote);
    too.addTransformer(f<Pair, O> pairA);
    too.addTransformer(f<Pair, O> pairB);
      
    stepAllWithStats(too, maxSteps);
    too.printWithTrails();
  }
}