Assertion list
beam bridge (subgroup of bridge ) → IsA

Results from Ascent++: 1
beam bridgeIsA the simplest type of bridge 0.16