(=> (Replication ?Self) (And (Exists (?A) (And (Embodied-In ?Self ?A) (Biologic-Object ?A))) (Exists (?B) (And (Product ?Self ?B) (Anatomical-Structure ?B) (Exists (?C) (And (Copy-Of ?B ?C) (Anatomical-Structure ?C)))))))