Find all sailors with a rating above 7
{S | S ? Sailors ^ S.rating > 7}
Query is evaluated on an instance of Sailors
Tuple variable S is instantiated to each tuple of this instance in turn, and the condition “S.rating > 7” is applied to each such tuple.
Answer contains all instances of S (which are tuples of Sailors) satisfying the condition.