PanLinx
русский
rus-000
эквивалентное утверждение
English
eng-000
equivalent proposition
PanLex
