AdmissibleReasoner 
a set of arguments S is admissible iff it is conflictfree and all elements of S are acceptable wrt.

CompleteReasoner 
a set of arguments S is complete iff it is admissible and all arguments acceptable wrt.

ConflictFreeReasoner 
a set of arguments S is conflictfree iff there exists no attack between a subset of S and an element of S.

GroundedReasoner 
the grounded extension of bbase is the least fixed point of the characteristic function.

PreferredReasoner 
a set of arguments S is preferred iff it is maximal wrt.

SelfSupportingReasoner 
a set of arguments S is selfsupporting iff all arguments in S are esupported by S.

StableReasoner 
a set of arguments S is stable iff it is conflictfree, selfsupporting and for any argument a esupported by bbase,
where a is not in S, S esupport attacks either a or every set of arguments minimally esupporting a.
