PanLinx
English
eng-000
formal contradiction
русский
rus-000
формальное противоречие
PanLex