(=> (_Uncontrolled ?A ?B) (Exists (?Y) (And (Organism ?Y) (Embodies ?Y ?A) (Not (Strictly-Depends-On ?A ?Y)))))