A representation theorem for order continuous Banach lattices | Synapse