(=> (Plastid ?Self) (Exists (?A) (And (Component-Of ?Self ?A) (Cell ?A) (Exists (?B) (And (Finer-Grain-Component-Of ?A ?B) (Plant ?B))))))