أرسل هذا في رسالة قصيرة: Semantic acyclicity under constraints