Assertion list
cell (aspect of prisoner ) → UsedFor
Results from Ascent++: 1
cell → UsedFor → solitary confinement 0.19