in the case of NFA), this rule checks if the FOC values of the head daughter and the FP have identical values with respect to the TG and OP features.
at least according to the intuitions of mine and some native speakers I consulted, the sentence (i) does not seem to have such drastic contrast in interpretation to its counterpart in which the case marker o is missing (i.e.