GoldSent : goto a 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==epsilon(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : pickup a 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==epsilon(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : open a green door
Sem : [e0==state_opened : 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 : goto a 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==epsilon(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : pickup a 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==epsilon(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : goto a 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==epsilon(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : open the door
Sem : [e0==state_opened : 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 a ball
Sem : [e0==state_facing : es|r0 : [x0 : e|p0==obj_ball(x0) : t|head==x0 : e]|head==e0 : es|x1==epsilon(r0.head, r0) : e|p1==obj(e0, x1) : t]

GoldSent : open the green door
Sem : [e0==state_opened : 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 : pickup a ball
Sem : [e0==state_holding : es|r0 : [x0 : e|p0==obj_ball(x0) : t|head==x0 : e]|head==e0 : es|x1==epsilon(r0.head, r0) : e|p1==obj(e0, x1) : t]

GoldSent : goto a 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==epsilon(r0.head, r0) : e|p2==obj(e0, x1) : t]

GoldSent : goto the 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==iota(r0.head, r0) : e|p2==obj(e0, x1) : t]




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

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

// Corpus size: 12
// Maximum length: 4
// Minimum length: 3
// Average length: 3.750000

// ---- Word-Level Stats ----
// Count of all words: 45
// Count of unique tokens: 14
// Words/Tokens count ratio: 3.214286