Found 7,389 definitions starting with PR: