Assertion list
blimp (primary) → HasProperty
Results from Ascent++: 6
blimp → HasProperty → fun 0.41
blimp → HasProperty → visible 0.31
blimp → HasProperty → close 0.25
blimp → HasProperty → full 0.25
blimp → HasProperty → large 0.25
blimp → HasProperty → effective 0.16