(Slot-Value-Type Body-Substance Derivative-Of Tissue)
(Slot-Value-Type Body-Substance Surrounds Embryonic-Structure)
(=> (Body-Substance ?Self)
(And (Exists (?A)
(And (Product-Of ?Self ?A) (Organism-Function ?A)))
(Forall (?B)
(=> (Constituent-Material ?Self ?B)
(Or (Cell ?B) (Intercellular-Matrix ?B))))
(Exists (?C)
(And (Piece-Of ?Self ?C)
(Or (Body-Substance ?C)
(Organism ?C)
(Anatomical-Structure ?C))))
(Forall (?D)
(=> (Constituent-Material-Of ?Self ?D)
(Or (Anatomical-Structure ?D) (Organism ?D))))))