---- Domain Predicates ----
---- t = 0 ----
HoldsAt(Knows(Closed(S2)),0)
HoldsAt(Knows(~Closed(S1)),0)
HoldsAt(Knows(~Activated(R)),0)
HoldsAt(Knows(~Lit(L)),0)
> Happens(Close(S1),0)
---- t = 1 ----
HoldsAt(Knows(Closed(S2)),1)
HoldsAt(Knows(~Activated(R)),1)
HoldsAt(Knows(~Lit(L)),1)
HoldsAt(Knows(Closed(S1)),1)
> Happens(TurnOn(L),1)
> Happens(Activate_pot(R),1)
---- t = 2 ----
HoldsAt(Knows(Closed(S1)),2)
HoldsAt(Knows(Closed(S2)),2)
HoldsAt(Knows(Closed(S3) v ~Activated(R)),2)
HoldsAt(Knows(Activated(R) v ~Closed(S3)),2)
HoldsAt(Knows(Lit(L)),2)
> Happens(Open_pot(S2),2)
---- t = 3 ----
HoldsAt(Knows(Lit(L)),3)
HoldsAt(Knows(Activated(R) v ~Closed(S3)),3)
HoldsAt(Knows(Closed(S3) v ~Activated(R)),3)
HoldsAt(Knows(Closed(S1)),3)
HoldsAt(Knows(Closed(S2) v Activated(R)),3)
HoldsAt(Knows(~Closed(S2) v ~Activated(R)),3)
HoldsAt(Knows(Closed(S2) v Closed(S3)),3)
HoldsAt(Knows(~Closed(S2) v ~Closed(S3)),3)
> Happens(Deactivate_pot(R),3)
> Happens(TurnOff_pot(L),3)
---- t = 4 ----
HoldsAt(Knows(~Activated(R)),4)
HoldsAt(Knows(Closed(S2) v ~Lit(L)),4)
HoldsAt(Knows(Lit(L) v ~Closed(S2)),4)
HoldsAt(Knows(Closed(S2) v Closed(S3)),4)
HoldsAt(Knows(Closed(S1)),4)
HoldsAt(Knows(~Closed(S3) v ~Closed(S2)),4)
HoldsAt(Knows(Closed(S3) v Lit(L)),4)
HoldsAt(Knows(~Lit(L) v ~Closed(S3)),4)
> Happens(Close_pot(S2),4)
---- t = 5 ----
HoldsAt(Knows(Closed(S1)),5)
HoldsAt(Knows(~Activated(R)),5)
HoldsAt(Knows(Closed(S2)),5)
HoldsAt(Knows(Closed(S3) v Lit(L)),5)
HoldsAt(Knows(~Lit(L) v ~Closed(S3)),5)
> Happens(Activate_pot(R),5)
> Happens(TurnOn_pot(L),5)
---- t = 6 ----
HoldsAt(Knows(Closed(S2)),6)
HoldsAt(Knows(Closed(S1)),6)
HoldsAt(Knows(Closed(S3) v ~Activated(R)),6)
HoldsAt(Knows(Activated(R) v ~Closed(S3)),6)
HoldsAt(Knows(Lit(L)),6)
> Happens(Open_pot(S2),6)
---- t = 7 ----
HoldsAt(Knows(Lit(L)),7)
HoldsAt(Knows(Activated(R) v ~Closed(S3)),7)
HoldsAt(Knows(Closed(S3) v ~Activated(R)),7)
HoldsAt(Knows(Closed(S1)),7)
HoldsAt(Knows(Closed(S2) v Activated(R)),7)
HoldsAt(Knows(~Closed(S2) v ~Activated(R)),7)
HoldsAt(Knows(Closed(S2) v Closed(S3)),7)
HoldsAt(Knows(~Closed(S2) v ~Closed(S3)),7)
> Happens(Deactivate_pot(R),7)
> Happens(TurnOff_pot(L),7)
---- t = 8 ----
HoldsAt(Knows(Closed(S2) v ~Lit(L)),8)
HoldsAt(Knows(~Activated(R)),8)
HoldsAt(Knows(Lit(L) v ~Closed(S2)),8)
HoldsAt(Knows(Closed(S2) v Closed(S3)),8)
HoldsAt(Knows(Closed(S1)),8)
HoldsAt(Knows(~Closed(S3) v ~Closed(S2)),8)
HoldsAt(Knows(Lit(L) v Closed(S3)),8)
HoldsAt(Knows(~Lit(L) v ~Closed(S3)),8)
> Happens(Close_pot(S2),8)