P137 exemplifies (is exemplified by) in Version 5.1.2