(=> (Abnormal-New-Formation ?Self) (Exists (?A) (And (Product-Of ?Self ?A) (Non-Plastic-Proliferation ?A))))