Assertion list
bilge (primary) → HasProperty
Results from Ascent++: 4
bilge → HasProperty → clean 0.84
bilge → HasProperty → dry 0.79
bilge → HasProperty → deep 0.25
bilge → HasProperty → empty 0.25