A corpus can be given.Logical formLearned from38 sentences. A bill can be given.Logical formLearned from38 sentences. Inputs can be given.Logical formLearned from38 sentences. A summer can be given.Logical formLearned from38 sentences. An error can be given.Logical formLearned from38 sentences. Terms can be given.Logical formLearned from38 sentences. A train can be given.Logical formLearned from37 sentences. An observer can be given.Logical formLearned from37 sentences. A (starting point) can be given.Logical formLearned from37 sentences. A repository can be given.Logical formLearned from37 sentences. A household can be given.Logical formLearned from37 sentences. An exchange can be given.Logical formLearned from37 sentences. A transformation can be given.Logical formLearned from37 sentences. Countries can be given.Logical formLearned from36 sentences. An identity can be given.Logical formLearned from36 sentences.