发送短信: Semantic acyclicity under constraints