PanLinx
English
eng-000
predicative formula
русский
rus-000
предикативная формула
PanLex
