Find!
k1 is a language type/category/subgroup/subset (linguistic taxon) within languages b1=k2, with typological features k3.