fmod A-GRAPH is
   sorts Edge Node .
   ops n1 n2 n3 n4 n5 : -> Node .
   ops a b c d e f : -> Edge .
   ops source target : Edge -> Node .

   eq source(a) = n1 .  eq target(a) = n2 .
   eq source(b) = n1 .  eq target(b) = n3 .
   eq source(c) = n3 .  eq target(c) = n4 .
   eq source(d) = n4 .  eq target(d) = n2 .
   eq source(e) = n2 .  eq target(e) = n5 .
   eq source(f) = n2 .  eq target(f) = n1 .
endfm