domain: "[M] -> { S1[] : M >= 0 }"
child:
  context: "[M] -> { [] }"