Uninterpreted Frames and Binary RelationsAn uninterpreted frame i.pdf