correction which rule and SVP /relex2logic