Add !

In this version, I added a negated operator.
E.g, !Home(FD) says that FD cubie isn't at home.
And I add the import operation that will import knowledge db into
document file.
At last, I delete the patten NoCubieBeLocked().