Assertion list
fresh fig (subgroup of fig ) → ReceivesAction
Results from Ascent++: 1
fresh fig → ReceivesAction → stored in the refrigerator 0.16