concrete RelativeHun of Relative = CatHun ** open
  ResHun, Prelude, (NS=NounHun), (SS=StructuralHun) in {

{-
lin
  --  : Cl -> RCl ;            -- such that John loves her
  -- RelCl cl = ;

  -- : RP -> VP -> RCl ;
  RelVP rp vp =

  -- : RP -> ClSlash -> RCl ; -- whom John loves
  RelSlash rp cls =

  -- : RP ;
  IdRP = {s = ""} ;

  -- : Prep -> NP -> RP -> RP ;  -- the mother of whom
  --FunRP prep np rp = {} ;
-}

}