Axiom parts-of-common-whole-and-located-in-one-means-part-of-it is wrong.

[alanruttenberg]

Is this axiom correct? If it is correct, explain why. If not, remove it.

    (forall (x y t)
     (if
      (exists (w)
       (and (continuant-part-of x w t) (continuant-part-of y w t)))
      (and (if (located-in x y t) (continuant-part-of x y t))
       (if (located-in y x t) (continuant-part-of y x t)))))

Question from Hedi Karray

[alanruttenberg]

Counterexample: A parasite in a an animal both part of an environment. The parasite is not part of the animal. I was probably thinking of organisms, for which I think the axiom would be true.
Fixed in the next release