Name your predicate (starting with a lower case letter) in the dialog. Then you may drop messages into the body to define what the predicate does. The predicate needs at least one return statement and a return statement must always be executed when this predicate is executed.