Light-weight inference for computational semantics