!7

p-exp {
  S sentence = "Are atomic bombs powerful devices ?";
  S pat = "Are <noun> <noun>?";
  
  L<S> tokPat = javaTokWithAngularBracketsC(pat);
  L<S> tokS = javaTokWithAngularBracketsC(sentence);
  
  printStruct(tokPat);
  printStruct(tokS);
  
  int extra = l(tokS)-l(tokPat);
  if (extra <= 0) ret with print("Not applicable");
  
  L<Int> indices = indicesOfAngleBracketVars(tokPat);
  print(indices);
  
  new LL<Int> out;
  recurse(extra-l(indices), l(indices), new L, out);
  pnl(out);
}

svoid recurse(int remaining, int n, L<Int> collecting, LL<Int> out) {
  if (l(collecting) >= n)
    ret with out.add(cloneList(collecting));
    
  for (int take = 0; take <= remaining; take++) {
    collecting.add(take);
    recurse(remaining-take, n, collecting, out);
    removeLast(collecting);
  }
}