Assertion list
factor (aspect of prime number ) → ReceivesAction
Results from Ascent++: 1
factor → ReceivesAction → multiplied 0.25