what trans-neptunian object's orbital period is below 9072.51?
(AND astronomy.trans_neptunian_object (le astronomy.orbital_relationship.orbital_period 9072.51^^http://www.w3.org/2001/XMLSchema#float))