pprinting for relpredicates