A finite presentation of the rational Urysohn space

We give a new construction of the rational Urysohn space UQ, which yields a finite presentation of UQ. This may be viewed as an extension of the finite presentation of the generic partial order.