AutomatedReasoningLogicStatementContent module-attribute ¶ AutomatedReasoningLogicStatementContent: TypeAlias = str