command> ['result'] = ['current'] = []
reference_concept returned 0
command> ['test'] = []
reference_concept returned 0
command> ['test'] ~ [A]*[B]*[C]
  [A]
  [B]
  [C]
  ([A]*[B]*[C])
command> ['current'] = (['test'] @ [A]*[B])
reference_concept returned 0
command> ['result'] ~ $['current']
reference_concept returned 0
command> ['test'] = []
reference_concept returned 0
command> ['test'] ~ [A]
  [A]
command> ['test'] @ ['current']
reference_concept returned 0
command> ['result'] ~ $['current']
reference_concept returned 0
command> ['test'] = []
reference_concept returned 0
command> ['test'] ~ {[A]->[B]}
  {[A]->[B]}
  [A]
  [B]
command> ['test'] @ {['1']->[B]}
  [A]
command> ['test'] @ {[A]->['2']}
  [B]
command> ['test'] @ {[B]->['3']}
reference_concept returned 0
command> ['test'] @ {['4']->[A]}
reference_concept returned 0
command> ['current'] + $['1']*$['2']*$['3']
  [A]
  [B]
command> ['current'] + ![A]*![B]
reference_concept returned 0
command> ['result'] ~ $['current']
reference_concept returned 0
command> ['test'] = []
reference_concept returned 0
command> ['test'] ~ [A]*[B]*[C]
  [A]
  [B]
  [C]
  ([A]*[B]*[C])
command> ['test'] @ [D]*['1']*[B]*[C]
  [A]
command> ['test'] @ [E]*[A]*['2']*[C]
  [B]
command> ['test'] @ [F]*[A]*[B]*['3']
  [C]
command> ['current'] ~ $['1']*$['2']*$['3']
  [A]
  [B]
  [C]
  ([A]*[B]*[C])
command> ['result'] ~ $['test']*!$['current']
reference_concept returned 0
command> ['test'] = []
reference_concept returned 0
command> ['test'] ~ [A]*[B]
  [A]
  [B]
  ([A]*[B])
command> ['test'] ~ [A]*[B]
  x2 [A]
  x2 [B]
  x2 ([A]*[B])
command> ['test'] ~ [A]*[B]
  x3 [A]
  x3 [B]
  x3 ([A]*[B])
command> ['test'] ~ [A]*[C]
  ([A]*[C])
  x4 [A]
  x3 [B]
  x3 ([A]*[B])
  [C]
command> ['test'] @ [A]*['current']
  x3 [B]
  [C]
command> ['current'] ~ ![C]
  x3 [B]
command> ['current'] ~ !<x3[B]>
reference_concept returned 0
command> ['result'] ~ $['current']
reference_concept returned 0
command> ['test'] = []
reference_concept returned 0
command> ['test'] ~ [A]*[B]
  [A]
  [B]
  ([A]*[B])
command> ['test'] ~ [A]*[C]
  ([A]*[C])
  x2 [A]
  [B]
  ([A]*[B])
  [C]
command> ['test'] @ [A]*[A]*['current']
  x2 [B]
  x2 [C]
command> ['current'] ~ !<x2[B]>
  x2 [C]
command> ['current'] ~ !<x2[C]>
reference_concept returned 0
command> ['result'] ~ $['current']
reference_concept returned 0
command> ['test'] = []
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]>*[expected]
  [expected]
  <[expected], 50%x2[A], 25%[B]>
  50%x6 [A]
  43%x4 [B]
  <50%x2[A], 50%x3[B]>
command> ['test'] @ <50%x2[A]>*<25%x1[B]>*['current']
  [expected]
command> ['current'] ~ ![expected]
reference_concept returned 0
command> ['result'] ~ $['current']
reference_concept returned 0
command> ['test'] = []
reference_concept returned 0
command> ['test'] ~ [anytime]*[cat_eats]*[dog_eats]
  [anytime]
  [cat_eats]
  [dog_eats]
  ([anytime]*[cat_eats]*[dog_eats])
command> ['test'] ~ [anytime]*[cat_eats]*[dog_sleeps]
  x2 [anytime]
  x2 [cat_eats]
  [dog_eats]
  ([anytime]*[cat_eats]*[dog_eats])
  [dog_sleeps]
  ([anytime]*[cat_eats]*[dog_sleeps])
command> ['test'] ~ [anytime]*[cat_eats]*[dog_sleeps]
  x3 [anytime]
  x3 [cat_eats]
  [dog_eats]
  ([anytime]*[cat_eats]*[dog_eats])
  x2 [dog_sleeps]
  x2 ([anytime]*[cat_eats]*[dog_sleeps])
command> ['test'] ~ [anytime]*[cat_eats]*[dog_sleeps]
  x4 [anytime]
  x4 [cat_eats]
  [dog_eats]
  ([anytime]*[cat_eats]*[dog_eats])
  x3 [dog_sleeps]
  x3 ([anytime]*[cat_eats]*[dog_sleeps])
command> ['test'] ~ [anytime]*[cat_sleeps]*[dog_eats]
  x5 [anytime]
  x4 [cat_eats]
  x2 [dog_eats]
  ([anytime]*[cat_eats]*[dog_eats])
  x3 [dog_sleeps]
  x3 ([anytime]*[cat_eats]*[dog_sleeps])
  [cat_sleeps]
  ([anytime]*[dog_eats]*[cat_sleeps])
command> ['test'] @ [anytime]*[cat_eats]*['current']
  x2 [dog_eats]
  x3 [dog_sleeps]
  [cat_sleeps]
command> ['current'] + !<x3[dog_sleeps]>
  x2 [dog_eats]
  [cat_sleeps]
command> ['current'] + !<x2[dog_eats]>
  [cat_sleeps]
command> ['current'] + ![cat_sleeps]
reference_concept returned 0
command> ['result'] ~ $['current']
reference_concept returned 0
command> ['test'] = []
reference_concept returned 0
command> ['test'] ~ {[time]->[is_morning]}*{[cat]->[eats]}
  [time]
  [is_morning]
  {[time]->[is_morning]}
  [cat]
  [eats]
  {[cat]->[eats]}
  ({[time]->[is_morning]}*{[cat]->[eats]})
command> ['test'] ~ {[time]->[is_morning]}*{[cat]->[eats]}
  x2 [time]
  x2 [is_morning]
  x2 {[time]->[is_morning]}
  x2 [cat]
  x2 [eats]
  x2 {[cat]->[eats]}
  x2 ({[time]->[is_morning]}*{[cat]->[eats]})
command> ['test'] ~ {[time]->[is_night]}*{[cat]->[sleeps]}
  x3 [time]
  x2 [is_morning]
  x2 {[time]->[is_morning]}
  x3 [cat]
  x2 [eats]
  x2 {[cat]->[eats]}
  x2 ({[time]->[is_morning]}*{[cat]->[eats]})
  [is_night]
  {[time]->[is_night]}
  [sleeps]
  {[cat]->[sleeps]}
  ({[time]->[is_night]}*{[cat]->[sleeps]})
command> ['test'] @ {[time]->[is_morning]}*['current']
  x2 {[cat]->[eats]}
command> ['current'] + !<x2{[cat]->[eats]}>
reference_concept returned 0
command> ['result'] ~ $['current']
reference_concept returned 0
command> ['test'] = []
reference_concept returned 0
command> ['test'] ~ {[time]->[night]}*{[cat]->[sleeps]}
  [time]
  [night]
  {[time]->[night]}
  [cat]
  [sleeps]
  {[cat]->[sleeps]}
  ({[time]->[night]}*{[cat]->[sleeps]})
command> ['test'] ~ {[time]->[night]}*{[cat]->[sleeps]}
  x2 [time]
  x2 [night]
  x2 {[time]->[night]}
  x2 [cat]
  x2 [sleeps]
  x2 {[cat]->[sleeps]}
  x2 ({[time]->[night]}*{[cat]->[sleeps]})
command> ['test'] ~ {[time]->[day]}*{[cat]->[plays]}
  x3 [time]
  [day]
  x2 [night]
  {[time]->[day]}
  x2 {[time]->[night]}
  x3 [cat]
  x2 [sleeps]
  x2 {[cat]->[sleeps]}
  x2 ({[time]->[night]}*{[cat]->[sleeps]})
  [plays]
  {[cat]->[plays]}
  ({[time]->[day]}*{[cat]->[plays]})
command> ['test'] @ {[time]->[night]}*{[cat]->['current']}
  x4 [sleeps]
  [plays]
command> ['current'] + ![plays]
  x4 [sleeps]
command> ['current'] + !<x4[sleeps]>
reference_concept returned 0
command> ['result'] ~ $['current']
reference_concept returned 0
command> ['test'] = []
reference_concept returned 0
command> ['test'] ~ [A]*{[B]->[C]}
  {[B]->[C]}
  ({[B]->[C]}*[A])
  [A]
  [B]
  [C]
command> ['test'] @ {[B]->['current']}
  [C]
command> ['current'] + ![C]
reference_concept returned 0
command> ['result'] ~ $['current']
reference_concept returned 0
command> ['result'] ~ [success]
  [success]