implement Axiom#to_sas