test

exi s1 [and [%in s1 [cls! x true]] [exi w3 [and [%in w3 [cls! x true]] [= w2 [pr! s1 w3]]]]]