withStandardOperators

fun withStandardOperators(): ClausesReader