A declassification can be automatic.Logical formLearned from192 sentences. A shutdown can be automatic.Logical formLearned from191 sentences. Equipment can be automatic.Logical formLearned from184 sentences. A message can be automatic.Logical formLearned from184 sentences. An assumption can be automatic.Logical formLearned from183 sentences. An execution can be automatic.Logical formLearned from183 sentences. Messages can be automatic.Logical formLearned from182 sentences. An installation can be automatic.Logical formLearned from180 sentences. A process can be automatic.Logical formLearned from180 sentences. (Machine guns) can be automatic.Logical formLearned from177 sentences. A trigger can be automatic.Logical formLearned from175 sentences. An admission can be automatic.Logical formLearned from174 sentences. A car can be automatic.Logical formLearned from170 sentences. A discovery can be automatic.Logical formLearned from170 sentences. A deduction can be automatic.Logical formLearned from169 sentences.