premise: Tujec mora imeti ob reševanju prošnje za izdajo dovoljenja za stalno prebivanje veljavno dovoljenje za začasno prebivanje.
hypothesis: Tujec mora za vstop, zapustitev in bivanje v Republiki Sloveniji imeti veljavno potno listino, razen če z zakonom ali mednarodno pogodbo ni drugače določeno.