action(cpa_start(cpa_n1)).
action(cpa_start(cpa_n2)).
action(cpa_travel(cpa_n1,cpa_n1)).
action(cpa_travel(cpa_n1,cpa_n2)).
action(cpa_travel(cpa_n2,cpa_n1)).
action(cpa_travel(cpa_n2,cpa_n2)).
fluent(cpa_started).
fluent(cpa_visited(cpa_n1)).
fluent(cpa_visited(cpa_n2)).
fluent(cpa_at(cpa_n1)).
fluent(cpa_at(cpa_n2)).
executable(cpa_travel(cpa_n1,cpa_n1),lit(cpa_started,1)).
executable(cpa_travel(cpa_n1,cpa_n2),lit(cpa_started,1)).
executable(cpa_travel(cpa_n2,cpa_n1),lit(cpa_started,1)).
executable(cpa_travel(cpa_n2,cpa_n2),lit(cpa_started,1)).
effect(cpa_start(cpa_n1),lit(cpa_started,1),1).
effect(cpa_start(cpa_n1),lit(cpa_visited(cpa_n1),1),1).
effect(cpa_start(cpa_n2),lit(cpa_started,1),1).
effect(cpa_start(cpa_n2),lit(cpa_visited(cpa_n2),1),1).
effect(cpa_travel(cpa_n1,cpa_n2),lit(cpa_visited(cpa_n2),1),1).
effect(cpa_travel(cpa_n1,cpa_n2),lit(cpa_at(cpa_n2),1),1).
effect(cpa_travel(cpa_n1,cpa_n2),lit(cpa_at(cpa_n1),-1),1).
effect(cpa_travel(cpa_n2,cpa_n1),lit(cpa_visited(cpa_n1),1),1).
effect(cpa_travel(cpa_n2,cpa_n1),lit(cpa_at(cpa_n1),1),1).
effect(cpa_travel(cpa_n2,cpa_n1),lit(cpa_at(cpa_n2),-1),1).
condition(cpa_start(cpa_n1),lit(cpa_at(cpa_n1),1),1).
condition(cpa_start(cpa_n2),lit(cpa_at(cpa_n2),1),1).
condition(cpa_travel(cpa_n1,cpa_n2),lit(cpa_at(cpa_n1),1),1).
condition(cpa_travel(cpa_n2,cpa_n1),lit(cpa_at(cpa_n2),1),1).
initially(lit(cpa_visited(cpa_n1),-1)).
initially(lit(cpa_visited(cpa_n2),-1)).
initially(lit(cpa_started,-1)).
initially_oneof(1,lit(cpa_at(cpa_n1),1),1).
initially_oneof(1,lit(cpa_at(cpa_n2),1),2).
goal(lit(cpa_visited(cpa_n1),1)).
goal(lit(cpa_visited(cpa_n2),1)).
holds_initially(cpa_at(cpa_n2)).
