Found 7,166 definitions starting with PR: