subpredicates