Presentations for Saxon Algebra 1