Found 7,381 definitions starting with PR: