7 Translation adapted from (Knoblock and Riegel 2000, pp. 500–1).
