A P-theorem for Inverse Semigroupoids through Ordered Globalizations | Synapse