They're barred from trading anything the SEC regulates (including options and shorted stock) with regards to airline, airplane manufacturer or airplane part manufacturer stocks. There is an exception allowing them to indirectly own them (like through mutual/index funds).