Text this: Semantic acyclicity under constraints