Observed In
reldef:observed_inobserved in — the source deviation atom was observed in the target execution coordinate (the bench coordinate the divergence happened at; coordinate = Set membership, no cronon:at) (B1 §A3).
observed in — the source deviation atom was observed in the target execution coordinate (the bench coordinate the divergence happened at; coordinate = Set membership, no cronon:at) (B1 §A3).