Assertion list
future justification (subgroup of justification ) → ReceivesAction
Results from Ascent++: 1
future justification → ReceivesAction → based upon work 0.68