PanLinx
English
eng-000
forward-chaining cycle sequence
русский
rus-000
цикл прямого умозаключения
PanLex
