Lurch web app user interface

Class

Definition

A definition is a type of shell that functions exactly like a Rule, except has the word "Definition" on top instead of "Rule".