[Technical Report] First-order Variable Terms should not be concepts

[ccrock4t]

Technical Report

Variable terms, or certain compound terms containing variables, do not correspond to concepts.

More Info

It is not creating atomic variable terms, which is correct, but it is incorrectly creating first-order statements with variables.

e.g., For inputting a statement <<#x-->A>==><#x-->B>>, the concepts <#x-->A> and <#x-->B> appear in the Memory

Note that the higher-order statement (<<#x-->A>==><#x-->B>>) should remain the memory, despite that it contains variables.