-- Nov 15 In-Class Exercise
Camel(c) <=> ∃h1, h2, b, l1, l2, l3, l4 leg(l1) ^ leg(l2) ^ leg(l3) ^ leg(4) ^ body(b) ^
partOf(l1, c) ^ partOf(l2, c) ^ partOf(l3, c) ^ partOf(l4, c) ^ hump(h1) ^partOf(h1, c) ^ partOf(h2, c) ^
attached(l1, c) ^ attached(l12, c) ^ attached(l2, c) ^ attached(l4, c) ^ attached(h1, c) ^ attached(h2, c)
(
Edited: 2017-11-15)
Camel(c) <=> ∃h1, h2, b, l1, l2, l3, l4 leg(l1) ^ leg(l2) ^ leg(l3) ^ leg(4) ^ body(b) ^
partOf(l1, c) ^ partOf(l2, c) ^ partOf(l3, c) ^ partOf(l4, c) ^ hump(h1) ^partOf(h1, c) ^ partOf(h2, c) ^
attached(l1, c) ^ attached(l12, c) ^ attached(l2, c) ^ attached(l4, c) ^ attached(h1, c) ^ attached(h2, c)