A Corpus of Encyclopedia Articles with Logical Forms. - Nathan Rasmussen; William Schuler (LREC, 2020)