Update to the KBs to be used for late-August government testing,
including axioms learned from development set examples.