Found 7,341 definitions starting with PR: