aerostat Deductions aircraft lift class is for example aerostat ⇐ (aerostat is a aircraft lift class), (is a is inverse of is for example) aerostat is opposite of aerodyne ⇐ aerodyne is opposite of aerostat