Assertion list
knowledge (aspect of interpreter ) → ReceivesAction

Results from Ascent++: 2
knowledgeReceivesAction limited 0.43
knowledgeReceivesAction discovered 0.25