Update ClausIE