 Either of these sentences can be broken down into predicates which can be compared and form the knowledge base of a deductive language.Moreover, variables such as 'Barack Obama' or 'president' can be quantified over.For example, take 'Barack Obama' as variable 'x'.