Found 7,170 definitions starting with PR: