Class SimpleAdmissibleReasoner