Assertion list
torus (primary) → ReceivesAction
Results from Ascent++: 4
torus → ReceivesAction → installed 0.46
torus → ReceivesAction → obtained 0.34
torus → ReceivesAction → formed 0.25
torus → ReceivesAction → shown in fig 0.25