How to: create a definition

A "how to" on creating definitions in ClauseBase.