# Inequality on items

!distribute items $wims_read_parm into slib_n, slib_type, slib_formula

!default slib_static_random=!randint -500,500
!default slib_dir=!randint 1,4
slib_data=!line $slib_dir of $[$slib_static_random]-x,\(<=),less than or equal to\
	$[$slib_static_random-1]-x,\(<),strictly less than\
	x-$[$slib_static_random],\(>=), more than or equal to\
	x-$[$slib_static_random+1],\(>),strictly more than

slib_form=!item 1 of $slib_data
slib_p=!item 2 to -1 of $slib_data
!default slib_print=!randitem $slib_p

slib_list=!item 4 to -1 of $wims_read_parm
slib_test=!values min(0,$slib_form) for x in $slib_list
slib_1=!positionof item 0 in $slib_test
!if $slib_formula != $empty
 slib_l=!item $slib_1 of $slib_list
 slib_sum=!sum $slib_formula for x in $slib_l
!else
 slib_sum=
!endif

slib_tq=!randitem such that, for which, where

!if $slib_type=count
 slib_2=that are $slib_pp $slib_static_random
!else
 slib_2=for the indices var_i $slib_tq var_l[var_i] is $slib_print $slib_static_random
!endif

slib_out=$slib_1\
$slib_2\
$slib_sum

