--1 Relative clauses and pronouns

abstract RelativeExt = Cat ** {

  fun

    RelVPShort  : RP -> VP -> RCl ;      -- who loves John

}