NETL: A system for representing and using real-world knowledge