Found 7,176 definitions starting with PR: