Instance, Hypotheses, and More General-Than Instances X Hypotheses H General x1<Summy, Warm, High, Strong, Cool, Same> h,=<Summmy, 2, 2, Strong, 2,2> Summy, Warm, High, Light, Warm, Same h=<m.?.?.?.?,> h=<Sum. ??? Cool