Axiomatization for l-level universal AND operator