Categorical and game semantics for SCIR