@J12t yeah, it’s a pretty general tool for specifying a derivation tree, with an old-fashioned notation. I wonder if the missing link is a conversion tool, but I’d have to read up on the failed attempts to learn why none have stuck. Which I might want to do before choosing make for something new, but if they all failed for relevant reasons I might still choose make