[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")))))]
