In classical category theory, there is the notion of functor (co)fibered in groupoids. Furthermore, via Grothendieck construction we have an equivalence between pseudo functors into the category of groupoids and functors cofibered in groupoids. 

This leads to my question: why is the following theorem which can be found in Lurie's HTT (Theorem 2.1.2.2) an $\infty$-categorical analogue? 
>  Let $S$ be a simplicial set, $\mathcal{C}$ a simplicial category, and $\phi: \mathfrak{C}[S] \rightarrow \mathcal{C}^{\mathrm{op}}$ a simplicial functor.  The straightening and unstraigntening functors determine a Quillen adjunction
$$ \operatorname{St}_{\phi} : (\mathit{Set}_{\Delta})_{/S} \rightleftarrows \mathit{Set}_{\Delta}^{\mathcal{C}}  \colon\operatorname{Un}_{\phi}$$
where $(\mathit{Set}_{\Delta})_{/S}$ is endowed with the contravariant model structure and $Set_{\Delta}^{\mathcal{C}}$ with the projective model structure. Furthermore, if $\phi$ is an equivalence of simplicial categories, then it is an Quillen equivalence.


I know that fibrant object in the category of objects over $S$ (with the covariant model structure) are right fibrations-  the $\infty$-categorical analogue of functors fibered in groupoids- and that the projectively fibrant functors are pointwise  Kan complexes -the $\infty$-categorical analogue of groupoid. How does the theorem link those to two togethers?