Found 7,379 definitions starting with PR: