Found 7,167 definitions starting with PR: