WATCH: Relations and Determining whether a Relation is a Function