Assertion list
pedestrian bridge (subgroup of bridge ) → ReceivesAction
Results from Ascent++: 3
pedestrian bridge → ReceivesAction → built 0.68
pedestrian bridge → ReceivesAction → closed 0.36
pedestrian bridge → ReceivesAction → printed in 3d 0.36