subpredicative

not defined yet