Found 7,360 definitions starting with PR: