(=> (_Polycyclic ?A ?B) (Exists (?Y) (And (Atomic-Unit ?B) (_Pair ?B True) (_Atomic-Chain ?B True) (Component ?A ?B))))