Assertion list
public license (subgroup of license ) → ReceivesAction
Results from Ascent++: 1
public license → ReceivesAction → interpreted as contract 0.25