The idea behind this initially (way before JPA and its ON clause, btw) was to allow adding simply restrictions to the join predicates that are already defined in the mapping for this particular query. When I first developed WITH support, we did not have the context needed to properly validate predicates there that referenced more than one "FromElement". Maybe the validation is not important.