Postgresql Create Function In Specification For A Cut