@may Define

reldef:@may_define

may define — 'may define' relation asserted between two atoms.