--concrete RelativeTel of Relative = CatTel ** open ResTel in {
----
----  flags optimize=all_subs ;
----
----  lin
----
----    RelCl cl = {
----      s = \\t,a,p,_ => "such" ++ "that" ++ cl.s ! t ! a ! p ! ODir ; 
----      c = Nom
----      } ;
----
----    RelVP rp vp = {
----      s = \\t,ant,b,ag => 
----        let 
----          agr = case rp.a of {
----            RNoAg => ag ;
----            RAg a => a
----            } ;
----          cl = mkClause (rp.s ! RC (fromAgr agr).g Nom) agr vp
----        in
----        cl.s ! t ! ant ! b ! ODir ;
----      c = Nom
----      } ;
----
------ Pied piping: "at which we are looking". Stranding and empty
------ relative are defined in $ExtraTel.gf$ ("that we are looking at", 
------ "we are looking at").
----
----    RelSlash rp slash = {
----      s = \\t,a,p,agr => 
----          slash.c2 ++ rp.s ! RPrep (fromAgr agr).g ++ slash.s ! t ! a ! p ! ODir ;
----      c = Acc
----      } ;
----
----    FunRP p np rp = {
----      s = \\c => np.s ! Acc ++ p.s ++ rp.s ! RPrep (fromAgr np.a).g ;
----      a = RAg np.a
----      } ;
----
----    IdRP = 
----      let varr : Str -> Str = \x -> variants {x ; "that"} --- for bwc
----      in {
----      s = table {
----        RC _ Gen => "whose" ; 
----        RC Neutr _  => varr "which" ;
----        RC _ Acc    => varr "whom" ;
----        RC _ Nom    => varr "who" ;
----        RPrep Neutr => "which" ;
----        RPrep _     => "whom"
----        } ;
----      a = RNoAg
----      } ;
----
--}