Assertion list
pure boron (subgroup of boron ) → ReceivesAction
Results from Ascent++: 1
pure boron → ReceivesAction → prepared 0.68