We used to have two theories per project, one for the
argumentation schemes (e.g. Waltons) and one for the domain theory (like
the licensing theory in MARKOS). But we decide to simplify this to use
just one theory for both purposes. The developers of the theory can
uses sections to but different kinds of rules in different sections if
they want. And since theories are modular, the Walton schemes can still
be in a separate theory and imported into the theory used by some project.
We used to have two theories per project, one for the argumentation schemes (e.g. Waltons) and one for the domain theory (like the licensing theory in MARKOS). But we decide to simplify this to use just one theory for both purposes. The developers of the theory can uses sections to but different kinds of rules in different sections if they want. And since theories are modular, the Walton schemes can still be in a separate theory and imported into the theory used by some project.