Explain choice of a pregroup for a finite presentation

[markuspf]

At the moment there is no hint anywhere as to which/how to select the pregroup (or, when talking about the MAGMA interface, the red relators) that we're presenting over.