GoldSent : pickup a yellow ball
Sem : [e0==state_holding : es|r0 : [x0 : e|p1==col_yellow(x0) : t|p0==obj_ball(x0) : t|head==x0 : e]|head==e0 : es|x1==epsilon(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : pickup a purple box
Sem : [e0==state_holding : es|r0 : [x0 : e|p1==col_purple(x0) : t|p0==obj_box(x0) : t|head==x0 : e]|head==e0 : es|x1==epsilon(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : pickup a blue box
Sem : [e0==state_holding : es|r0 : [x0 : e|p1==col_blue(x0) : t|p0==obj_box(x0) : t|head==x0 : e]|head==e0 : es|x1==epsilon(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : pickup a purple ball
Sem : [e0==state_holding : es|r0 : [x0 : e|p1==col_purple(x0) : t|p0==obj_ball(x0) : t|head==x0 : e]|head==e0 : es|x1==epsilon(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : pickup a red key
Sem : [e0==state_holding : es|r0 : [x0 : e|p1==col_red(x0) : t|p0==obj_key(x0) : t|head==x0 : e]|head==e0 : es|x1==epsilon(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : pickup the yellow key
Sem : [e0==state_holding : es|r0 : [x0 : e|p1==col_yellow(x0) : t|p0==obj_key(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : goto a grey ball
Sem : [e0==state_facing : es|r0 : [x0 : e|p1==col_grey(x0) : t|p0==obj_ball(x0) : t|head==x0 : e]|head==e0 : es|x1==epsilon(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : goto the purple box
Sem : [e0==state_facing : es|r0 : [x0 : e|p1==col_purple(x0) : t|p0==obj_box(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : goto a blue door
Sem : [e0==state_facing : es|r0 : [x0 : e|p1==col_blue(x0) : t|p0==obj_door(x0) : t|head==x0 : e]|head==e0 : es|x1==epsilon(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : pickup the grey key
Sem : [e0==state_holding : es|r0 : [x0 : e|p1==col_grey(x0) : t|p0==obj_key(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : pickup the yellow box
Sem : [e0==state_holding : es|r0 : [x0 : e|p1==col_yellow(x0) : t|p0==obj_box(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : pickup the green key
Sem : [e0==state_holding : es|r0 : [x0 : e|p1==col_green(x0) : t|p0==obj_key(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : pickup the ball
Sem : [e0==state_holding : es|r0 : [x0 : e|p0==obj_ball(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p1==obj(e0, x1) : t]

GoldSent : open a red door
Sem : [e0==state_opened : es|r0 : [x0 : e|p1==col_red(x0) : t|p0==obj_door(x0) : t|head==x0 : e]|head==e0 : es|x1==epsilon(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : goto a green door
Sem : [e0==state_facing : es|r0 : [x0 : e|p1==col_green(x0) : t|p0==obj_door(x0) : t|head==x0 : e]|head==e0 : es|x1==epsilon(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : pickup the key
Sem : [e0==state_holding : es|r0 : [x0 : e|p0==obj_key(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p1==obj(e0, x1) : t]

GoldSent : goto the grey door
Sem : [e0==state_facing : es|r0 : [x0 : e|p1==col_grey(x0) : t|p0==obj_door(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : goto the blue door
Sem : [e0==state_facing : es|r0 : [x0 : e|p1==col_blue(x0) : t|p0==obj_door(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : goto the red ball
Sem : [e0==state_facing : es|r0 : [x0 : e|p1==col_red(x0) : t|p0==obj_ball(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : open a blue door
Sem : [e0==state_opened : es|r0 : [x0 : e|p1==col_blue(x0) : t|p0==obj_door(x0) : t|head==x0 : e]|head==e0 : es|x1==epsilon(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : pickup the grey box
Sem : [e0==state_holding : es|r0 : [x0 : e|p1==col_grey(x0) : t|p0==obj_box(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : goto a box
Sem : [e0==state_facing : es|r0 : [x0 : e|p0==obj_box(x0) : t|head==x0 : e]|head==e0 : es|x1==epsilon(r0.head, r0) : e|p1==obj(e0, x1) : t]

GoldSent : pickup the purple ball
Sem : [e0==state_holding : es|r0 : [x0 : e|p1==col_purple(x0) : t|p0==obj_ball(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : pickup a blue key
Sem : [e0==state_holding : es|r0 : [x0 : e|p1==col_blue(x0) : t|p0==obj_key(x0) : t|head==x0 : e]|head==e0 : es|x1==epsilon(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : goto the green door
Sem : [e0==state_facing : es|r0 : [x0 : e|p1==col_green(x0) : t|p0==obj_door(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : goto a red door
Sem : [e0==state_facing : es|r0 : [x0 : e|p1==col_red(x0) : t|p0==obj_door(x0) : t|head==x0 : e]|head==e0 : es|x1==epsilon(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : goto the yellow key
Sem : [e0==state_facing : es|r0 : [x0 : e|p1==col_yellow(x0) : t|p0==obj_key(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : pickup a blue ball
Sem : [e0==state_holding : es|r0 : [x0 : e|p1==col_blue(x0) : t|p0==obj_ball(x0) : t|head==x0 : e]|head==e0 : es|x1==epsilon(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : goto the grey ball
Sem : [e0==state_facing : es|r0 : [x0 : e|p1==col_grey(x0) : t|p0==obj_ball(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : open the red door
Sem : [e0==state_opened : es|r0 : [x0 : e|p1==col_red(x0) : t|p0==obj_door(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : pickup the blue key
Sem : [e0==state_holding : es|r0 : [x0 : e|p1==col_blue(x0) : t|p0==obj_key(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : pickup the purple box
Sem : [e0==state_holding : es|r0 : [x0 : e|p1==col_purple(x0) : t|p0==obj_box(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : pickup a yellow key
Sem : [e0==state_holding : es|r0 : [x0 : e|p1==col_yellow(x0) : t|p0==obj_key(x0) : t|head==x0 : e]|head==e0 : es|x1==epsilon(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : pickup a yellow box
Sem : [e0==state_holding : es|r0 : [x0 : e|p1==col_yellow(x0) : t|p0==obj_box(x0) : t|head==x0 : e]|head==e0 : es|x1==epsilon(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : pickup a grey key
Sem : [e0==state_holding : es|r0 : [x0 : e|p1==col_grey(x0) : t|p0==obj_key(x0) : t|head==x0 : e]|head==e0 : es|x1==epsilon(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : goto the grey key
Sem : [e0==state_facing : es|r0 : [x0 : e|p1==col_grey(x0) : t|p0==obj_key(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : goto the green key
Sem : [e0==state_facing : es|r0 : [x0 : e|p1==col_green(x0) : t|p0==obj_key(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : goto the ball
Sem : [e0==state_facing : es|r0 : [x0 : e|p0==obj_ball(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p1==obj(e0, x1) : t]

GoldSent : goto the blue box
Sem : [e0==state_facing : es|r0 : [x0 : e|p1==col_blue(x0) : t|p0==obj_box(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : pickup a green box
Sem : [e0==state_holding : es|r0 : [x0 : e|p1==col_green(x0) : t|p0==obj_box(x0) : t|head==x0 : e]|head==e0 : es|x1==epsilon(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : goto the red door
Sem : [e0==state_facing : es|r0 : [x0 : e|p1==col_red(x0) : t|p0==obj_door(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : goto a blue box
Sem : [e0==state_facing : es|r0 : [x0 : e|p1==col_blue(x0) : t|p0==obj_box(x0) : t|head==x0 : e]|head==e0 : es|x1==epsilon(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : open a grey door
Sem : [e0==state_opened : es|r0 : [x0 : e|p1==col_grey(x0) : t|p0==obj_door(x0) : t|head==x0 : e]|head==e0 : es|x1==epsilon(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : goto the green ball
Sem : [e0==state_facing : es|r0 : [x0 : e|p1==col_green(x0) : t|p0==obj_ball(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : pickup a green ball
Sem : [e0==state_holding : es|r0 : [x0 : e|p1==col_green(x0) : t|p0==obj_ball(x0) : t|head==x0 : e]|head==e0 : es|x1==epsilon(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : pickup the red box
Sem : [e0==state_holding : es|r0 : [x0 : e|p1==col_red(x0) : t|p0==obj_box(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : goto a yellow ball
Sem : [e0==state_facing : es|r0 : [x0 : e|p1==col_yellow(x0) : t|p0==obj_ball(x0) : t|head==x0 : e]|head==e0 : es|x1==epsilon(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : goto a red key
Sem : [e0==state_facing : es|r0 : [x0 : e|p1==col_red(x0) : t|p0==obj_key(x0) : t|head==x0 : e]|head==e0 : es|x1==epsilon(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : goto a blue ball
Sem : [e0==state_facing : es|r0 : [x0 : e|p1==col_blue(x0) : t|p0==obj_ball(x0) : t|head==x0 : e]|head==e0 : es|x1==epsilon(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : goto the purple ball
Sem : [e0==state_facing : es|r0 : [x0 : e|p1==col_purple(x0) : t|p0==obj_ball(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : goto the key
Sem : [e0==state_facing : es|r0 : [x0 : e|p0==obj_key(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p1==obj(e0, x1) : t]

GoldSent : goto the yellow ball
Sem : [e0==state_facing : es|r0 : [x0 : e|p1==col_yellow(x0) : t|p0==obj_ball(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : open a door
Sem : [e0==state_opened : es|r0 : [x0 : e|p0==obj_door(x0) : t|head==x0 : e]|head==e0 : es|x1==epsilon(r0.head, r0) : e|p1==obj(e0, x1) : t]

GoldSent : open the purple door
Sem : [e0==state_opened : es|r0 : [x0 : e|p1==col_purple(x0) : t|p0==obj_door(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : pickup the red key
Sem : [e0==state_holding : es|r0 : [x0 : e|p1==col_red(x0) : t|p0==obj_key(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : pickup a green key
Sem : [e0==state_holding : es|r0 : [x0 : e|p1==col_green(x0) : t|p0==obj_key(x0) : t|head==x0 : e]|head==e0 : es|x1==epsilon(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : pickup the box
Sem : [e0==state_holding : es|r0 : [x0 : e|p0==obj_box(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p1==obj(e0, x1) : t]

GoldSent : pickup a grey ball
Sem : [e0==state_holding : es|r0 : [x0 : e|p1==col_grey(x0) : t|p0==obj_ball(x0) : t|head==x0 : e]|head==e0 : es|x1==epsilon(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : pickup the grey ball
Sem : [e0==state_holding : es|r0 : [x0 : e|p1==col_grey(x0) : t|p0==obj_ball(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : goto the blue ball
Sem : [e0==state_facing : es|r0 : [x0 : e|p1==col_blue(x0) : t|p0==obj_ball(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : goto the green box
Sem : [e0==state_facing : es|r0 : [x0 : e|p1==col_green(x0) : t|p0==obj_box(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : pickup the red ball
Sem : [e0==state_holding : es|r0 : [x0 : e|p1==col_red(x0) : t|p0==obj_ball(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : pickup a key
Sem : [e0==state_holding : es|r0 : [x0 : e|p0==obj_key(x0) : t|head==x0 : e]|head==e0 : es|x1==epsilon(r0.head, r0) : e|p1==obj(e0, x1) : t]

GoldSent : goto a grey box
Sem : [e0==state_facing : es|r0 : [x0 : e|p1==col_grey(x0) : t|p0==obj_box(x0) : t|head==x0 : e]|head==e0 : es|x1==epsilon(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : goto the blue key
Sem : [e0==state_facing : es|r0 : [x0 : e|p1==col_blue(x0) : t|p0==obj_key(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : goto the purple key
Sem : [e0==state_facing : es|r0 : [x0 : e|p1==col_purple(x0) : t|p0==obj_key(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : open the grey door
Sem : [e0==state_opened : es|r0 : [x0 : e|p1==col_grey(x0) : t|p0==obj_door(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : goto a purple box
Sem : [e0==state_facing : es|r0 : [x0 : e|p1==col_purple(x0) : t|p0==obj_box(x0) : t|head==x0 : e]|head==e0 : es|x1==epsilon(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : pickup the blue ball
Sem : [e0==state_holding : es|r0 : [x0 : e|p1==col_blue(x0) : t|p0==obj_ball(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : pickup the blue box
Sem : [e0==state_holding : es|r0 : [x0 : e|p1==col_blue(x0) : t|p0==obj_box(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : pickup the purple key
Sem : [e0==state_holding : es|r0 : [x0 : e|p1==col_purple(x0) : t|p0==obj_key(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : open a yellow door
Sem : [e0==state_opened : es|r0 : [x0 : e|p1==col_yellow(x0) : t|p0==obj_door(x0) : t|head==x0 : e]|head==e0 : es|x1==epsilon(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : pickup the yellow ball
Sem : [e0==state_holding : es|r0 : [x0 : e|p1==col_yellow(x0) : t|p0==obj_ball(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : goto a yellow box
Sem : [e0==state_facing : es|r0 : [x0 : e|p1==col_yellow(x0) : t|p0==obj_box(x0) : t|head==x0 : e]|head==e0 : es|x1==epsilon(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : goto a green ball
Sem : [e0==state_facing : es|r0 : [x0 : e|p1==col_green(x0) : t|p0==obj_ball(x0) : t|head==x0 : e]|head==e0 : es|x1==epsilon(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : pickup the green ball
Sem : [e0==state_holding : es|r0 : [x0 : e|p1==col_green(x0) : t|p0==obj_ball(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : goto the door
Sem : [e0==state_facing : es|r0 : [x0 : e|p0==obj_door(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p1==obj(e0, x1) : t]

GoldSent : goto the purple door
Sem : [e0==state_facing : es|r0 : [x0 : e|p1==col_purple(x0) : t|p0==obj_door(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : pickup a purple key
Sem : [e0==state_holding : es|r0 : [x0 : e|p1==col_purple(x0) : t|p0==obj_key(x0) : t|head==x0 : e]|head==e0 : es|x1==epsilon(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : pickup the green box
Sem : [e0==state_holding : es|r0 : [x0 : e|p1==col_green(x0) : t|p0==obj_box(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : goto a purple ball
Sem : [e0==state_facing : es|r0 : [x0 : e|p1==col_purple(x0) : t|p0==obj_ball(x0) : t|head==x0 : e]|head==e0 : es|x1==epsilon(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : pickup a box
Sem : [e0==state_holding : es|r0 : [x0 : e|p0==obj_box(x0) : t|head==x0 : e]|head==e0 : es|x1==epsilon(r0.head, r0) : e|p1==obj(e0, x1) : t]

GoldSent : goto a purple door
Sem : [e0==state_facing : es|r0 : [x0 : e|p1==col_purple(x0) : t|p0==obj_door(x0) : t|head==x0 : e]|head==e0 : es|x1==epsilon(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : open the yellow door
Sem : [e0==state_opened : es|r0 : [x0 : e|p1==col_yellow(x0) : t|p0==obj_door(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : goto the grey box
Sem : [e0==state_facing : es|r0 : [x0 : e|p1==col_grey(x0) : t|p0==obj_box(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : goto the red box
Sem : [e0==state_facing : es|r0 : [x0 : e|p1==col_red(x0) : t|p0==obj_box(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : goto the yellow door
Sem : [e0==state_facing : es|r0 : [x0 : e|p1==col_yellow(x0) : t|p0==obj_door(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : goto a key
Sem : [e0==state_facing : es|r0 : [x0 : e|p0==obj_key(x0) : t|head==x0 : e]|head==e0 : es|x1==epsilon(r0.head, r0) : e|p1==obj(e0, x1) : t]

GoldSent : goto a green key
Sem : [e0==state_facing : es|r0 : [x0 : e|p1==col_green(x0) : t|p0==obj_key(x0) : t|head==x0 : e]|head==e0 : es|x1==epsilon(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : goto a red ball
Sem : [e0==state_facing : es|r0 : [x0 : e|p1==col_red(x0) : t|p0==obj_ball(x0) : t|head==x0 : e]|head==e0 : es|x1==epsilon(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : goto a yellow key
Sem : [e0==state_facing : es|r0 : [x0 : e|p1==col_yellow(x0) : t|p0==obj_key(x0) : t|head==x0 : e]|head==e0 : es|x1==epsilon(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : goto a purple key
Sem : [e0==state_facing : es|r0 : [x0 : e|p1==col_purple(x0) : t|p0==obj_key(x0) : t|head==x0 : e]|head==e0 : es|x1==epsilon(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : goto a green box
Sem : [e0==state_facing : es|r0 : [x0 : e|p1==col_green(x0) : t|p0==obj_box(x0) : t|head==x0 : e]|head==e0 : es|x1==epsilon(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : goto the box
Sem : [e0==state_facing : es|r0 : [x0 : e|p0==obj_box(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p1==obj(e0, x1) : t]

GoldSent : goto the red key
Sem : [e0==state_facing : es|r0 : [x0 : e|p1==col_red(x0) : t|p0==obj_key(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : pickup a grey box
Sem : [e0==state_holding : es|r0 : [x0 : e|p1==col_grey(x0) : t|p0==obj_box(x0) : t|head==x0 : e]|head==e0 : es|x1==epsilon(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : open the blue door
Sem : [e0==state_opened : es|r0 : [x0 : e|p1==col_blue(x0) : t|p0==obj_door(x0) : t|head==x0 : e]|head==e0 : es|x1==iota(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : open a purple door
Sem : [e0==state_opened : es|r0 : [x0 : e|p1==col_purple(x0) : t|p0==obj_door(x0) : t|head==x0 : e]|head==e0 : es|x1==epsilon(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : goto a grey key
Sem : [e0==state_facing : es|r0 : [x0 : e|p1==col_grey(x0) : t|p0==obj_key(x0) : t|head==x0 : e]|head==e0 : es|x1==epsilon(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : goto a door
Sem : [e0==state_facing : es|r0 : [x0 : e|p0==obj_door(x0) : t|head==x0 : e]|head==e0 : es|x1==epsilon(r0.head, r0) : e|p1==obj(e0, x1) : t]




// ====== DATASET STATS ======

// ---- Sentence-Level Stats ----
// Count of sentences with length 3 is 13.
// Count of sentences with length 4 is 87.

// Corpus size: 100
// Maximum length: 4
// Minimum length: 3
// Average length: 3.870000

// ---- Word-Level Stats ----
// Count of all words: 387
// Count of unique tokens: 15
// Words/Tokens count ratio: 25.800000