fixed a uniqueness parsing problem by using longest-match choice
fixed a uniqueness parsing problem by using longest-match choice

lex-lex/Leo-III,leoprover/Leo-III,leoprover/Leo-III,leoprover/Leo-III,lex-lex/Leo-III,lex-lex/Leo-III