AutomatedReasoningRuleIdentifier module-attribute ¶ AutomatedReasoningRuleIdentifier: TypeAlias = str