Example knowledge base
	l The law says that it is a crime for an American to sell weapons to hostile nations.  The country Nono, an enemy of America, has some missiles, and all of its missiles were sold to it by Colonel West, who is American. l Prove that Col. West is a criminal