problem-set/puzzles/birds/bird4.desc created : 08/11/88 revised : 08/16/88 Natural Language Description: 'A Question on Agreeable Birds'. For all birds x and y, there exists a bird z that composes x with y for all birds w. Hypothesis: If C is agreeable then A is agreeable. Versions: bird4.ver1 : uses paramodulation with an equality formulation. created by : Shari McRae verified for ITP : untested translated for OTTER by : K.R. verified for OTTER : 06/28/88 bird4.ver2 : uses UR resolution and paramodulation with an equality formulation. created by : Shari McRae verified for ITP : untested translated for OTTER by : K.R. verified for OTTER : 06/28/88