جندل» بِفَتْح الْجِيم وَإِسْكَان النُّون، اسْمه القَاضِي عَلّي. كَمَا قَالَه الرّبيع بن بكار وَغَيره. والجندل مَعْنَاهُ فِي اللُّغَة الْحجر، وَجمعه جنادل. و «يرسف» بالراء وَالسِّين الْمُهْمَلَتَيْنِ أَي: يمشي فِي الْقُيُود، يُقَال: رَسَفَ يَرْسُف ويرسِف - بِالضَّمِّ وَالْكَسْر - ورسفْا - بِالسُّكُونِ - ورَسَفَانًا.