Assertion: punishment | /r/ObjectUse | used in the past
Facets:
Source sentences:
text: Under Harmelin, proportionality is not required; what is relevant is whether the punishment has been used in the United States in the past.