Assertion list
new bridge (subgroup of bridge ) → MadeOf

Results from Ascent++: 1
new bridgeMadeOf steel 0.25