indvC_sen :: SENTENCE -> Set NAME
indvC_sen s =
    case s of
         Quant_sent q _     -> indvC_quantsent q
         Bool_sent b _      -> indvC_boolsent b
         Atom_sent a _      -> indvC_atomsent a
         Comment_sent _ c _ -> indvC_sen c
         Irregular_sent i _ -> indvC_sen i

-- | retrieves the individual constants from a qantified sentence
indvC_sen :: SENTENCE -> Set NAME
indvC_sen s =
    case s of
         Quant_sent q _     -> indvC_quantsent q
         Bool_sent b _      -> indvC_boolsent b
         Atom_sent a _      -> indvC_atomsent a
         Comment_sent _ c _ -> indvC_sen c
         Irregular_sent i _ -> indvC_sen i

-- | retrieves the individual constants from a qantified sentence
indvC_sen s =
    case s of
         Quant_sent q _     -> indvC_quantsent q
         Bool_sent b _      -> indvC_boolsent b
         Atom_sent a _      -> indvC_atomsent a
         Comment_sent _ c _ -> indvC_sen c
         Irregular_sent i _ -> indvC_sen i

-- | retrieves the individual constants from a qantified sentence