Benchmarks can be explicit.Logical formLearned from15 sentences. A contradiction can be explicit.Logical formLearned from15 sentences. A conclusion can be explicit.Logical formLearned from15 sentences. A symbol can be explicit.Logical formLearned from15 sentences. Objects can be explicit.Logical formLearned from15 sentences. Tags can be explicit.Logical formLearned from15 sentences. A (time integration) can be explicit.Logical formLearned from15 sentences. A (language extension) can be explicit.Logical formLearned from15 sentences. Properties can be explicit.Logical formLearned from15 sentences. An operator can be explicit.Logical formLearned from15 sentences. A correction can be explicit.Logical formLearned from15 sentences. A reminder can be explicit.Logical formLearned from15 sentences. A shift can be explicit.Logical formLearned from14 sentences. Issues can be explicit.Logical formLearned from14 sentences. A clarification can be explicit.Logical formLearned from14 sentences.