StratifiedLabeling
getModel(DungTheory bbase)
Collection<StratifiedLabeling>
getModels(DungTheory bbase)