PanLinx
русский
rus-000
индуктивная логика
English
eng-000
inductive logic
PanLex
