Mission encoding: Mission properties