@reads As

reldef:@reads_as

reads as — 'reads as' relation asserted between two atoms.