A Case Study in Knowledge Representation and Reasoning with Higher-Order Combinators