A A l is_a(X, wild_panda) eats(X, bamboo) (eats(X, honey) v eats(X, eggs) veats(X, fish) veats(x, banana)) -> lives_in(X, 200) [3] [4] [5] [6] [7] [8] [9] [10] eats(paddy, bamboo) eats(paddy, banana) has(paddy, black_patches_around_eyes) has(paddy, black_patches_around_ears) has(paddy, large_black_patches_around_body) is_atuti, green_seaturtle)