/* ARITH.LOGIC */ /* Population facts for Lesson 6. */ has_population(usa,203). has_population(india,548). has_population(china,800). has_population(brazil,108). has_area(usa,3). has_area(india,1). has_area(china,4). has_area(brazil,3).