A (software model) can be executable.Logical formLearned from2 sentences. (Specification languages) can be executable.Logical formLearned from2 sentences. A src/count.exe can be executable.Logical formLearned from2 sentences. A wrapper can be around an executable code.Logical formLearned from2 sentences. (Code objects) can be executable.Logical formLearned from2 sentences. A file can be executable by an one.Logical formLearned from2 sentences. A linker may accept executable files.Logical formLearned from2 sentences. An executable program may have an interpretation.Logical formLearned from2 sentences. A (program unit) can be in an executable program.Logical formLearned from2 sentences. A (program name) can be global to an executable program.Logical formLearned from2 sentences. A statement may occur in a (program unit) of an executable program.Logical formLearned from2 sentences. Block can be in an executable program.Logical formLearned from2 sentences. A duration may pertain-to an executable program.Logical formLearned from2 sentences. Scope can be an executable program.Logical formLearned from2 sentences. (Outlook scripts) can be executable.Logical formLearned from2 sentences.