Inputs for quantified variables and subslices.