1No One-to-One Relation Between Conditional Structures and Knowledge BasesPage 21 2Imbalanced Usage Cannot be Determined from CSPage 22 3Imbalanced Use within an Atomic Knowledge BasePage 28 4vf-Pair Addition is Associative and CommutativePage 31 5Size of MOSPage 32 6Equality of Counting Function DefinitionsPage 39 7Types of Instantiation RestrictionsPage 45 8Reduction of Admissible Ground Atoms and Influence on Counting FunctionsPage 46 9vf-Pairs of A-Segments in a CA-Conditional With Only Local Instantiation RestrictionsPage 49 10Contributions of A-Segments of a CA-Conditional Without Non-Local Instantiation RestrictionsPage 50 11vf-Pairs of A-Segments in a CA-ConditionalPage 53 12Canonical A-Segments of CA-Conditionals Generate Maximum Ordered SumPage 55 13Maximum Ordered Sum of a C-ConditionalPage 58 14Maximum Ordered Sum of a CA-ConditionalPage 58 15Maximum Ordered Sum of a CC-ConditionalPage 60 16Addition of Maximum Ordered Sums for CA-Conditionals Without Non-Local Instantiation RestrictionsPage 62 17Common Antecedence Sets Cover Exactly All C-AtomsPage 67 18Sequence of Truth Values in a Set of Redundant SegmentsPage 69 19Reduced Set of C-Segments and Conditional ContributionPage 73 20Grounding Table Indicates Imbalanced UsePage 88