Desert Rock Airport is a private-use airport located three miles (5 km) southwest of the central business district of Mercury, in Nye County, Nevada, United States. The airport is located on the Nevada Test Site and is owned by the United States Department of Energy.
Desert Rock Airport, owned by the United States Department of Energy, is located in Nevada and is a very busy commercial airport
It is definitely incorrect because it is a private-use airport, not a commercial airport according to the original statement
( z1 and :op ( z2 be-located-at :ARG1 ( z3 airport :name ( z4 name :op "Desert" :op "Rock" :op "Airport" ) :ARG1-of ( z5 own :ARG0 ( z6 government-organization :name ( z7 name :op "United" :op "States" :op "Department" :op "of" :op "Energy" ) ) ) ) :ARG2 ( z8 state :name ( z9 name :op "Nevada" ) ) ) :op ( z10 airport :mod ( z11 commerce ) :ARG1-of ( z12 busy :degree ( z13 very ) ) :domain z3 ) )