[ S | S <- DB, Predicate1, Predicate2, ... ]

Assume that standard relational tests are available.

The notation Objs(S) denotes the set of objects in a scene.

The predicate has is defined as:   S.has(X) = X Objs(S)