Wondering whether we will see some combination with Cyc at some point (which tried to solve the „encoding of the world“ problem)