Find!
s1 is the taxonomy of s2=k2 based on methodology s3.
x2 may be subjects of biology, semantics, economics, military science, safety science, etc. Cf. jutske, klesi.