-- | retrieves the individual constants from a text
indvC_text :: TEXT -> Set NAME
indvC_text t =
    case t of
         Text ps _ -> setUnion_list indvC_phrase ps
         Named_text _ txt _ -> indvC_text txt

-- | retrieves the individual constants from a phrase
indvC_text :: TEXT -> Set NAME
indvC_text t =
    case t of
         Text ps _ -> setUnion_list indvC_phrase ps
         Named_text _ txt _ -> indvC_text txt

-- | retrieves the individual constants from a phrase
indvC_text t =
    case t of
         Text ps _ -> setUnion_list indvC_phrase ps
         Named_text _ txt _ -> indvC_text txt

-- | retrieves the individual constants from a phrase