Found 7,375 definitions starting with PR: