KERML_ — Select Expression result parameter implicit subsetting produced by reference implementationnot defined in specification

package p {
    part b {
        part B;
    }
    part A :> b;
    e = A.? { }.B;
}

The pilot implementation creates implied subsetting for the select expression result parameter to specify more specific return type than Anything.
This is so that the select expression application on collection of objects of type X returns result of collection of type X objects