Hierarchical reasoning on symbolic sequences