mixed `()(mixed left, mixed right)
Does the same as the contains function: returns true if the relation "left R right " exists, and otherwise false.