(<=> (Foreign-Body ?Self) (And (*Mass ?Self) (Exists (?A) (And (Present-In ?Self ?A) (Anatomical-Structure ?A)))))