Found 7,340 definitions starting with PR: