Assertion list
fair trial (subgroup of trial ) → HasProperty

Results from Ascent++: 2
fair trialHasProperty impossible 0.59
fair trialHasProperty possible 0.39