Find!
s1 is the single, unambiguous meaning of s2 recognized/accepted by s3; x2=s2 is unambiguous/explicit according to x3=s3.