@reveals

reldef:@reveals

reveals — 'reveals' relation asserted between two atoms.