readTerms

open override fun readTerms(reader: Reader, operators: OperatorSet): Sequence<Term>
open override fun readTerms(inputStream: InputStream, operators: OperatorSet): Sequence<Term>