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