is a conditional expression that involves data items of the object
  record.  It is used to specify additional requirements of a
  qualifying record.