add the meet form of the multivariate gk