x1 underestimates the value satisfying x2 (ka/ni) by amount x3, underestimated with likelihood x4; x2 (property) is satisfied by a number greater by amount x3 than that expected by x1 with likelihood x4
x1 overestimates the value satisfying x2 (ka/ni) by amount x3, overestimated with likelihood x4; x2 (property) is satisfied by a number lesser by amount x3 than that expected by x1 with likelihood x4