Assertion list
levitation (primary) → HasProperty
Results from Ascent++: 3
levitation → HasProperty → possible 0.68
levitation → HasProperty → real 0.51
levitation → HasProperty → impossible 0.16