concrete RelativeUrd of Relative = CatUrd ** open ResUrd in {

  flags optimize=all_subs ;

  lin

    RelCl cl = {
      s = \\t,p,o,agr => case <t,giveNumber agr> of {
	                    <VPImpPast,Sg> => js_Str ++ cl.s ! t ! p ! o ; 
						<VPImpPast,Pl> => jn_Str ++ cl.s ! t ! p ! o ;
						<_,_>          => jw_Str ++ cl.s ! t ! p ! o 
			};
      c = Dir
      } ;

-- {-
    RelVP rp vp = {
      s = \\t,p,o,ag => 
        let 
          agr = case rp.a of {
            RNoAg => ag ;
            RAg a => a
            } ;
		 cl = mkSClause (rp.s ! (giveNumber agr) ! Dir) agr vp;
		  
--          cl = case t of {
--                VPImpPast =>  mkSClause (rp.s ! (giveNumber agr) ! Obl) agr vp;
--				_         =>  mkSClause (rp.s ! (giveNumber agr) ! Dir) agr vp
--				};
        in
        cl.s ! t ! p ! ODir ;
      c = Dir
      } ;
 --
--
    RelSlash rp slash = {
      s = \\t,p,o,agr => rp.s ! (giveNumber agr) ! Dir ++ slash.c2.s ++  slash.s ! t ! p ! o  ;--case t of {
--	       VPImpPast => rp.s !  (giveNumber agr) Obl ++ slash.c2.s ++  slash.s ! t ! p ! o ;
--		   _         => rp.s !  (giveNumber agr) Dir ++ slash.c2.s ++  slash.s ! t ! p ! o 
--		   };
      c = Dir
      } ;
-- -}
    FunRP p np rp = {
      s = \\n,c => rp.s ! n ! c ++ np.s ! NPC c ++ p.s  ;
      a = RAg np.a
      } ;

    IdRP = {
      s = table {
        Sg => table {
		
    		ResUrd.Dir  => jw_Str ; 
            ResUrd.Obl  => js_Str ;
            ResUrd.Voc  => js_Str 
			};
		Pl => table {
            ResUrd.Dir  => jw_Str ;
		    ResUrd.Obl  => jn_Str ;
		    ResUrd.Voc  => jn_Str
			}
       }; 
      a = RNoAg
      } ;

}