cShowFromNode :: (forall a . SenStatus a (AnyComorphism, BasicProof) -> Bool)
                                     -- ^ what sentences to show
               -> String             -- input string containing node-names
               -> CmdlState          -- the state
               -> IO CmdlState
cShowFromNode f input state =
  getInfoFromNodes input (concatMap (\ n ->
                case getTh Dont_translate n state of
                  Nothing -> []
                  Just th -> case th of
                                 G_theory _ _ _ _ sens _ -> OMap.keys $
                                   OMap.filter f sens)) state
cShowFromNode :: (forall a . SenStatus a (AnyComorphism, BasicProof) -> Bool)
                                     -- ^ what sentences to show
               -> String             -- input string containing node-names
               -> CmdlState          -- the state
               -> IO CmdlState
cShowFromNode f input state =
  getInfoFromNodes input (concatMap (\ n ->
                case getTh Dont_translate n state of
                  Nothing -> []
                  Just th -> case th of
                                 G_theory _ _ _ _ sens _ -> OMap.keys $
                                   OMap.filter f sens)) state
cShowFromNode f input state =
  getInfoFromNodes input (concatMap (\ n ->
                case getTh Dont_translate n state of
                  Nothing -> []
                  Just th -> case th of
                                 G_theory _ _ _ _ sens _ -> OMap.keys $
                                   OMap.filter f sens)) state