Ascent++
Search
Assertion list
pressure vessel
(
subgroup
of
vessel
)
→ HasProperty
Results from
Ascent++
:
1
pressure vessel
→
HasProperty
→
safe
0.25