PKC Workflow/Context

1. This is the 2021 summer project of Tz-Chuang starting from June 27, 2021 to August 21,2021.
2. Despite the various models for domain knowledge, there isn't a high-level model which is expressive, compact, practical, and independent of domains. This gives rise to Logic Model.