restrict grammar describing dependent contract