Class SimpleCompleteReasoner