 Cell complex of a covering from a coset graph

For a presentation complex, the covering associated with a subgroup has one vertex for each coset. A generator gives directed edges according to its coset action, and every relator has one lifted 2-cell beginning at each vertex.