Found 7,339 definitions starting with PR: