The pronoun it here will be interpreted as (say) il, equivalent to: giving an RLF existsl(Af.pos(past(disappear(f, il))).
it, in this context, is interpreted, roughly, as 'the computer that figures in the eventuality of being owned by Smith'.