發送短信: Expressibility of valued constraints