Assertion list
public airport (subgroup of airport ) → HasA
Results from Ascent++: 1
public airport → HasA → single asphalt runway 0.25