@Section
    @Title { Features }
    @Tag { features }
@Begin
@BeginSubSections

@Include { features.inherit }
@Include { features.creation }
@Include { features.preconditions }
@Include { features.invariants }
@Include { features.clone }
@Include { features.predefined1 }
@Include { features.predefined2 }

@EndSubSections
@End @Section
