Class AutomatedReasoningPolicyAtomicStatement