biped（a）⇒∃L1，l 2，b腿（l 1）∧腿（L 2）∧身体（b）∧部分（l 1，a）∧partof（l 2，a）∧partof（l 2，a）∧部分（b，a）∧（a）∧（l 1，b）∧（l 1，b）∧（l 2，b）∧（l 2，b）∧l 1 fef（l 2，b）l 2 fef。 ⇒（L 3 = L1∨l 3 = L 2）]