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