Computationally driven semantics