Assertion list
strut (primary) → AtLocation
Results from Ascent++: 3
strut → AtLocation → a state of neutral equilibrium 0.35
strut → AtLocation → just a few years 0.31
strut → AtLocation → martensitic state 0.25