Assertion: death penalty | /r/HasProperty | retained as the punishment
Facets:
value: formally
type: MANNER
value: for treason
type: OTHER
value: until 1963
type: TEMPORAL
Source sentences:
text: Although the death penalty was formally retained as the punishment for treason until 1963, no person was ever tried for treason against Michigan.