Exists:x_space=Var_DRSRef_x
csfp_style,xyzw=x1,x2,x3,x4.show=showLForm_1.showFormula_i_Exists_scope,showFormula_i+1