(defun subsetp (s1 s2))