(dump m1) (dump elephant)
Try to understand the information that SNePS returns. If you don't understand all of it now, be patient.
(See UM§2.10.)