Ontify
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.