The sequence of carbohydrates within polysaccharides, glycoproteins, and glycolipids.
(=> (Carbohydrate-Sequence ?Self) (And (Exists (?A) (And (Symbolic-Sequence-Of ?Self ?A) (Carbohydrate ?A))) (Exists (?B) (And (Represents ?Self ?B) (Or (Polysaccharide ?B) (Glycoprotein ?B) (Glycolipid ?B))))))