An algorithm may be specified.Logical formLearned from25 sentences. A directive may specify that something-is-the-case.Logical formLearned from25 sentences. Some options may be specified.Logical formLearned from25 sentences. Ones may be specified.Logical formLearned from25 sentences. Contracts may specify that something-is-the-case.Logical formLearned from25 sentences. A letter may specify that something-is-the-case.Logical formLearned from25 sentences. Some values may be specified.Logical formLearned from25 sentences. A function may be specified.Logical formLearned from25 sentences. An address may be specified.Logical formLearned from25 sentences. A person may specify directories.Logical formLearned from25 sentences. A (file name) may be specified.Logical formLearned from25 sentences. A person may specify parameters.Logical formLearned from25 sentences. A reason may be specified.Logical formLearned from25 sentences. Details may be specified.Logical formLearned from24 sentences. A person may specify a filename.Logical formLearned from24 sentences.