X233: Non-quantified predicate followed by a list of values.
Parent topic:
X200 - X249