Assertion list
cost estimate (subgroup of estimate ) → CapableOf
Results from Ascent++: 1
cost estimate → CapableOf → certified by professional engin… 0.25