Scalable Learning of Latent Language Structure With Logical Offline Cycle Consistency