* LastProvinceSpec expansion, grammar