Text this: Representing lattices by lattices of subgroupoids