Assertion list
miter (primary) → ReceivesAction
Results from Ascent++: 2
miter → ReceivesAction → cut 0.33
miter → ReceivesAction → shown in figure 0.33