Knowledge Representations+MORK (MeTTa Optimized Reduction Kernel)+Trie-Map traversal+label