Found 7,386 definitions starting with PR: