[ EUnder False (EIdentifier "BASE") (EIdentifier "under")
, ESymbol Rel "="
, EUnder
    False
    (EUnder False (EIdentifier "BASE") (EIdentifier "under"))
    (EPhantom (EIdentifier "under"))
]