So we will eventually extract something like:

IF x is larger than y, AND y is larger than z,

THEN x is larger than z

and 1000's like these basic metaphysical truths that describe how the world runs? We will actually find these in text?