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

concrete ResourceSwe of Resource = RulesSwe, StructuralSwe, ClauseSwe ** {} ;