On Contents r←[x](Fᑒ)y

r is the result of applying F to the disclose of [x and] y: r←[x] F⍥⊃ y.