?G_0:
  [(block ?G_0), (thing ?G_0), (above ?G_0 ?), (on ?G_0 ?), (above ? ?G_0), (on ? ?G_0), (not (block ?G_0)), (not (thing ?G_0)), (not (above ?G_0 ?)), (not (on ?G_0 ?)), (not (above ? ?G_0)), (not (on ? ?G_0))]

Local Invariants
Specific Invariants: [(block ?G_0), (thing ?G_0), (above ?G_0 floor)]
Never Present: [above, block, clear, floor, highest, on, thing]
Invariants count: 35