k1 => vname1 => (v1, t1, f1) vname2 => ( v2, t2, f2 ) k3 => vname3 => ( v3, t3, f3 )