PanLinx
فارسی
pes-000
برهان لمی
English
eng-000
deduction
English
eng-000
reasoning
PanLex