group admitting a presentation whose relations are of the form stst…= tsts…, where both sides have equal lengths, such that there exists at most 1 relation for each pair of distinct generators s, t
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).