Display of clauses for planning problem PP2 and plan hypothesis hyp.PP2-001

Universal rules, initial state, and action laws:

=01  {[-G .t .a]
      [-P .t .a]
      [D .t (1+ .t) .a] }

=02  {[H 0 sunny y] }

=03  {[-H 0 raining y] }

=04  {[H 0 (sleepy Groucho) y] }

=05  {[-P .s [feed .a .f]]
      [H .s (hungry .a) y] }

=06  {[-P .s [feed .a .f]]
      [H .s (available .f) y] }

=07  {[P .s [feed .a .f]]
      [-H .s (hungry .a) y]
      [-H .s (available .f) y] }

=08  {[-D .s .t [feed .a .f]]
      [-H .t (hungry .a) y] }

=09  {[-D .s .t [feed .a .f]]
      [-H .s (sleepy .a) y]
      [H .t (sleepy .a) y] }

=10  {[-D .s .t [feed .a .f]]
      [H .s (sleepy .a) y]
      [-H .t (sleepy .a) y] }

=11  {[-P .s [sunbathe .a]]
      [H 0 sunny y] }

=12, from =01 and =11
     {[-P .s [sunbathe .a]]
      [-H 0 raining y] }

=13  {[P .s [sunbathe .a]]
      [-H 0 sunny y]
      [H 0 raining y] }

=14  {[-D .s .t [sunbathe .a]]
      [H .t raining y] }

=15  {[-D .s .t [sunbathe .a]]
      [-H .s (sleepy .a) y]
      [H .t (sleepy .a) y] }

=16  {[-D .s .t [sunbathe .a]]
      [H .s (sleepy .a) y]
      [-H .t (sleepy .a) y] }

=17  {[-P .s [listen-to-rain .a]]
      [H .t (sleepy .a) y] }

=18  {[-P .s [listen-to-rain .a]]
      [H .t raining y] }

=19  {[P .s [listen-to-rain .a]]
      [-H .t (sleepy .a) y]
      [-H .t raining y] }

=20  {[-D .s .t [listen-to-rain .a]]
      [H .t (sleepy .a) y] }

=21  {[-D .s .t [listen-to-rain .a]]
      [-H .s (sleepy .a) y]
      [H .t (sleepy .a) y] }

=22  {[-D .s .t [listen-to-rain .a]]
      [H .s (sleepy .a) y]
      [-H .t (sleepy .a) y] }

