data Selection -> type Selection = (NP, [Expression])