(
Chinese Wall automaton consultant_Mary
currentState
  (Shell)
startState
  ()
transition
  oid_research group Mobil
groups
  (Shell citype Oil Mobil citype Oil UBS citype Bank)
citypes
  (Oil Bank)
history
  (oid1 group Shell oid2 group Shell oid3 group Shell)

Chinese Wall automaton consultant_John
currentState
  (Winterthur AllState UBS)
transition
  oid_research group AllState
groups
  (AllState citype Insurance Wintherthur citype Insurance UBS citype Bank)
citypes
  (Insurance Bank Retail WholeSale)
history
  (oid1 group Winterthur oid2 group AllState oid3 group UBS )

Chinese Wall automaton consultant_Karl
currentState
  (Shell)
transition
  oid_research group Mobil
groups
  (Shell citype Oil Mobil citype Oil UBS citype Bank)
citypes
  (Oil Bank)
history
  (oid1 group Shell oid2 group Shell oid3 group Shell)
)