A1_Space_60V80V {
@A1_Space: Minimum space of A1 between (60v80v) and (lv/10v12v15v_35v_60v80v) at different potentialscheck this rule inside the region which A1 connected to TO or GT interacting with HV_80V or HV_60V or HV_L80)-----0.6
X = EXTERNAL m1_hv_60v80v m1_lv <0.6 REGION SINGULAR ABUT<90
X1 = EXTERNAL m1_hv_60v80v m1_hv_10v12v15v <0.6 REGION SINGULAR ABUT<90
X2 = EXTERNAL m1_hv_60v80v m1_hv_35v <0.6 REGION SINGULAR ABUT<90
X3 = EXTERNAL m1_hv_60v80v <0.6 REGION SINGULAR ABUT<90
X4 = EXTERNAL m1_hv_drain_diff_60_80 <0.6 REGION SINGULAR ABUT<90
X5 = EXTERNAL m1_hv_drain_diff_60_80 m1_all_no_drain <0.6 REGION SINGULAR ABUT<90
Y = EXTERNAL a1_conn<0.6 REGION NOT CONNECTED SINGULAR ABUT<90
NOT INSIDE ( X INTERACT Y ) EXCL
NOT INSIDE ( X1 INTERACT Y ) EXCL
NOT INSIDE ( X2 INTERACT Y ) EXCL
NOT INSIDE ((X3 INTERACT Y ) NOT HV_60v80v) EXCL
NOT INSIDE ( X4 INTERACT Y ) EXCL
NOT INSIDE ( X5 INTERACT Y ) EXCL
}