Closed TonyLo1 closed 7 years ago
holds for all commutative terms currently, only in inference they are permuted to make sure that all conclusions are reached, but only the normalized result determines the concept where they go in so that there won't be multiple. Will fix it by normalizing the term after parsing also when I have time.
done. will be closed after my next pull request is merged.
Works:
<swan --> swimmer>. %0.9;0.9% <swan --> bird>. <swimmer <-> bird>?
Doesn't work:
<swan --> swimmer>. %0.9;0.9% <swan --> bird>. <bird <-> swimmer>?