class
CompleteReasoner<T extends Formula>
GroundedReasoner<T extends Formula>
StableReasoner<T extends Formula>