A (type inference) can be static.Logical formLearned from7 sentences. A (program information) can be static.Logical formLearned from7 sentences. A result can be static.Logical formLearned from7 sentences. A load can be static.Logical formLearned from7 sentences. Ideals can be static.Logical formLearned from7 sentences. A displacement can be static.Logical formLearned from7 sentences. Static analysis may pertain-to a program.Logical formLearned from7 sentences. (Traffic crash maps) can be static.Logical formLearned from7 sentences. A transcoding can be static.Logical formLearned from7 sentences. A report can be static.Logical formLearned from7 sentences. A dimension can be static.Logical formLearned from7 sentences. Chains can be static.Logical formLearned from7 sentences. A (payload type) can be static.Logical formLearned from7 sentences. A planet can be static.Logical formLearned from7 sentences. (Packet filters) can be static.Logical formLearned from7 sentences.