Try these:
  [apply] 
    instantiate only [fooAx1]
    instantiate only [fooAx1]
    instantiate only [fooAx1]
    instantiate only [fooAx1]
    instantiate only [fooAx1]
    instantiate only [fooAx1]
    instantiate only [fooAx1]
    instantiate only [fooAx1]
    instantiate only [fooAx1]
    instantiate only [fooAx1]
  [apply] finish only [fooAx1]
Try this:
  [apply] [grind .] for pattern: [@LE.le `[Nat] `[instLENat] `[10] `[foo 0]]
Try these:
  [apply] 
    instantiate only [fooAx1]
    instantiate only [fooAx1]
    instantiate only [fooAx1]
    instantiate only [fooAx1]
    instantiate only [fooAx1]
    instantiate only [fooAx1]
    instantiate only [fooAx1]
    instantiate only [fooAx1]
    instantiate only [fooAx1]
    instantiate only [fooAx1]
    instantiate only [fooAx1]
    instantiate only [fooAx1]
    instantiate only [fooAx1]
    instantiate only [fooAx1]
    instantiate only [fooAx1]
    instantiate only [fooAx1]
    instantiate only [fooAx1]
    instantiate only [fooAx1]
    instantiate only [fooAx1]
    instantiate only [fooAx1]
    instantiate only [fooAx1]
    instantiate only [fooAx1]
    instantiate only [fooAx1]
    instantiate only [fooAx1]
    instantiate only [fooAx1]
    instantiate only [fooAx1]
    instantiate only [fooAx1]
    instantiate only [fooAx1]
    instantiate only [fooAx1]
    instantiate only [fooAx1]
  [apply] finish only [fooAx1]