Found 7,378 definitions starting with PR: