Knowledge Dropping to Knox Grammar