If it is stated that the LFFT value for a is substantial, we infer that the LFFr values for all fis are substantial, too.
the additive operator "mo" adds the object a which takes a lower value of likelihood compared to the set of objects fis each of which takes a higher value.