You don't indicate which parameters are in-parameters and which are out-parameters. That depends on how the predicate is used, not on how the predicate is defined.