On ALSV Rules Formulation and Inference