command> ['test'] ~ [A]
  [A]
command> ['test'] ~ [A]*[B]
  x2 [A]
  [B]
  ([A]*[B])
command> ['test'] ~ [A]*[B]*[C]
  x3 [A]
  x2 [B]
  ([A]*[B])
  [C]
  ([A]*[B]*[C])
command> ['test'] ~ ![A]
  x2 [A]
  x2 [B]
  ([A]*[B])
  [C]
  ([A]*[B]*[C])
command> ['test'] ~ ![A]*![B]
  [A]
  [B]
  [C]
  ([A]*[B]*[C])
command> ['test'] ~ ![A]*![B]*![C]
reference_concept returned 0
command> ['test'] ~ <50%x2[A]>
  50%x2 [A]
command> ['test'] ~ <50%x2[A]>*<50%x3[B]>
  50%x4 [A]
  50%x3 [B]
  <50%x2[A], 50%x3[B]>
command> ['test'] ~ <50%x2[A]>*<25%x1[B]>*<10%x99[C]>
  50%x6 [A]
  43%x4 [B]
  10%x99 [C]
  <50%x2[A], 50%x3[B]>
  <50%x2[A], 25%[B], 10%x99[C]>
command> ['test'] ~ !<50%x2[A]>
  50%x4 [A]
  43%x4 [B]
  10%x99 [C]
  <50%x2[A], 50%x3[B]>
  <50%x2[A], 25%[B], 10%x99[C]>
command> ['test'] ~ !<50%x2[A]>*!<50%x3[B]>
  50%x2 [A]
  25% [B]
  10%x99 [C]
  <50%x2[A], 25%[B], 10%x99[C]>
command> ['test'] ~ !<50%x2[A]>*!<25%x1[B]>*!<10%x99[C]>
reference_concept returned 0
command> ['test'] ~ <50%[A]>
  50% [A]
command> ['test'] ~ ![A]
  !50% [A]
command> ['test'] ~ <75%x2[A]>
  [A]
command> ['test'] ~ !<50%[A]>
  50% [A]
command> ['test'] ~ !<50%[A]>
reference_concept returned 0
command> ['test'] ~ [A]*([A]*[B])
  x2 [A]
  [B]
  <x2[A], [B]>
command> ['test'] ~ [A]*([A]*[B]*[C])
  x4 [A]
  x2 [B]
  [C]
  <x2[A], [B]>
  <x2[A], [B], [C]>
command> ['test'] ~ [A]*([A]*[B]*[C])*[D]
  <x2[A], [B], [C], [D]>
  x6 [A]
  x3 [B]
  x2 [C]
  <x2[A], [B]>
  <x2[A], [B], [C]>
  [D]
command> ['test'] ~ [A]*([A]*[B]*[C])*([D]*[E])
  <x2[A], [B], [C], [D]>
  [E]
  <[E], x2[A], [B], [C], [D]>
  x8 [A]
  x4 [B]
  x3 [C]
  <x2[A], [B]>
  <x2[A], [B], [C]>
  x2 [D]
command> ['test'] ~ [A]*([A]*[B]*[C])*([D]*[E]*[F])
  <x2[A], [B], [C], [D]>
  x2 [E]
  <[E], x2[A], [B], [C], [D]>
  [F]
  <[E], [F], x2[A], [B], [C], [D]>
  x10 [A]
  x5 [B]
  x4 [C]
  <x2[A], [B]>
  <x2[A], [B], [C]>
  x3 [D]
command> ['test'] ~ ![A]*!([A]*[B])
  <x2[A], [B], [C], [D]>
  x2 [E]
  <[E], x2[A], [B], [C], [D]>
  [F]
  <[E], [F], x2[A], [B], [C], [D]>
  x8 [A]
  x4 [B]
  x4 [C]
  <x2[A], [B], [C]>
  x3 [D]
command> ['test'] ~ ![A]*!([A]*[B]*[C])
  <x2[A], [B], [C], [D]>
  x2 [E]
  <[E], x2[A], [B], [C], [D]>
  [F]
  <[E], [F], x2[A], [B], [C], [D]>
  x6 [A]
  x3 [B]
  x3 [C]
  x3 [D]
command> ['test'] ~ ![A]*!([A]*[B]*[C])*![D]
  x2 [E]
  <[E], x2[A], [B], [C], [D]>
  [F]
  <[E], [F], x2[A], [B], [C], [D]>
  x4 [A]
  x2 [B]
  x2 [C]
  x2 [D]
command> ['test'] ~ ![A]*!([A]*[B]*[C])*!([D]*[E])
  [E]
  [F]
  <[E], [F], x2[A], [B], [C], [D]>
  x2 [A]
  [B]
  [C]
  [D]
command> ['test'] ~ ![A]*!([A]*[B]*[C])*!([D]*[E]*[F])
reference_concept returned 0
command> ['test'] ~ [A]*{[A]->[B]}
  {[A]->[B]}
  ({[A]->[B]}*[A])
  x2 [A]
  [B]
command> ['test'] ~ [A]*{{[A]->[B]}->[C]}
  x2 {[A]->[B]}
  ({[A]->[B]}*[A])
  {{[A]->[B]}->[C]}
  ({{[A]->[B]}->[C]}*[A])
  x4 [A]
  x2 [B]
  [C]
command> ['test'] ~ [A]*{{[A]->[B]}->[C]}*{{[D]->[E]}->[F]}
  [E]
  [F]
  x3 {[A]->[B]}
  ({[A]->[B]}*[A])
  x2 {{[A]->[B]}->[C]}
  ({{[A]->[B]}->[C]}*[A])
  {[D]->[E]}
  {{[D]->[E]}->[F]}
  ({{[A]->[B]}->[C]}*{{[D]->[E]}->[F]}*[A])
  x6 [A]
  x3 [B]
  x2 [C]
  [D]
command> ['test'] ~ ![A]*!{[A]->[B]}
  [E]
  [F]
  x2 {[A]->[B]}
  x2 {{[A]->[B]}->[C]}
  ({{[A]->[B]}->[C]}*[A])
  {[D]->[E]}
  {{[D]->[E]}->[F]}
  ({{[A]->[B]}->[C]}*{{[D]->[E]}->[F]}*[A])
  x4 [A]
  x2 [B]
  x2 [C]
  [D]
command> ['test'] ~ ![A]*!{{[A]->[B]}->[C]}
  [E]
  [F]
  {[A]->[B]}
  {{[A]->[B]}->[C]}
  {[D]->[E]}
  {{[D]->[E]}->[F]}
  ({{[A]->[B]}->[C]}*{{[D]->[E]}->[F]}*[A])
  x2 [A]
  [B]
  [C]
  [D]
command> ['test'] ~ ![A]*!{{[A]->[B]}->[C]}*!{{[D]->[E]}->[F]}
reference_concept returned 0
command> ['test'] ~ [success]
  [success]