Assertion list
public inquiry (subgroup of inquiry ) → ReceivesAction
Results from Ascent++: 1
public inquiry → ReceivesAction → held 0.77