Assertion list
gas tank (primary) → HasProperty
Results from Ascent++: 7
gas tank → HasProperty → full 0.84
gas tank → HasProperty → empty 0.54
gas tank → HasProperty → clean 0.40
gas tank → HasProperty → dry 0.31
gas tank → HasProperty → new 0.31
gas tank → HasProperty → small 0.22
gas tank → HasProperty → good 0.16