@establishes

reldef:@establishes

establishes — 'establishes' relation asserted between two atoms.