Found 7,361 definitions starting with PR: