isbanded predicate