@observes Without Participating
reldef:@observes_without_participatingobserves without participating — 'observes without participating' relation asserted between two atoms.
observes without participating — 'observes without participating' relation asserted between two atoms.