A.12:4.4 - No Containing-Whole Inference From Interaction
Treat the interaction and part-whole claims separately. A system changing another holon does not thereby become its part or the larger whole containing it.
For a part-whole claim, use A.14 or the rule defining the exact part-whole predicate to test parthood independently of the interaction claim.