Formatted predicate definition.