indvC_boolsent :: BOOL_SENT -> Set NAME
indvC_boolsent b =
    case b of
         Conjunction ss      -> setUnion_list indvC_sen ss
         Disjunction ss      -> setUnion_list indvC_sen ss
         Negation s          -> indvC_sen s
         Implication s1 s2   -> setUnion_list indvC_sen [s1,s2]
         Biconditional s1 s2 -> setUnion_list indvC_sen [s1,s2]

-- | retrieves the individual constants from an atom
indvC_boolsent :: BOOL_SENT -> Set NAME
indvC_boolsent b =
    case b of
         Conjunction ss      -> setUnion_list indvC_sen ss
         Disjunction ss      -> setUnion_list indvC_sen ss
         Negation s          -> indvC_sen s
         Implication s1 s2   -> setUnion_list indvC_sen [s1,s2]
         Biconditional s1 s2 -> setUnion_list indvC_sen [s1,s2]

-- | retrieves the individual constants from an atom
indvC_boolsent b =
    case b of
         Conjunction ss      -> setUnion_list indvC_sen ss
         Disjunction ss      -> setUnion_list indvC_sen ss
         Negation s          -> indvC_sen s
         Implication s1 s2   -> setUnion_list indvC_sen [s1,s2]
         Biconditional s1 s2 -> setUnion_list indvC_sen [s1,s2]

-- | retrieves the individual constants from an atom