Assertion list
cone (primary) → ReceivesAction

Results from Ascent++: 3
coneReceivesAction formed by half-lines 0.45
coneReceivesAction assumed to be circular 0.25
coneReceivesAction formed 0.25