I was reproducing examples that Patrick was typing in in the Q&A section of Thursday's demonstration. I noticed that the output that I got was different to that in the demonstration.
What I saw when I tried to duplicate:
(base) dsluis@Dwanes-MacBook-Pro OpenNARS-for-Applications % ./NAR shell
<dog --> [large]>. %0.8%
Input: <dog --> [large]>. Priority=1.000000 Truth: frequency=0.800000, confidence=0.900000
<cat --> [large]>. %0.6%
Input: <cat --> [large]>. Priority=1.000000 Truth: frequency=0.600000, confidence=0.900000
Derived: <dog --> cat>. Priority=0.269152 Truth: frequency=0.800000, confidence=0.327052
Derived: <cat --> dog>. Priority=0.242694 Truth: frequency=0.600000, confidence=0.393204
Derived: <dog <-> cat>. Priority=0.229177 Truth: frequency=0.521739, confidence=0.427000
Derived: <cat <-> dog>. Priority=0.229177 Truth: frequency=0.521739, confidence=0.427000
Derived: <(cat | dog) --> [large]>. Priority=0.145140 Truth: frequency=0.480000, confidence=0.810000
Derived: <(dog | cat) --> [large]>. Priority=0.145140 Truth: frequency=0.480000, confidence=0.810000
Derived: <(cat & dog) --> [large]>. Priority=0.252060 Truth: frequency=0.920000, confidence=0.810000
Derived: <(dog & cat) --> [large]>. Priority=0.252060 Truth: frequency=0.920000, confidence=0.810000
Derived: <(cat ~ dog) --> [large]>. Priority=0.057660 Truth: frequency=0.120000, confidence=0.810000
Derived: <(dog ~ cat) --> [large]>. Priority=0.106260 Truth: frequency=0.320000, confidence=0.810000
# Patricks output had an additional line was here
Derived: <<dog --> [$1]> ==> <cat --> [$1]>>. Priority=0.135396 Truth: frequency=0.600000, confidence=0.393204
Derived: <<cat --> [$1]> ==> <dog --> [$1]>>. Priority=0.150156 Truth: frequency=0.800000, confidence=0.327052
Derived: <<dog --> [$1]> <=> <cat --> [$1]>>. Priority=0.127855 Truth: frequency=0.521739, confidence=0.427000
Derived: <<cat --> [$1]> <=> <dog --> [$1]>>. Priority=0.127855 Truth: frequency=0.521739, confidence=0.427000
Derived: (<dog --> [#1]> && <cat --> [#1]>). Priority=0.121457 Truth: frequency=0.480000, confidence=0.810000
Derived: (<cat --> [#1]> && <dog --> [#1]>). Priority=0.121457 Truth: frequency=0.480000, confidence=0.810000
# the contents of the extra derived line in the demonstration was :
<(dog * cat) --> [+large]>.
Why would my run miss the derived inference 'the dog is larger than the cat'? Could I be on the wrong version of ONA?
many thanks