(=> (Pn-Bar ?Self) (And (Exists (?A) (And (Part-Of ?Self ?A) (Petri-Net ?A))) (Exists (?B) (And (Represents ?Self ?B) (*Phase ?B)))))