Assertion list
specific port (subgroup of port ) → HasProperty

Results from Ascent++: 1
specific portHasProperty open 0.68