(=> (_Side-Chain ?A ?B) (Exists (?Y) (And (Atomic-Unit ?B) (_Atomic-Chain ?B True) (Has-Attached ?B ?A) (Larger ?B ?A))))