part_of implies located_in

[alanruttenberg]

I think I forgot that - need to fix it in the specification.

[zhengj2007]

@alanruttenberg I would like to confirm that you mean to remove following sentences from the specification:

"For all independent continuants a and b, parthood implies location. AXIOM: if b continuant_part_of c at t and b is an independent continuant, then b is located_in c at t. [047-002]"

If so, I will do it.