Found 7,394 definitions starting with PR: