@monitors

reldef:@monitors

monitors — 'monitors' relation asserted between two atoms.