Crowdsourced general knowledge still requires natural language processing to produce formal statemen...