Give location for predicate syntax exceptions