--# -path=.:../abstract:../../prelude

resource PredicationEng = Predication with 
  (Resource = ResourceEng), (ResourceExt = ResourceExtEng) ;

-- this is the standard form of a derived resource. AR 12/1/2004