Assertion list
private jet (subgroup of jet ) → IsA
Results from Ascent++: 1
private jet → IsA → smaller commercial planes 0.35