Գրեք սա: Semantic acyclicity under constraints