: Plans ( : Plan_Set { : Nonempty_Plan_Set ( : Plan ( : Obj_Set { : Nonempty_Obj_Set ( : Obj ( : Ident "Battery1" ) : Nonempty_Obj_Set ( : Obj ( : Ident "Battery2" ) : Nonempty_Obj_Set ( : Obj ( : Ident "Cap" ) : Nonempty_Obj_Set ( : Obj ( : Ident "Flashlight" ) ) ) ) ) } : PredName_Set { : Nonempty_PredName_Set ( : PredName ( : Ident "On" ) : Nonempty_PredName_Set ( : PredName ( : Ident "In" ) ) ) } : Op_Set { : Nonempty_Op_Set ( : Op ( : OpName ( : Ident "PlaceCap" ) : Literal_Set { : Nonempty_Literal_Set ( : NegLit ( : PredName ( : Ident "On" ) : Obj_Set { : Nonempty_Obj_Set ( : Obj ( : Ident "Cap" ) : Nonempty_Obj_Set ( : Obj ( : Ident "Flashlight" ) ) ) } ) ) } : Literal_Set { : Nonempty_Literal_Set ( : PosLit ( : PredName ( : Ident "On" ) : Obj_Set { : Nonempty_Obj_Set ( : Obj ( : Ident "Cap" ) : Nonempty_Obj_Set ( : Obj ( : Ident "Flashlight" ) ) ) } ) ) } ) : Nonempty_Op_Set ( : Op ( : OpName ( : Ident "RemoveCap" ) : Literal_Set { : Nonempty_Literal_Set ( : PosLit ( : PredName ( : Ident "On" ) : Obj_Set { : Nonempty_Obj_Set ( : Obj ( : Ident "Cap" ) : Nonempty_Obj_Set ( : Obj ( : Ident "Flashlight" ) ) ) } ) ) } : Literal_Set { : Nonempty_Literal_Set ( : NegLit ( : PredName ( : Ident "On" ) : Obj_Set { : Nonempty_Obj_Set ( : Obj ( : Ident "Cap" ) : Nonempty_Obj_Set ( : Obj ( : Ident "Flashlight" ) ) ) } ) ) } ) : Nonempty_Op_Set ( : Op ( : OpName ( : Ident "Insert1" ) : Literal_Set { : Nonempty_Literal_Set ( : NegLit ( : PredName ( : Ident "On" ) : Obj_Set { : Nonempty_Obj_Set ( : Obj ( : Ident "Cap" ) : Nonempty_Obj_Set ( : Obj ( : Ident "Flashlight" ) ) ) } ) : Nonempty_Literal_Set ( : NegLit ( : PredName ( : Ident "In" ) : Obj_Set { : Nonempty_Obj_Set ( : Obj ( : Ident "Battery1" ) : Nonempty_Obj_Set ( : Obj ( : Ident "Flashlight" ) ) ) } ) ) ) } : Literal_Set { : Nonempty_Literal_Set ( : PosLit ( : PredName ( : Ident "In" ) : Obj_Set { : Nonempty_Obj_Set ( : Obj ( : Ident "Battery1" ) : Nonempty_Obj_Set ( : Obj ( : Ident "Flashlight" ) ) ) } ) ) } ) : Nonempty_Op_Set ( : Op ( : OpName ( : Ident "Insert2" ) : Literal_Set { : Nonempty_Literal_Set ( : NegLit ( : PredName ( : Ident "On" ) : Obj_Set { : Nonempty_Obj_Set ( : Obj ( : Ident "Cap" ) : Nonempty_Obj_Set ( : Obj ( : Ident "Flashlight" ) ) ) } ) : Nonempty_Literal_Set ( : NegLit ( : PredName ( : Ident "In" ) : Obj_Set { : Nonempty_Obj_Set ( : Obj ( : Ident "Battery2" ) : Nonempty_Obj_Set ( : Obj ( : Ident "Flashlight" ) ) ) } ) ) ) } : Literal_Set { : Nonempty_Literal_Set ( : PosLit ( : PredName ( : Ident "In" ) : Obj_Set { : Nonempty_Obj_Set ( : Obj ( : Ident "Battery2" ) : Nonempty_Obj_Set ( : Obj ( : Ident "Flashlight" ) ) ) } ) ) } ) ) ) ) ) } : PosLit_Set { : Nonempty_PosLit_Set ( : PosLit ( : PredName ( : Ident "On" ) : Obj_Set { : Nonempty_Obj_Set ( : Obj ( : Ident "Cap" ) : Nonempty_Obj_Set ( : Obj ( : Ident "Flashlight" ) ) ) } ) ) } : Literal_Set { : Nonempty_Literal_Set ( : PosLit ( : PredName ( : Ident "On" ) : Obj_Set { : Nonempty_Obj_Set ( : Obj ( : Ident "Cap" ) : Nonempty_Obj_Set ( : Obj ( : Ident "Flashlight" ) ) ) } ) : Nonempty_Literal_Set ( : PosLit ( : PredName ( : Ident "In" ) : Obj_Set { : Nonempty_Obj_Set ( : Obj ( : Ident "Battery1" ) : Nonempty_Obj_Set ( : Obj ( : Ident "Flashlight" ) ) ) } ) : Nonempty_Literal_Set ( : PosLit ( : PredName ( : Ident "In" ) : Obj_Set { : Nonempty_Obj_Set ( : Obj ( : Ident "Battery2" ) : Nonempty_Obj_Set ( : Obj ( : Ident "Flashlight" ) ) ) } ) ) ) ) } : OpName_Set { : Nonempty_OpName_Set ( : OpName ( : Ident "RemoveCap" ) : Nonempty_OpName_Set ( : OpName ( : Ident "Insert1" ) : Nonempty_OpName_Set ( : OpName ( : Ident "Insert2" ) : Nonempty_OpName_Set ( : OpName ( : Ident "PlaceCap" ) ) ) ) ) } ) ) } )done