1 Notation from chapter 2: hobbit(frodo) New notation:
2 Notation from chapter 2: walk(frodo) New notation:
3 Notation from chapter 2: help(aragorn,frodo) New notation:
|type={}} a. frodo_{e_1}