matfrili lujvo

f1 is convenient for f2 (agent) under conditions f3

cf. mapti frili