Văn bản này: Semantic acyclicity under constraints