Assertion list
good hypothesis (subgroup of hypothesis ) → ReceivesAction
Results from Ascent++: 1
good hypothesis → ReceivesAction → written in clear and simple lan… 0.46