Python链式分配语法符号

Question

suggested在链式分配中，例如a=b=4，a和b是两个单独的target_list。我正在尝试使用BNF语法符号来协调通用赋值语句，即

assignment_stmt ::=  (target_list "=")+ (starred_expression | yield_expression)

我看不到a=b=4如何满足这个定义。不应像(target_list "=")*那样允许第一项的多个实例吗？