Surrounded ConstraintExp with brackets to indicate a list