@restores

reldef:@restores

restores — 'restores' relation asserted between two atoms.