Found 7,168 definitions starting with PR: