Title: The methodology of knowledge layers for inducing descriptions of sequentially ordered events
Subjects: Many-valued logic, Induction (Mathematics), Computer programs