--1 Idiom: Idiomatic Expressions

concrete IdiomTam of Idiom = CatTam ** open Prelude, ResTam, VerbTam, QuestionTam, NounTam, StructuralTam in {

-- This module defines constructions that are formed in fixed ways,
-- often different even in closely related languages.

--   lin


--     -- ImpersCl : VP -> Cl ;        -- it is hot
--     ImpersCl vp = {
--       subj = [] ;
--       pred = \\vf,pol => vp.s ! Root ! pol  -- force no prefix -- TODO check if legit?
--       } ;

--      -- : NP -> Cl ;        -- there is a house
--      ExistNP np = predVP np (useV copula) ;

--      -- ExistIP   : IP -> QCl ;       -- which houses are there
--      ExistIP ip = QuestVP ip (useV copula) ;

--    -- GenericCl : VP -> Cl ;        -- one sleeps
--    GenericCl = \vp -> predVP emptyNP vp ;

--{-
--    CleftNP   : NP  -> RS -> Cl ; -- it is I who did it
--    CleftAdv  : Adv -> S  -> Cl ; -- it is here she slept

--  -- : NP -> Cl ;        -- there is a house
--  ExistNP np =

--  ExistIP   : IP -> QCl ;       -- which houses are there

-- 7/12/2012 generalizations of these

--    ExistNPAdv : NP -> Adv -> Cl ;    -- there is a house in Paris
--    ExistIPAdv : IP -> Adv -> QCl ;   -- which houses are there in Paris

--  -- : VP -> VP ;
--  ProgrVP vp = vp ** {
--    } ;


--  -- : VP -> Utt ;       -- let's go
--  ImpPl1 vp = { } ;

--  ImpP3     : NP -> VP -> Utt ; -- let John walk

-- 3/12/2013 non-reflexive uses of "self"

--    SelfAdvVP : VP -> VP ;        -- is at home himself
--    SelfAdVVP : VP -> VP ;        -- is himself at home
--    SelfNP    : NP -> NP ;        -- the president himself (is at home)
---}

--}
}