Assertion list
duct (primary) → HasA
Results from Ascent++: 3
duct → HasA → leak 0.36
duct → HasA → crack 0.33
duct → HasA → hole 0.28