cfasanji lujvo

s1 realizes s2 under condition c1.

Cf. sanji, cfaga'e.