Categorical Syllogy structure and processing lib