cprint {
  S scenario1 = autoUnindent_mls([[
    There is a plan
    The plan works
  ]]);

  S scenario1 = autoUnindent_mls([[
    There is this idea
    This idea is a plan
    This idea works
  ]]);

  NLABlock nla1, nla2;
  S output;
  
  visual jvsplit(jhsplit(dm_textAreaAsSection input(), dm_textAreaAsSection output()), super);
  
  start { dm_onFieldChangeAndNow input(r calc); }

  void calc {
    setField(nla1 := nla_simplifyIntroductions(scenario1));
    setField(nla2 := nla_simplifyIntroductions(scenario2));
    printWithIndent("nla1: ", nla1);
    printWithIndent("nla2: ", nla2);
    
    L<Map<NLABlock.Entity>> mappings = nla_partialMappings(b1, b2);
    if (empty(mappings))
      setField(output := "Scenarios incompatible");
    else
      setField(output := "Scenarios compatible:\n\n" + lines(mappings));
  }
}