Assertion list
private jet (subgroup of jet ) → HasProperty
Results from Ascent++: 1
private jet → HasProperty → expensive 0.75