(
objects (Battery1 Battery2 Cap Flashlight)
predicates (On In)
operators (
  PlaceCap 
  preconditions (!On(Cap Flashlight))
  effects (On(Cap Flashlight))
  RemoveCap 
  preconditions (On(Cap Flashlight))
  effects (!On(Cap Flashlight))
  Insert1
  preconditions (!On(Cap Flashlight) !In(Battery1 Flashlight))
  effects (In(Battery1 Flashlight))
  Insert2
  preconditions (!On(Cap Flashlight) !In(Battery2 Flashlight))
  effects (In(Battery2 Flashlight))
  )
initial (On(Cap Flashlight))
goal ( 
       On(Cap Flashlight) 
       In(Battery1 Flashlight)
       In(Battery2 Flashlight)
     )
)