theory

abstract val theory: T

The result always present value, is the clause database resulting from the operation execution