Class SimpleSemiStableReasoner