No context

F = {P} ∪ {F_i | i ∈ I}

V_P = {v_i | i ∈ J}

v_i = |v_i| * u_i