Some properties of the quasicategory of frames