Assertion list
cone (primary) → ReceivesAction
Results from Ascent++: 3
cone → ReceivesAction → formed by half-lines 0.45
cone → ReceivesAction → assumed to be circular 0.25
cone → ReceivesAction → formed 0.25