Ascent++ | guaranteed to be fresh

Assertion list for term "guaranteed to be fresh".

Results from Ascent++: 2

pizza → ReceivesAction → guaranteed to be fresh	0.22
crab → ReceivesAction → guaranteed to be fresh	0.16