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

resource PredicationFin = Predication with 
  (Resource = ResourceFin), (ResourceExt = ResourceExtFin) ;

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