All rules > rule id: 802956

Reaction SMARTS

[#8+0:1]-[#15+0:2](=[#8+0:3])(-[#8+0:4]-[#15+0:10](-[#8-:11])(-[#8-:12])=[#8+0:13])-[#8-:5].[#8-:6]-[#6+0:7](-[#6,#1;+0:8])=[#6+0:9]>>[#8+0:1]-[#15+0:2](=[#8+0:3])(-[#8-:4])-[#8-:5].[#8+0:6](-[#6+0:7](-[#6,#1;+0:8])=[#6+0:9])-[#15+0:10](-[#8-:11])(-[#8-:12])=[#8+0:13]

Simplified SMARTS

OP(=O)(OP([O-])([O-])=O)[O-].[O-]C(*)=C>>OP(=O)([O-])[O-].O(C(*)=C)P([O-])([O-])=O

Rule Set Version: 0.2

Complete rule seen in 3 catalytic steps

Rule partially seen in 0 catalytic steps