Assertion list
property (aspect of sage ) → ReceivesAction
Results from Ascent++: 1
property → ReceivesAction → consecrated to the temple 0.68