Operator: check-criterion

Operator Overview:

This operator is used to check whether the visual object we are currently looking at satisfies our search criterion.

Operator Proposal:

The operator is proposed in search-for-step when there is an object in the fovea that is being attended to but has not been recognized, we are looking at the CMD column of the OMI, and we do not know yet whether the criterion has been satisfied, but there is a recognition target associated with the task.

Operator Application:

Returns a preference for a recognize operator to the top, resulting in the termination of the impasse.