Assertion list
effect (aspect of boron ) → ReceivesAction

Results from Ascent++: 2
effectReceivesAction obtained 0.68
effectReceivesAction investigated 0.43