prd_quantSent :: QUANT_SENT -> Set.Set NAME
prd_quantSent q =
    case q of
         Universal noss s ->
            Set.union (unifyPredicates prd_nameOrSeqmark noss) $ prd_sentence s
         Existential noss s ->
            Set.union (unifyPredicates prd_nameOrSeqmark noss) $ prd_sentence s
--TODO SequenceMarker Handling
prd_quantSent :: QUANT_SENT -> Set.Set NAME
prd_quantSent q =
    case q of
         Universal noss s ->
            Set.union (unifyPredicates prd_nameOrSeqmark noss) $ prd_sentence s
         Existential noss s ->
            Set.union (unifyPredicates prd_nameOrSeqmark noss) $ prd_sentence s
--TODO SequenceMarker Handling
prd_quantSent q =
    case q of
         Universal noss s ->
            Set.union (unifyPredicates prd_nameOrSeqmark noss) $ prd_sentence s
         Existential noss s ->
            Set.union (unifyPredicates prd_nameOrSeqmark noss) $ prd_sentence s
--TODO SequenceMarker Handling