Find!
x1 is the truth value / degree of truth of x2 (bridi) by epistemology/metaphysics x3
See also jetnu, jei