Ascent++
Search
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