7 ms·And (3) the axioms are correctly encoded too.by thrance 11d agoAnd (3) the axioms are correctly encoded too.