Assertion list
truss bridge (subgroup of bridge ) → ReceivesAction
Results from Ascent++: 2
truss bridge → ReceivesAction → slated for replacement 0.25
truss bridge → ReceivesAction → economical to construct 0.24