A tax can be explicit.Logical formLearned from13 sentences. A role can be explicit.Logical formLearned from13 sentences. A text can be explicit.Logical formLearned from13 sentences. E-mails can be explicit.Logical formLearned from13 sentences. A tape can be explicit.Logical formLearned from13 sentences. A protest can be explicit.Logical formLearned from12 sentences. Views can be explicit.Logical formLearned from12 sentences. A history can be explicit.Logical formLearned from12 sentences. Assumptions can be explicit.Logical formLearned from12 sentences. Tapes can be explicit.Logical formLearned from12 sentences. A trade-off can be explicit.Logical formLearned from12 sentences. Parentheses can be explicit.Logical formLearned from12 sentences. An environment can be explicit.Logical formLearned from12 sentences. Coordinates can be explicit.Logical formLearned from12 sentences. A correspondence can be explicit.Logical formLearned from12 sentences.