Inheritance in Higher Order Logic: Modeling and Reasoning M. Huisman, B.P.F. Jacobs Computing Science Institute/ CSI-R0004 February