s . CommonRomance.VInfin Prelude.False => finir
s . CommonRomance.VInfin Prelude.True => finir
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => finis
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => finis
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => finit
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Pl ParamX.P1 => finissons
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Pl ParamX.P2 => finissez
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Pl ParamX.P3 => finissent
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Conjunct) ParamX.Sg ParamX.P1 => finisse
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Conjunct) ParamX.Sg ParamX.P2 => finisses
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Conjunct) ParamX.Sg ParamX.P3 => finisse
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Conjunct) ParamX.Pl ParamX.P1 => finissions
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Conjunct) ParamX.Pl ParamX.P2 => finissiez
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Conjunct) ParamX.Pl ParamX.P3 => finissent
s . CommonRomance.VFin (CommonRomance.VImperf CommonRomance.Indic) ParamX.Sg ParamX.P1 => finissais
s . CommonRomance.VFin (CommonRomance.VImperf CommonRomance.Indic) ParamX.Sg ParamX.P2 => finissais
s . CommonRomance.VFin (CommonRomance.VImperf CommonRomance.Indic) ParamX.Sg ParamX.P3 => finissait
s . CommonRomance.VFin (CommonRomance.VImperf CommonRomance.Indic) ParamX.Pl ParamX.P1 => finissions
s . CommonRomance.VFin (CommonRomance.VImperf CommonRomance.Indic) ParamX.Pl ParamX.P2 => finissiez
s . CommonRomance.VFin (CommonRomance.VImperf CommonRomance.Indic) ParamX.Pl ParamX.P3 => finissaient
s . CommonRomance.VFin (CommonRomance.VImperf CommonRomance.Conjunct) ParamX.Sg ParamX.P1 => finisse
s . CommonRomance.VFin (CommonRomance.VImperf CommonRomance.Conjunct) ParamX.Sg ParamX.P2 => finisses
s . CommonRomance.VFin (CommonRomance.VImperf CommonRomance.Conjunct) ParamX.Sg ParamX.P3 => finît
s . CommonRomance.VFin (CommonRomance.VImperf CommonRomance.Conjunct) ParamX.Pl ParamX.P1 => finissions
s . CommonRomance.VFin (CommonRomance.VImperf CommonRomance.Conjunct) ParamX.Pl ParamX.P2 => finissiez
s . CommonRomance.VFin (CommonRomance.VImperf CommonRomance.Conjunct) ParamX.Pl ParamX.P3 => finissent
s . CommonRomance.VFin CommonRomance.VPasse ParamX.Sg ParamX.P1 => finis
s . CommonRomance.VFin CommonRomance.VPasse ParamX.Sg ParamX.P2 => finis
s . CommonRomance.VFin CommonRomance.VPasse ParamX.Sg ParamX.P3 => finit
s . CommonRomance.VFin CommonRomance.VPasse ParamX.Pl ParamX.P1 => finîmes
s . CommonRomance.VFin CommonRomance.VPasse ParamX.Pl ParamX.P2 => finîtes
s . CommonRomance.VFin CommonRomance.VPasse ParamX.Pl ParamX.P3 => finirent
s . CommonRomance.VFin CommonRomance.VFut ParamX.Sg ParamX.P1 => finirai
s . CommonRomance.VFin CommonRomance.VFut ParamX.Sg ParamX.P2 => finiras
s . CommonRomance.VFin CommonRomance.VFut ParamX.Sg ParamX.P3 => finira
s . CommonRomance.VFin CommonRomance.VFut ParamX.Pl ParamX.P1 => finirons
s . CommonRomance.VFin CommonRomance.VFut ParamX.Pl ParamX.P2 => finirez
s . CommonRomance.VFin CommonRomance.VFut ParamX.Pl ParamX.P3 => finiront
s . CommonRomance.VFin CommonRomance.VCondit ParamX.Sg ParamX.P1 => finirais
s . CommonRomance.VFin CommonRomance.VCondit ParamX.Sg ParamX.P2 => finirais
s . CommonRomance.VFin CommonRomance.VCondit ParamX.Sg ParamX.P3 => finirait
s . CommonRomance.VFin CommonRomance.VCondit ParamX.Pl ParamX.P1 => finirions
s . CommonRomance.VFin CommonRomance.VCondit ParamX.Pl ParamX.P2 => finiriez
s . CommonRomance.VFin CommonRomance.VCondit ParamX.Pl ParamX.P3 => finiraient
s . CommonRomance.VImper CommonRomance.SgP2 => finis
s . CommonRomance.VImper CommonRomance.PlP1 => finissons
s . CommonRomance.VImper CommonRomance.PlP2 => finissez
s . CommonRomance.VPart CommonRomance.Masc ParamX.Sg => fini
s . CommonRomance.VPart CommonRomance.Masc ParamX.Pl => finis
s . CommonRomance.VPart CommonRomance.Fem ParamX.Sg => finie
s . CommonRomance.VPart CommonRomance.Fem ParamX.Pl => finies
s . CommonRomance.VGer => finissant