@introduces

reldef:@introduces

introduces — 'introduces' relation asserted between two atoms.