alias mars.instrument = instrumentType; alias mars.ident = satelliteNumber; alias mars.number = perturbationNumber;