The second type of languages have well defined rules for writing and understanding. These rules can be matched to formal languages, such as first-order logic. The languages can be analysed by computer. They can be checked to see they are correct. They can be searched for information easily.