c1.sml:
  {esi F [ist C isi A
          {Isi A [ist B ist D]}]}
----------------------------------
c2.sml:
  {esi A}
c1.sml:
  {esi F [ist C isi A
          ist B ist D]}
----------------------------------
c3.sml:
  {esi A [est B]}
c1.sml:
  {esi F [ist C isi A
          est B ist D]}
----------------------------------
c4.sml:
  {esi A [est B est D]}
c1.sml:
  {esi F [ist C isi A
          est B est D]}
----------------------------------
