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:
Add the semantic types in the blanks. Use simple letters ("e" or "t") for simple types. Use round brackets for complex types (for example: "(e,t)").