s/list(clauses)/clauses(theory)/
s/list(interpretations)/terms(interpretations)/
