Did you know ... Search Documentation:
Predicate needs_one/2
 needs_one(+Ops, -OneOrZero)[private]
If one of the operations in Ops needs at least one answer, unify OneOrZero to 1. Else 0.