subpredication

not defined yet