PanLinx
CycL
art-285
CycParseTree
polski
pol-000
drzewo wyprowadzenia
PanLex