PanLinx
русский
rus-000
доказанность умозаключением
English
eng-000
inferential proof
PanLex
