Found 7,373 definitions starting with PR: