@verifies

reldef:@verifies

verifies — 'verifies' relation asserted between two atoms.