PanLinx
русский
rus-000
шаг логического вывода
English
eng-000
derivation step
PanLex
