PanLinx
русский
rus-000
основанный на доказательстве
English
eng-000
justification-based
PanLex