ClausesParserImpl

fun ClausesParserImpl(defaultOperatorSet: OperatorSet)