[ ESub (EIdentifier "D") (EIdentifier "y")
, ESymbol Rel "="
, ESub
    (EIdentifier "D")
    (EUnder False (EIdentifier "y") (EPhantom (EIdentifier "s")))
]