Class AutomatedReasoningLogicStatement