indvC_quantsent ::QUANT_SENT -> Set NAME
indvC_quantsent q =
    case q of
        Universal noss s -> quant noss s
        Existential noss s -> quant noss s
    where quant :: [NAME_OR_SEQMARK] -> SENTENCE -> Set NAME
          quant nss s = Set.difference (indvC_sen s) $ setUnion_list nameof nss
          nameof :: NAME_OR_SEQMARK -> Set NAME
          nameof nsm =
              case nsm of
                   Name n -> Set.singleton n
                   SeqMark _ -> Set.empty --FIXME: what to do with seqmarks?

-- | retrieves the individual constants from a boolean sentence
indvC_quantsent ::QUANT_SENT -> Set NAME
indvC_quantsent q =
    case q of
        Universal noss s -> quant noss s
        Existential noss s -> quant noss s
    where quant :: [NAME_OR_SEQMARK] -> SENTENCE -> Set NAME
          quant nss s = Set.difference (indvC_sen s) $ setUnion_list nameof nss
          nameof :: NAME_OR_SEQMARK -> Set NAME
          nameof nsm =
              case nsm of
                   Name n -> Set.singleton n
                   SeqMark _ -> Set.empty --FIXME: what to do with seqmarks?

-- | retrieves the individual constants from a boolean sentence
indvC_quantsent q =
    case q of
        Universal noss s -> quant noss s
        Existential noss s -> quant noss s
    where quant :: [NAME_OR_SEQMARK] -> SENTENCE -> Set NAME
          quant nss s = Set.difference (indvC_sen s) $ setUnion_list nameof nss
          nameof :: NAME_OR_SEQMARK -> Set NAME
          nameof nsm =
              case nsm of
                   Name n -> Set.singleton n
                   SeqMark _ -> Set.empty --FIXME: what to do with seqmarks?

-- | retrieves the individual constants from a boolean sentence