Assertion list
fourth vow (subgroup of vow ) → ReceivesAction
Results from Ascent++: 1
fourth vow → ReceivesAction → added to the obligations of the… 0.68