Assertion list
liquid argon (subgroup of argon ) → ReceivesAction
Results from Ascent++: 2
liquid argon → ReceivesAction → stored 0.68
liquid argon → ReceivesAction → handled in several kinds of con… 0.25