Dex r←[x](F⊩G)y

If x is not provided, r is G y; if x is provided, r is x G y.