More robust predicate arity