Assertion list
punishment (primary) → IsA
Results from Ascent++: 2
punishment → IsA → time 0.36
punishment → IsA → justice 0.06