13 million lines?

And people laughed at Doug Lenat and Cyc for wanting to encode all knowledge as a set of rules.