<<< native [ ESub (EIdentifier "A") (ESub (EIdentifier "B") (ESub (EIdentifier "C") (EIdentifier "D"))) , ESymbol Rel "=" , ESub (EIdentifier "A") (ESub (EIdentifier "B") (ESub (EIdentifier "C") (ESub (EIdentifier "D") (EPhantom (EIdentifier "E"))))) ] >>> omml A B C D = A B C D E