def interpret(self, match): name = match.words.tokens return IsBook() + HasKeyword(name)
def interpret(self, match): book = IsBook() + HasAuthor(match.author) book_name = NameOf(book) return book_name, "enum"
def interpret(self, match): _author, i, j = match.author book = IsBook() + HasAuthor(_author) book_name = NameOf(book) return book_name, ReturnValue(i, j)