Utah Code Ann. § 59-7-312
(2) The average value of an airline's real and tangible personal property owned or rented and used in this state attributable to mobile flight equipment for purposes of the numerator of the fraction described in Subsection (1) shall be calculated for each aircraft type by determining the product of: