Following Ragin's (1987) original work, theory evaluation amounts to intersecting
a theoretical expectation with a model resulting from a minimization process.
There are in fact four intersections: presence - presence, presence - absence,
absence - presence and absence - absence, where by “absence” is actually
meant a negation of an expression using the function negate()
.
When multiple models exist, all of them are automatically detected, negated and
intersection with the theory. Intersections and parameters of fit are going to
be produced using a single theoretical expression.
In case of high model diversity, it is sometimes useful to select only a subset
to fit against theory. In such situations, the argument select
can be
provided with either the name(s) of the model (for instance "C1P5" for intermediate
solutions) or simply the number of the model(s) of interest (for conservative
and parsimonious solutions).