Find!
x1 (proposition) is a theory of x2 (proposition); x1 (proposition) is a system of explanations of structure, basic principles or behavior of x2 (proposition)
See also ciksi, ciste