<<< native [ EUnder False (EIdentifier "BASE") (EIdentifier "under script") , ESymbol Rel "=" , EUnder False (EUnder False (EUnder False (EIdentifier "BASE") (EIdentifier "under script")) (EPhantom (EIdentifier "fail"))) (EPhantom (EIdentifier "fail")) ] >>> eqn BASE from {under script} = {{BASE from {under script}} from {hphantom fail}} from {hphantom fail}