Assertion list
direct contempt (subgroup of contempt ) → ReceivesAction
Results from Ascent++: 1
direct contempt → ReceivesAction → committed by members of the hou… 0.59