fixed #14, ⍺⊂⍵ is "partitioned enclose"