Assertion list
commercial airport (subgroup of airport ) → AtLocation
Results from Ascent++: 1
commercial airport → AtLocation → smithers 0.68