Found 7,352 definitions starting with PR: