Find!
x1 logically necessitates/entails/implies action/event/state x2 under rules/logic system x3.
See also natfe, rinka, mukti, krinu, cmavo list ni'i, jalge, logji.