update: number example adjusted
//introducing numbers as a transitive chain of smaller relations:
<(<($1 * #1) --> smaller> && <(#1 * $2) --> smaller>) ==> <($1 * $2) --> smaller>>.
<(1 * 2) --> smaller>.
+10
<(2 * 3) --> smaller>.
+10
<(3 * 4) --> smaller>.
-<(4 * 5) --> smaller>.
-12
+10
<(1 * 3) --> smaller>?
//expected: Answer: <(1 * 3) --> smaller>. Truth: frequency=1.000000, confidence=0.729000
<(2 * 4) --> smaller>?
//expected: Answer: <(2 * 4) --> smaller>. Truth: frequency=1.000000, confidence=0.729000
-<(3 * 5) --> smaller>?
-//expected: Answer: <(3 * 5) --> smaller>. Truth: frequency=1.000000, confidence=0.729000
10
<1 --> sourcepos>. :|:
<3 --> targetpos>. :|:
10
<(sourcepos * targetpos) --> smaller>? :|:
-////expected: Answer: <(sourcepos * targetpos) --> smaller>. :|: occurrenceTime=31 Truth: frequency=1.000000, confidence=0.221937
+//expected: Answer: <(sourcepos * targetpos) --> smaller>. :|: occurrenceTime=48 Truth: frequency=1.000000, confidence=0.221937
G! :|:
-////expected: ^left executed with args
+//expected: ^left executed with args
10
