Found 7,384 definitions starting with PR: