Displaying axioms using examples
To present axioms about a concept C,
- user doesn’t see the raw axioms directly
- Rather, user sees an example I of C
- Sees a graph of ground facts about I (computed from the axioms)
- ground facts are comprehensible and graphable
User builds new concept by interacting with this and other examples