Assertion list
deep vein (subgroup of vein ) → HasA
Results from Ascent++: 2
deep vein → HasA → clot 0.25
deep vein → HasA → varicosity 0.25