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