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