[Right triangle ⏵ may be expanded, down triangle ⏷ to close. Button = tree pop-up. × = close pop-up.]
Initial WS 1 : furiouslyv sleepø vsleep: θ: pres INFLv ideas greenθ colorlessθ
WS 1: {ideas, { {greenθ , ideas},{colorlessθ , ideas}} } furiouslyv sleepø vsleep: θ: pres INFLv
WS 2: {vsleep: θ: pres , sleepø } {ideas, { {greenθ , ideas},{colorlessθ , ideas}} } furiouslyv INFLv
WS 3: {{ideas, { {greenθ , ideas},{colorlessθ , ideas}} }, {vsleep: θ: pres , sleepø }} furiouslyv INFLv
WS 4: {furiouslyv , {{ideas, { {greenθ , ideas},{colorlessθ , ideas}} }, {vsleep: θ: pres , sleepø }}} INFLv
WS 5: {{ideas, { {greenθ , ideas},{colorlessθ , ideas}} }, {INFLv , {furiouslyv , {{ideas, { {greenθ , ideas},{colorlessθ , ideas}} }, {vsleep: θ: pres , sleepø }}}}}
Final WS: {C, {{ideas, { {greenθ , ideas},{colorlessθ , ideas}} }, {INFLv , {furiouslyv , {{ideas, { {greenθ , ideas},{colorlessθ , ideas}} }, {vsleep: θ: pres , sleepø }}}}}}
INT/EXT: {C, {{ideas,
{ {green
θ ,
ideas }, {colorless
θ ,
ideas }
} }, {INFL
v , {furiously
v , {
{ ideas , { { green θ , ideas } , { colorless θ , ideas } } } , {v
sleep: θ: pres , sleep
ø }}}}}}
Initial Spellout: { green,colorless} ideas furiously 3pl pres sleep
Spellout: { green,colorless} ideas furiously sleep
Error: inconsistent spellout
Initial Spellout: { green,colorless} ideas 3pl pres sleep furiously
Spellout: { green,colorless} ideas sleep furiously
Parse found: { green,colorless} ideas sleep furiously
WS 1: {ideas, { {greenθ , ideas},{colorlessθ , ideas}} } furiouslyv sleepø vsleep: θ: pres INFLv
WS 4: {{ideas, { {greenθ , ideas},{colorlessθ , ideas}} }, {INFLv , {{ideas, { {greenθ , ideas},{colorlessθ , ideas}} }, {vsleep: θ: pres , sleepø }}}} furiouslyv
WS 1: {ideas, {greenθ , ideas}} furiouslyv sleepø vsleep: θ: pres INFLv colorlessθ
WS 2: {{colorlessθ , {ideas, {greenθ , ideas}}}, {ideas, {greenθ , ideas}}} furiouslyv sleepø vsleep: θ: pres INFLv
WS 1: {ideas, {greenθ , ideas}} furiouslyv sleepø vsleep: θ: pres INFLv colorlessθ
WS 2: {colorlessθ , {ideas, {greenθ , ideas}}} furiouslyv sleepø vsleep: θ: pres INFLv
WS 3: {ideas, {greenθ , ideas}} {colorlessθ , {ideas, {greenθ , ideas}}} furiouslyv sleepø vsleep: θ: pres INFLv
WS 4: {vsleep: θ: pres , sleepø } {ideas, {greenθ , ideas}} {colorlessθ , {ideas, {greenθ , ideas}}} furiouslyv INFLv
WS 5: {{ideas, {greenθ , ideas}}, {vsleep: θ: pres , sleepø }} {colorlessθ , {ideas, {greenθ , ideas}}} furiouslyv INFLv
WS 6: {furiouslyv , {{ideas, {greenθ , ideas}}, {vsleep: θ: pres , sleepø }}} {colorlessθ , {ideas, {greenθ , ideas}}} INFLv
WS 7: {{ideas, {greenθ , ideas}}, {INFLv , {furiouslyv , {{ideas, {greenθ , ideas}}, {vsleep: θ: pres , sleepø }}}}} {colorlessθ , {ideas, {greenθ , ideas}}}
WS 1: {ideas, {greenθ , ideas}} furiouslyv sleepø vsleep: θ: pres INFLv colorlessθ
WS 7: { {furiouslyv , {{ideas, {greenθ , ideas}}, {vsleep: θ: pres , sleepø }}},{colorlessθ , {ideas, {greenθ , ideas}}}} INFLv
WS 1: {ideas, {greenθ , ideas}} furiouslyv sleepø vsleep: θ: pres INFLv colorlessθ
WS 6: {{ideas, {greenθ , ideas}}, {INFLv , {{ideas, {greenθ , ideas}}, {vsleep: θ: pres , sleepø }}}} {colorlessθ , {ideas, {greenθ , ideas}}} furiouslyv
WS 1: {ideas, {greenθ , ideas}} furiouslyv sleepø vsleep: θ: pres INFLv colorlessθ
WS 6: { {{ideas, {greenθ , ideas}}, {vsleep: θ: pres , sleepø }},{colorlessθ , {ideas, {greenθ , ideas}}}} furiouslyv INFLv
WS 1: {ideas, {greenθ , ideas}} furiouslyv sleepø vsleep: θ: pres INFLv colorlessθ
WS 2: {vsleep: θ: pres , sleepø } {ideas, {greenθ , ideas}} furiouslyv INFLv colorlessθ
WS 3: {{ideas, {greenθ , ideas}}, {vsleep: θ: pres , sleepø }} furiouslyv INFLv colorlessθ
WS 4: {ideas, {greenθ , ideas}} {{ideas, {greenθ , ideas}}, {vsleep: θ: pres , sleepø }} furiouslyv INFLv colorlessθ
WS 5: {colorlessθ , {ideas, {greenθ , ideas}}} {{ideas, {greenθ , ideas}}, {vsleep: θ: pres , sleepø }} furiouslyv INFLv
WS 6: { {colorlessθ , {ideas, {greenθ , ideas}}},{{ideas, {greenθ , ideas}}, {vsleep: θ: pres , sleepø }}} furiouslyv INFLv
WS 1: {ideas, {greenθ , ideas}} furiouslyv sleepø vsleep: θ: pres INFLv colorlessθ
WS 5: {furiouslyv , {{ideas, {greenθ , ideas}}, {vsleep: θ: pres , sleepø }}} {ideas, {greenθ , ideas}} INFLv colorlessθ
WS 6: {{ideas, {greenθ , ideas}}, {INFLv , {furiouslyv , {{ideas, {greenθ , ideas}}, {vsleep: θ: pres , sleepø }}}}} {ideas, {greenθ , ideas}} colorlessθ
WS 1: {ideas, {greenθ , ideas}} furiouslyv sleepø vsleep: θ: pres INFLv colorlessθ
WS 6: { {furiouslyv , {{ideas, {greenθ , ideas}}, {vsleep: θ: pres , sleepø }}},colorlessθ } {ideas, {greenθ , ideas}} INFLv
WS fail: WS θS 0 < θR 1
WS 1: {ideas, {greenθ , ideas}} furiouslyv sleepø vsleep: θ: pres INFLv colorlessθ
WS 5: {{ideas, {greenθ , ideas}}, {INFLv , {{ideas, {greenθ , ideas}}, {vsleep: θ: pres , sleepø }}}} {ideas, {greenθ , ideas}} furiouslyv colorlessθ
WS 1: {ideas, {greenθ , ideas}} furiouslyv sleepø vsleep: θ: pres INFLv colorlessθ
WS 5: { {{ideas, {greenθ , ideas}}, {vsleep: θ: pres , sleepø }},colorlessθ } {ideas, {greenθ , ideas}} furiouslyv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {ideas, {colorlessθ , ideas}} furiouslyv sleepø vsleep: θ: pres INFLv greenθ
WS 2: {{greenθ , {ideas, {colorlessθ , ideas}}}, {ideas, {colorlessθ , ideas}}} furiouslyv sleepø vsleep: θ: pres INFLv
WS 1: {ideas, {colorlessθ , ideas}} furiouslyv sleepø vsleep: θ: pres INFLv greenθ
WS 2: {greenθ , {ideas, {colorlessθ , ideas}}} furiouslyv sleepø vsleep: θ: pres INFLv
WS 3: {ideas, {colorlessθ , ideas}} {greenθ , {ideas, {colorlessθ , ideas}}} furiouslyv sleepø vsleep: θ: pres INFLv
WS 4: {vsleep: θ: pres , sleepø } {ideas, {colorlessθ , ideas}} {greenθ , {ideas, {colorlessθ , ideas}}} furiouslyv INFLv
WS 5: {{ideas, {colorlessθ , ideas}}, {vsleep: θ: pres , sleepø }} {greenθ , {ideas, {colorlessθ , ideas}}} furiouslyv INFLv
WS 6: {furiouslyv , {{ideas, {colorlessθ , ideas}}, {vsleep: θ: pres , sleepø }}} {greenθ , {ideas, {colorlessθ , ideas}}} INFLv
WS 7: {{ideas, {colorlessθ , ideas}}, {INFLv , {furiouslyv , {{ideas, {colorlessθ , ideas}}, {vsleep: θ: pres , sleepø }}}}} {greenθ , {ideas, {colorlessθ , ideas}}}
WS 1: {ideas, {colorlessθ , ideas}} furiouslyv sleepø vsleep: θ: pres INFLv greenθ
WS 7: { {furiouslyv , {{ideas, {colorlessθ , ideas}}, {vsleep: θ: pres , sleepø }}},{greenθ , {ideas, {colorlessθ , ideas}}}} INFLv
WS 1: {ideas, {colorlessθ , ideas}} furiouslyv sleepø vsleep: θ: pres INFLv greenθ
WS 6: {{ideas, {colorlessθ , ideas}}, {INFLv , {{ideas, {colorlessθ , ideas}}, {vsleep: θ: pres , sleepø }}}} {greenθ , {ideas, {colorlessθ , ideas}}} furiouslyv
WS 1: {ideas, {colorlessθ , ideas}} furiouslyv sleepø vsleep: θ: pres INFLv greenθ
WS 6: { {{ideas, {colorlessθ , ideas}}, {vsleep: θ: pres , sleepø }},{greenθ , {ideas, {colorlessθ , ideas}}}} furiouslyv INFLv
WS 1: {ideas, {colorlessθ , ideas}} furiouslyv sleepø vsleep: θ: pres INFLv greenθ
WS 2: {vsleep: θ: pres , sleepø } {ideas, {colorlessθ , ideas}} furiouslyv INFLv greenθ
WS 3: {{ideas, {colorlessθ , ideas}}, {vsleep: θ: pres , sleepø }} furiouslyv INFLv greenθ
WS 4: {ideas, {colorlessθ , ideas}} {{ideas, {colorlessθ , ideas}}, {vsleep: θ: pres , sleepø }} furiouslyv INFLv greenθ
WS 5: {greenθ , {ideas, {colorlessθ , ideas}}} {{ideas, {colorlessθ , ideas}}, {vsleep: θ: pres , sleepø }} furiouslyv INFLv
WS 6: { {greenθ , {ideas, {colorlessθ , ideas}}},{{ideas, {colorlessθ , ideas}}, {vsleep: θ: pres , sleepø }}} furiouslyv INFLv
WS 1: {ideas, {colorlessθ , ideas}} furiouslyv sleepø vsleep: θ: pres INFLv greenθ
WS 5: {furiouslyv , {{ideas, {colorlessθ , ideas}}, {vsleep: θ: pres , sleepø }}} {ideas, {colorlessθ , ideas}} INFLv greenθ
WS 6: {{ideas, {colorlessθ , ideas}}, {INFLv , {furiouslyv , {{ideas, {colorlessθ , ideas}}, {vsleep: θ: pres , sleepø }}}}} {ideas, {colorlessθ , ideas}} greenθ
WS 1: {ideas, {colorlessθ , ideas}} furiouslyv sleepø vsleep: θ: pres INFLv greenθ
WS 6: { {furiouslyv , {{ideas, {colorlessθ , ideas}}, {vsleep: θ: pres , sleepø }}},greenθ } {ideas, {colorlessθ , ideas}} INFLv
WS fail: WS θS 0 < θR 1
WS 1: {ideas, {colorlessθ , ideas}} furiouslyv sleepø vsleep: θ: pres INFLv greenθ
WS 5: {{ideas, {colorlessθ , ideas}}, {INFLv , {{ideas, {colorlessθ , ideas}}, {vsleep: θ: pres , sleepø }}}} {ideas, {colorlessθ , ideas}} furiouslyv greenθ
WS 1: {ideas, {colorlessθ , ideas}} furiouslyv sleepø vsleep: θ: pres INFLv greenθ
WS 5: { {{ideas, {colorlessθ , ideas}}, {vsleep: θ: pres , sleepø }},greenθ } {ideas, {colorlessθ , ideas}} furiouslyv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {greenθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv colorlessθ
WS 2: ideas {greenθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv colorlessθ
WS 3: {ideas, {colorlessθ , ideas}} {greenθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv
WS 4: {vsleep: θ: pres , sleepø } {ideas, {colorlessθ , ideas}} {greenθ , ideas} furiouslyv INFLv
WS 5: {{ideas, {colorlessθ , ideas}}, {vsleep: θ: pres , sleepø }} {greenθ , ideas} furiouslyv INFLv
WS 6: {furiouslyv , {{ideas, {colorlessθ , ideas}}, {vsleep: θ: pres , sleepø }}} {greenθ , ideas} INFLv
WS 7: {{ideas, {colorlessθ , ideas}}, {INFLv , {furiouslyv , {{ideas, {colorlessθ , ideas}}, {vsleep: θ: pres , sleepø }}}}} {greenθ , ideas}
WS 1: {greenθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv colorlessθ
WS 7: { {furiouslyv , {{ideas, {colorlessθ , ideas}}, {vsleep: θ: pres , sleepø }}},{greenθ , ideas}} INFLv
WS 1: {greenθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv colorlessθ
WS 6: {{ideas, {colorlessθ , ideas}}, {INFLv , {{ideas, {colorlessθ , ideas}}, {vsleep: θ: pres , sleepø }}}} {greenθ , ideas} furiouslyv
WS 1: {greenθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv colorlessθ
WS 6: { {{ideas, {colorlessθ , ideas}}, {vsleep: θ: pres , sleepø }},{greenθ , ideas}} furiouslyv INFLv
WS 1: {greenθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv colorlessθ
WS 3: {colorlessθ , ideas} {greenθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv
WS 4: ideas {colorlessθ , ideas} {greenθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv
WS 5: {vsleep: θ: pres , sleepø } ideas {colorlessθ , ideas} {greenθ , ideas} furiouslyv INFLv
WS 6: {ideas, {vsleep: θ: pres , sleepø }} {colorlessθ , ideas} {greenθ , ideas} furiouslyv INFLv
WS 7: {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}} {colorlessθ , ideas} {greenθ , ideas} INFLv
WS 8: {ideas, {INFLv , {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}}}} {colorlessθ , ideas} {greenθ , ideas}
WS 9: { {colorlessθ , ideas},{greenθ , ideas}} {ideas, {INFLv , {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}}}}
WS 1: {greenθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv colorlessθ
WS 8: { {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}},{colorlessθ , ideas}} {greenθ , ideas} INFLv
WS 9: { { {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}},{colorlessθ , ideas}} ,{greenθ , ideas}} INFLv
WS 1: {greenθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv colorlessθ
WS 8: { {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}},{greenθ , ideas}} {colorlessθ , ideas} INFLv
WS 9: { { {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}},{greenθ , ideas}} ,{colorlessθ , ideas}} INFLv
WS 1: {greenθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv colorlessθ
WS 8: { {colorlessθ , ideas},{greenθ , ideas}} {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}} INFLv
WS 9: { { {colorlessθ , ideas},{greenθ , ideas}} ,{furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}}} INFLv
WS 1: {greenθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv colorlessθ
WS 7: {ideas, {INFLv , {ideas, {vsleep: θ: pres , sleepø }}}} {colorlessθ , ideas} {greenθ , ideas} furiouslyv
WS 8: { {colorlessθ , ideas},{greenθ , ideas}} {ideas, {INFLv , {ideas, {vsleep: θ: pres , sleepø }}}} furiouslyv
WS 1: {greenθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv colorlessθ
WS 7: { {ideas, {vsleep: θ: pres , sleepø }},{colorlessθ , ideas}} {greenθ , ideas} furiouslyv INFLv
WS 8: { { {ideas, {vsleep: θ: pres , sleepø }},{colorlessθ , ideas}} ,{greenθ , ideas}} furiouslyv INFLv
WS 1: {greenθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv colorlessθ
WS 7: { {ideas, {vsleep: θ: pres , sleepø }},{greenθ , ideas}} {colorlessθ , ideas} furiouslyv INFLv
WS 8: { { {ideas, {vsleep: θ: pres , sleepø }},{greenθ , ideas}} ,{colorlessθ , ideas}} furiouslyv INFLv
WS 1: {greenθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv colorlessθ
WS 7: { {colorlessθ , ideas},{greenθ , ideas}} {ideas, {vsleep: θ: pres , sleepø }} furiouslyv INFLv
WS 8: { { {colorlessθ , ideas},{greenθ , ideas}} ,{ideas, {vsleep: θ: pres , sleepø }}} furiouslyv INFLv
WS 1: {greenθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv colorlessθ
WS 6: { {colorlessθ , ideas},{greenθ , ideas}} {vsleep: θ: pres , sleepø } ideas furiouslyv INFLv
WS 1: {greenθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv colorlessθ
WS 5: { {colorlessθ , ideas},{greenθ , ideas}} ideas furiouslyv sleepø vsleep: θ: pres INFLv
WS 1: {greenθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv colorlessθ
WS 3: {vsleep: θ: pres , sleepø } ideas {greenθ , ideas} furiouslyv INFLv colorlessθ
WS 4: {ideas, {vsleep: θ: pres , sleepø }} {greenθ , ideas} furiouslyv INFLv colorlessθ
WS 5: ideas {ideas, {vsleep: θ: pres , sleepø }} {greenθ , ideas} furiouslyv INFLv colorlessθ
WS 6: {colorlessθ , ideas} {ideas, {vsleep: θ: pres , sleepø }} {greenθ , ideas} furiouslyv INFLv
WS 7: { {colorlessθ , ideas},{ideas, {vsleep: θ: pres , sleepø }}} {greenθ , ideas} furiouslyv INFLv
WS 8: { { {colorlessθ , ideas},{ideas, {vsleep: θ: pres , sleepø }}} ,{greenθ , ideas}} furiouslyv INFLv
WS 1: {greenθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv colorlessθ
WS 7: { {colorlessθ , ideas},{greenθ , ideas}} {ideas, {vsleep: θ: pres , sleepø }} furiouslyv INFLv
WS 8: { { {colorlessθ , ideas},{greenθ , ideas}} ,{ideas, {vsleep: θ: pres , sleepø }}} furiouslyv INFLv
WS 1: {greenθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv colorlessθ
WS 7: { {ideas, {vsleep: θ: pres , sleepø }},{greenθ , ideas}} {colorlessθ , ideas} furiouslyv INFLv
WS 8: { { {ideas, {vsleep: θ: pres , sleepø }},{greenθ , ideas}} ,{colorlessθ , ideas}} furiouslyv INFLv
WS 1: {greenθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv colorlessθ
WS 6: {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}} ideas {greenθ , ideas} INFLv colorlessθ
WS 7: {ideas, {INFLv , {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}}}} ideas {greenθ , ideas} colorlessθ
WS 8: { {greenθ , ideas},colorlessθ } {ideas, {INFLv , {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}}}} ideas
WS fail: WS θS 0 < θR 1
WS 1: {greenθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv colorlessθ
WS 7: { {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}},{greenθ , ideas}} ideas INFLv colorlessθ
WS 8: { { {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}},{greenθ , ideas}} ,colorlessθ } ideas INFLv
WS fail: WS θS 0 < θR 1
WS 1: {greenθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv colorlessθ
WS 7: { {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}},colorlessθ } ideas {greenθ , ideas} INFLv
WS fail: WS θS 0 < θR 1
WS 1: {greenθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv colorlessθ
WS 7: { {greenθ , ideas},colorlessθ } {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}} ideas INFLv
WS fail: WS θS 0 < θR 1
WS 1: {greenθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv colorlessθ
WS 6: {ideas, {INFLv , {ideas, {vsleep: θ: pres , sleepø }}}} ideas {greenθ , ideas} furiouslyv colorlessθ
WS 7: { {greenθ , ideas},colorlessθ } {ideas, {INFLv , {ideas, {vsleep: θ: pres , sleepø }}}} ideas furiouslyv
WS fail: WS θS 0 < θR 1
WS 1: {greenθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv colorlessθ
WS 6: { {ideas, {vsleep: θ: pres , sleepø }},{greenθ , ideas}} ideas furiouslyv INFLv colorlessθ
WS 7: { { {ideas, {vsleep: θ: pres , sleepø }},{greenθ , ideas}} ,colorlessθ } ideas furiouslyv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {greenθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv colorlessθ
WS 6: { {ideas, {vsleep: θ: pres , sleepø }},colorlessθ } ideas {greenθ , ideas} furiouslyv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {greenθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv colorlessθ
WS 6: { {greenθ , ideas},colorlessθ } ideas {ideas, {vsleep: θ: pres , sleepø }} furiouslyv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {colorlessθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv greenθ
WS 2: ideas {colorlessθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv greenθ
WS 3: {ideas, {greenθ , ideas}} {colorlessθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv
WS 4: {vsleep: θ: pres , sleepø } {ideas, {greenθ , ideas}} {colorlessθ , ideas} furiouslyv INFLv
WS 5: {{ideas, {greenθ , ideas}}, {vsleep: θ: pres , sleepø }} {colorlessθ , ideas} furiouslyv INFLv
WS 6: {furiouslyv , {{ideas, {greenθ , ideas}}, {vsleep: θ: pres , sleepø }}} {colorlessθ , ideas} INFLv
WS 7: {{ideas, {greenθ , ideas}}, {INFLv , {furiouslyv , {{ideas, {greenθ , ideas}}, {vsleep: θ: pres , sleepø }}}}} {colorlessθ , ideas}
WS 1: {colorlessθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv greenθ
WS 7: { {furiouslyv , {{ideas, {greenθ , ideas}}, {vsleep: θ: pres , sleepø }}},{colorlessθ , ideas}} INFLv
WS 1: {colorlessθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv greenθ
WS 6: {{ideas, {greenθ , ideas}}, {INFLv , {{ideas, {greenθ , ideas}}, {vsleep: θ: pres , sleepø }}}} {colorlessθ , ideas} furiouslyv
WS 1: {colorlessθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv greenθ
WS 6: { {{ideas, {greenθ , ideas}}, {vsleep: θ: pres , sleepø }},{colorlessθ , ideas}} furiouslyv INFLv
WS 1: {colorlessθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv greenθ
WS 3: {greenθ , ideas} {colorlessθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv
WS 4: ideas {greenθ , ideas} {colorlessθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv
WS 5: {vsleep: θ: pres , sleepø } ideas {greenθ , ideas} {colorlessθ , ideas} furiouslyv INFLv
WS 6: {ideas, {vsleep: θ: pres , sleepø }} {greenθ , ideas} {colorlessθ , ideas} furiouslyv INFLv
WS 7: {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}} {greenθ , ideas} {colorlessθ , ideas} INFLv
WS 8: {ideas, {INFLv , {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}}}} {greenθ , ideas} {colorlessθ , ideas}
WS 9: { {greenθ , ideas},{colorlessθ , ideas}} {ideas, {INFLv , {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}}}}
WS 1: {colorlessθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv greenθ
WS 8: { {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}},{greenθ , ideas}} {colorlessθ , ideas} INFLv
WS 9: { { {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}},{greenθ , ideas}} ,{colorlessθ , ideas}} INFLv
WS 1: {colorlessθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv greenθ
WS 8: { {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}},{colorlessθ , ideas}} {greenθ , ideas} INFLv
WS 9: { { {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}},{colorlessθ , ideas}} ,{greenθ , ideas}} INFLv
WS 1: {colorlessθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv greenθ
WS 8: { {greenθ , ideas},{colorlessθ , ideas}} {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}} INFLv
WS 9: { { {greenθ , ideas},{colorlessθ , ideas}} ,{furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}}} INFLv
WS 1: {colorlessθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv greenθ
WS 7: {ideas, {INFLv , {ideas, {vsleep: θ: pres , sleepø }}}} {greenθ , ideas} {colorlessθ , ideas} furiouslyv
WS 8: { {greenθ , ideas},{colorlessθ , ideas}} {ideas, {INFLv , {ideas, {vsleep: θ: pres , sleepø }}}} furiouslyv
WS 1: {colorlessθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv greenθ
WS 7: { {ideas, {vsleep: θ: pres , sleepø }},{greenθ , ideas}} {colorlessθ , ideas} furiouslyv INFLv
WS 8: { { {ideas, {vsleep: θ: pres , sleepø }},{greenθ , ideas}} ,{colorlessθ , ideas}} furiouslyv INFLv
WS 1: {colorlessθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv greenθ
WS 7: { {ideas, {vsleep: θ: pres , sleepø }},{colorlessθ , ideas}} {greenθ , ideas} furiouslyv INFLv
WS 8: { { {ideas, {vsleep: θ: pres , sleepø }},{colorlessθ , ideas}} ,{greenθ , ideas}} furiouslyv INFLv
WS 1: {colorlessθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv greenθ
WS 7: { {greenθ , ideas},{colorlessθ , ideas}} {ideas, {vsleep: θ: pres , sleepø }} furiouslyv INFLv
WS 8: { { {greenθ , ideas},{colorlessθ , ideas}} ,{ideas, {vsleep: θ: pres , sleepø }}} furiouslyv INFLv
WS 1: {colorlessθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv greenθ
WS 6: { {greenθ , ideas},{colorlessθ , ideas}} {vsleep: θ: pres , sleepø } ideas furiouslyv INFLv
WS 1: {colorlessθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv greenθ
WS 5: { {greenθ , ideas},{colorlessθ , ideas}} ideas furiouslyv sleepø vsleep: θ: pres INFLv
WS 1: {colorlessθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv greenθ
WS 3: {vsleep: θ: pres , sleepø } ideas {colorlessθ , ideas} furiouslyv INFLv greenθ
WS 4: {ideas, {vsleep: θ: pres , sleepø }} {colorlessθ , ideas} furiouslyv INFLv greenθ
WS 5: ideas {ideas, {vsleep: θ: pres , sleepø }} {colorlessθ , ideas} furiouslyv INFLv greenθ
WS 6: {greenθ , ideas} {ideas, {vsleep: θ: pres , sleepø }} {colorlessθ , ideas} furiouslyv INFLv
WS 7: { {greenθ , ideas},{ideas, {vsleep: θ: pres , sleepø }}} {colorlessθ , ideas} furiouslyv INFLv
WS 8: { { {greenθ , ideas},{ideas, {vsleep: θ: pres , sleepø }}} ,{colorlessθ , ideas}} furiouslyv INFLv
WS 1: {colorlessθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv greenθ
WS 7: { {greenθ , ideas},{colorlessθ , ideas}} {ideas, {vsleep: θ: pres , sleepø }} furiouslyv INFLv
WS 8: { { {greenθ , ideas},{colorlessθ , ideas}} ,{ideas, {vsleep: θ: pres , sleepø }}} furiouslyv INFLv
WS 1: {colorlessθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv greenθ
WS 7: { {ideas, {vsleep: θ: pres , sleepø }},{colorlessθ , ideas}} {greenθ , ideas} furiouslyv INFLv
WS 8: { { {ideas, {vsleep: θ: pres , sleepø }},{colorlessθ , ideas}} ,{greenθ , ideas}} furiouslyv INFLv
WS 1: {colorlessθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv greenθ
WS 6: {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}} ideas {colorlessθ , ideas} INFLv greenθ
WS 7: {ideas, {INFLv , {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}}}} ideas {colorlessθ , ideas} greenθ
WS 8: { {colorlessθ , ideas},greenθ } {ideas, {INFLv , {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}}}} ideas
WS fail: WS θS 0 < θR 1
WS 1: {colorlessθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv greenθ
WS 7: { {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}},{colorlessθ , ideas}} ideas INFLv greenθ
WS 8: { { {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}},{colorlessθ , ideas}} ,greenθ } ideas INFLv
WS fail: WS θS 0 < θR 1
WS 1: {colorlessθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv greenθ
WS 7: { {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}},greenθ } ideas {colorlessθ , ideas} INFLv
WS fail: WS θS 0 < θR 1
WS 1: {colorlessθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv greenθ
WS 7: { {colorlessθ , ideas},greenθ } {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}} ideas INFLv
WS fail: WS θS 0 < θR 1
WS 1: {colorlessθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv greenθ
WS 6: {ideas, {INFLv , {ideas, {vsleep: θ: pres , sleepø }}}} ideas {colorlessθ , ideas} furiouslyv greenθ
WS 7: { {colorlessθ , ideas},greenθ } {ideas, {INFLv , {ideas, {vsleep: θ: pres , sleepø }}}} ideas furiouslyv
WS fail: WS θS 0 < θR 1
WS 1: {colorlessθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv greenθ
WS 6: { {ideas, {vsleep: θ: pres , sleepø }},{colorlessθ , ideas}} ideas furiouslyv INFLv greenθ
WS 7: { { {ideas, {vsleep: θ: pres , sleepø }},{colorlessθ , ideas}} ,greenθ } ideas furiouslyv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {colorlessθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv greenθ
WS 6: { {ideas, {vsleep: θ: pres , sleepø }},greenθ } ideas {colorlessθ , ideas} furiouslyv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {colorlessθ , ideas} furiouslyv sleepø vsleep: θ: pres INFLv greenθ
WS 6: { {colorlessθ , ideas},greenθ } ideas {ideas, {vsleep: θ: pres , sleepø }} furiouslyv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {vsleep: θ: pres , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 2: {ideas, {vsleep: θ: pres , sleepø }} furiouslyv INFLv greenθ colorlessθ
WS 3: ideas {ideas, {vsleep: θ: pres , sleepø }} furiouslyv INFLv greenθ colorlessθ
WS 4: {ideas, { {greenθ , ideas},{colorlessθ , ideas}} } {ideas, {vsleep: θ: pres , sleepø }} furiouslyv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {vsleep: θ: pres , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 4: {ideas, {greenθ , ideas}} {ideas, {vsleep: θ: pres , sleepø }} furiouslyv INFLv colorlessθ
WS 5: {colorlessθ , {ideas, {greenθ , ideas}}} {ideas, {vsleep: θ: pres , sleepø }} furiouslyv INFLv
WS 6: { {colorlessθ , {ideas, {greenθ , ideas}}},{ideas, {vsleep: θ: pres , sleepø }}} furiouslyv INFLv
WS 1: {vsleep: θ: pres , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 5: {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}} {ideas, {greenθ , ideas}} INFLv colorlessθ
WS 6: {ideas, {INFLv , {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}}}} {ideas, {greenθ , ideas}} colorlessθ
WS 1: {vsleep: θ: pres , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 6: { {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}},colorlessθ } {ideas, {greenθ , ideas}} INFLv
WS fail: WS θS 0 < θR 1
WS 1: {vsleep: θ: pres , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 5: {ideas, {INFLv , {ideas, {vsleep: θ: pres , sleepø }}}} {ideas, {greenθ , ideas}} furiouslyv colorlessθ
WS 1: {vsleep: θ: pres , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 5: { {ideas, {vsleep: θ: pres , sleepø }},colorlessθ } {ideas, {greenθ , ideas}} furiouslyv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {vsleep: θ: pres , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 4: {ideas, {colorlessθ , ideas}} {ideas, {vsleep: θ: pres , sleepø }} furiouslyv INFLv greenθ
WS 5: {greenθ , {ideas, {colorlessθ , ideas}}} {ideas, {vsleep: θ: pres , sleepø }} furiouslyv INFLv
WS 6: { {greenθ , {ideas, {colorlessθ , ideas}}},{ideas, {vsleep: θ: pres , sleepø }}} furiouslyv INFLv
WS 1: {vsleep: θ: pres , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 5: {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}} {ideas, {colorlessθ , ideas}} INFLv greenθ
WS 6: {ideas, {INFLv , {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}}}} {ideas, {colorlessθ , ideas}} greenθ
WS 1: {vsleep: θ: pres , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 6: { {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}},greenθ } {ideas, {colorlessθ , ideas}} INFLv
WS fail: WS θS 0 < θR 1
WS 1: {vsleep: θ: pres , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 5: {ideas, {INFLv , {ideas, {vsleep: θ: pres , sleepø }}}} {ideas, {colorlessθ , ideas}} furiouslyv greenθ
WS 1: {vsleep: θ: pres , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 5: { {ideas, {vsleep: θ: pres , sleepø }},greenθ } {ideas, {colorlessθ , ideas}} furiouslyv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {vsleep: θ: pres , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 4: {greenθ , ideas} {ideas, {vsleep: θ: pres , sleepø }} furiouslyv INFLv colorlessθ
WS 5: ideas {greenθ , ideas} {ideas, {vsleep: θ: pres , sleepø }} furiouslyv INFLv colorlessθ
WS 6: {colorlessθ , ideas} {greenθ , ideas} {ideas, {vsleep: θ: pres , sleepø }} furiouslyv INFLv
WS 7: { {colorlessθ , ideas},{greenθ , ideas}} {ideas, {vsleep: θ: pres , sleepø }} furiouslyv INFLv
WS 8: { { {colorlessθ , ideas},{greenθ , ideas}} ,{ideas, {vsleep: θ: pres , sleepø }}} furiouslyv INFLv
WS 1: {vsleep: θ: pres , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 7: { {colorlessθ , ideas},{ideas, {vsleep: θ: pres , sleepø }}} {greenθ , ideas} furiouslyv INFLv
WS 8: { { {colorlessθ , ideas},{ideas, {vsleep: θ: pres , sleepø }}} ,{greenθ , ideas}} furiouslyv INFLv
WS 1: {vsleep: θ: pres , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 7: { {greenθ , ideas},{ideas, {vsleep: θ: pres , sleepø }}} {colorlessθ , ideas} furiouslyv INFLv
WS 8: { { {greenθ , ideas},{ideas, {vsleep: θ: pres , sleepø }}} ,{colorlessθ , ideas}} furiouslyv INFLv
WS 1: {vsleep: θ: pres , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 6: {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}} ideas {greenθ , ideas} INFLv colorlessθ
WS 7: {ideas, {INFLv , {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}}}} ideas {greenθ , ideas} colorlessθ
WS 8: { {greenθ , ideas},colorlessθ } {ideas, {INFLv , {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}}}} ideas
WS fail: WS θS 0 < θR 1
WS 1: {vsleep: θ: pres , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 7: { {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}},{greenθ , ideas}} ideas INFLv colorlessθ
WS 8: { { {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}},{greenθ , ideas}} ,colorlessθ } ideas INFLv
WS fail: WS θS 0 < θR 1
WS 1: {vsleep: θ: pres , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 7: { {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}},colorlessθ } ideas {greenθ , ideas} INFLv
WS fail: WS θS 0 < θR 1
WS 1: {vsleep: θ: pres , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 7: { {greenθ , ideas},colorlessθ } {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}} ideas INFLv
WS fail: WS θS 0 < θR 1
WS 1: {vsleep: θ: pres , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 6: {ideas, {INFLv , {ideas, {vsleep: θ: pres , sleepø }}}} ideas {greenθ , ideas} furiouslyv colorlessθ
WS 7: { {greenθ , ideas},colorlessθ } {ideas, {INFLv , {ideas, {vsleep: θ: pres , sleepø }}}} ideas furiouslyv
WS fail: WS θS 0 < θR 1
WS 1: {vsleep: θ: pres , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 6: { {greenθ , ideas},{ideas, {vsleep: θ: pres , sleepø }}} ideas furiouslyv INFLv colorlessθ
WS 7: { { {greenθ , ideas},{ideas, {vsleep: θ: pres , sleepø }}} ,colorlessθ } ideas furiouslyv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {vsleep: θ: pres , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 6: { {greenθ , ideas},colorlessθ } ideas {ideas, {vsleep: θ: pres , sleepø }} furiouslyv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {vsleep: θ: pres , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 6: { {ideas, {vsleep: θ: pres , sleepø }},colorlessθ } ideas {greenθ , ideas} furiouslyv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {vsleep: θ: pres , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 4: {colorlessθ , ideas} {ideas, {vsleep: θ: pres , sleepø }} furiouslyv INFLv greenθ
WS 5: ideas {colorlessθ , ideas} {ideas, {vsleep: θ: pres , sleepø }} furiouslyv INFLv greenθ
WS 6: {greenθ , ideas} {colorlessθ , ideas} {ideas, {vsleep: θ: pres , sleepø }} furiouslyv INFLv
WS 7: { {greenθ , ideas},{colorlessθ , ideas}} {ideas, {vsleep: θ: pres , sleepø }} furiouslyv INFLv
WS 8: { { {greenθ , ideas},{colorlessθ , ideas}} ,{ideas, {vsleep: θ: pres , sleepø }}} furiouslyv INFLv
WS 1: {vsleep: θ: pres , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 7: { {greenθ , ideas},{ideas, {vsleep: θ: pres , sleepø }}} {colorlessθ , ideas} furiouslyv INFLv
WS 8: { { {greenθ , ideas},{ideas, {vsleep: θ: pres , sleepø }}} ,{colorlessθ , ideas}} furiouslyv INFLv
WS 1: {vsleep: θ: pres , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 7: { {colorlessθ , ideas},{ideas, {vsleep: θ: pres , sleepø }}} {greenθ , ideas} furiouslyv INFLv
WS 8: { { {colorlessθ , ideas},{ideas, {vsleep: θ: pres , sleepø }}} ,{greenθ , ideas}} furiouslyv INFLv
WS 1: {vsleep: θ: pres , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 6: {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}} ideas {colorlessθ , ideas} INFLv greenθ
WS 7: {ideas, {INFLv , {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}}}} ideas {colorlessθ , ideas} greenθ
WS 8: { {colorlessθ , ideas},greenθ } {ideas, {INFLv , {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}}}} ideas
WS fail: WS θS 0 < θR 1
WS 1: {vsleep: θ: pres , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 7: { {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}},{colorlessθ , ideas}} ideas INFLv greenθ
WS 8: { { {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}},{colorlessθ , ideas}} ,greenθ } ideas INFLv
WS fail: WS θS 0 < θR 1
WS 1: {vsleep: θ: pres , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 7: { {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}},greenθ } ideas {colorlessθ , ideas} INFLv
WS fail: WS θS 0 < θR 1
WS 1: {vsleep: θ: pres , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 7: { {colorlessθ , ideas},greenθ } {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}} ideas INFLv
WS fail: WS θS 0 < θR 1
WS 1: {vsleep: θ: pres , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 6: {ideas, {INFLv , {ideas, {vsleep: θ: pres , sleepø }}}} ideas {colorlessθ , ideas} furiouslyv greenθ
WS 7: { {colorlessθ , ideas},greenθ } {ideas, {INFLv , {ideas, {vsleep: θ: pres , sleepø }}}} ideas furiouslyv
WS fail: WS θS 0 < θR 1
WS 1: {vsleep: θ: pres , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 6: { {colorlessθ , ideas},{ideas, {vsleep: θ: pres , sleepø }}} ideas furiouslyv INFLv greenθ
WS 7: { { {colorlessθ , ideas},{ideas, {vsleep: θ: pres , sleepø }}} ,greenθ } ideas furiouslyv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {vsleep: θ: pres , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 6: { {colorlessθ , ideas},greenθ } ideas {ideas, {vsleep: θ: pres , sleepø }} furiouslyv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {vsleep: θ: pres , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 6: { {ideas, {vsleep: θ: pres , sleepø }},greenθ } ideas {colorlessθ , ideas} furiouslyv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {vsleep: θ: pres , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 4: {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}} ideas INFLv greenθ colorlessθ
WS 5: {ideas, {INFLv , {furiouslyv , {ideas, {vsleep: θ: pres , sleepø }}}}} ideas greenθ colorlessθ
WS 1: {vsleep: θ: pres , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 4: {ideas, {INFLv , {ideas, {vsleep: θ: pres , sleepø }}}} ideas furiouslyv greenθ colorlessθ
Initial WS 2: furiouslyv sleepø vsleep: θ INFLv ideas greenθ colorlessθ
WS 1: {ideas, { {greenθ , ideas},{colorlessθ , ideas}} } furiouslyv sleepø vsleep: θ INFLv
WS 2: {vsleep: θ , sleepø } {ideas, { {greenθ , ideas},{colorlessθ , ideas}} } furiouslyv INFLv
WS 3: {{ideas, { {greenθ , ideas},{colorlessθ , ideas}} }, {vsleep: θ , sleepø }} furiouslyv INFLv
WS 4: {furiouslyv , {{ideas, { {greenθ , ideas},{colorlessθ , ideas}} }, {vsleep: θ , sleepø }}} INFLv
WS 5: {{ideas, { {greenθ , ideas},{colorlessθ , ideas}} }, {INFLv , {furiouslyv , {{ideas, { {greenθ , ideas},{colorlessθ , ideas}} }, {vsleep: θ , sleepø }}}}}
Final WS: {C, {{ideas, { {greenθ , ideas},{colorlessθ , ideas}} }, {INFLv , {furiouslyv , {{ideas, { {greenθ , ideas},{colorlessθ , ideas}} }, {vsleep: θ , sleepø }}}}}}
INT/EXT: {C, {{ideas,
{ {green
θ ,
ideas }, {colorless
θ ,
ideas }
} }, {INFL
v , {furiously
v , {
{ ideas , { { green θ , ideas } , { colorless θ , ideas } } } , {v
sleep: θ , sleep
ø }}}}}}
Initial Spellout: { green,colorless} ideas furiously 3pl sleep
Error: Missing TNS
Initial Spellout: { green,colorless} ideas 3pl sleep furiously
Error: Missing TNS
WS 1: {ideas, { {greenθ , ideas},{colorlessθ , ideas}} } furiouslyv sleepø vsleep: θ INFLv
WS 4: {{ideas, { {greenθ , ideas},{colorlessθ , ideas}} }, {INFLv , {{ideas, { {greenθ , ideas},{colorlessθ , ideas}} }, {vsleep: θ , sleepø }}}} furiouslyv
WS 1: {ideas, {greenθ , ideas}} furiouslyv sleepø vsleep: θ INFLv colorlessθ
WS 2: {{colorlessθ , {ideas, {greenθ , ideas}}}, {ideas, {greenθ , ideas}}} furiouslyv sleepø vsleep: θ INFLv
WS 1: {ideas, {greenθ , ideas}} furiouslyv sleepø vsleep: θ INFLv colorlessθ
WS 2: {colorlessθ , {ideas, {greenθ , ideas}}} furiouslyv sleepø vsleep: θ INFLv
WS 3: {ideas, {greenθ , ideas}} {colorlessθ , {ideas, {greenθ , ideas}}} furiouslyv sleepø vsleep: θ INFLv
WS 4: {vsleep: θ , sleepø } {ideas, {greenθ , ideas}} {colorlessθ , {ideas, {greenθ , ideas}}} furiouslyv INFLv
WS 5: {{ideas, {greenθ , ideas}}, {vsleep: θ , sleepø }} {colorlessθ , {ideas, {greenθ , ideas}}} furiouslyv INFLv
WS 6: {furiouslyv , {{ideas, {greenθ , ideas}}, {vsleep: θ , sleepø }}} {colorlessθ , {ideas, {greenθ , ideas}}} INFLv
WS 7: {{ideas, {greenθ , ideas}}, {INFLv , {furiouslyv , {{ideas, {greenθ , ideas}}, {vsleep: θ , sleepø }}}}} {colorlessθ , {ideas, {greenθ , ideas}}}
WS 1: {ideas, {greenθ , ideas}} furiouslyv sleepø vsleep: θ INFLv colorlessθ
WS 7: { {furiouslyv , {{ideas, {greenθ , ideas}}, {vsleep: θ , sleepø }}},{colorlessθ , {ideas, {greenθ , ideas}}}} INFLv
WS 1: {ideas, {greenθ , ideas}} furiouslyv sleepø vsleep: θ INFLv colorlessθ
WS 6: {{ideas, {greenθ , ideas}}, {INFLv , {{ideas, {greenθ , ideas}}, {vsleep: θ , sleepø }}}} {colorlessθ , {ideas, {greenθ , ideas}}} furiouslyv
WS 1: {ideas, {greenθ , ideas}} furiouslyv sleepø vsleep: θ INFLv colorlessθ
WS 6: { {{ideas, {greenθ , ideas}}, {vsleep: θ , sleepø }},{colorlessθ , {ideas, {greenθ , ideas}}}} furiouslyv INFLv
WS 1: {ideas, {greenθ , ideas}} furiouslyv sleepø vsleep: θ INFLv colorlessθ
WS 2: {vsleep: θ , sleepø } {ideas, {greenθ , ideas}} furiouslyv INFLv colorlessθ
WS 3: {{ideas, {greenθ , ideas}}, {vsleep: θ , sleepø }} furiouslyv INFLv colorlessθ
WS 4: {ideas, {greenθ , ideas}} {{ideas, {greenθ , ideas}}, {vsleep: θ , sleepø }} furiouslyv INFLv colorlessθ
WS 5: {colorlessθ , {ideas, {greenθ , ideas}}} {{ideas, {greenθ , ideas}}, {vsleep: θ , sleepø }} furiouslyv INFLv
WS 6: { {colorlessθ , {ideas, {greenθ , ideas}}},{{ideas, {greenθ , ideas}}, {vsleep: θ , sleepø }}} furiouslyv INFLv
WS 1: {ideas, {greenθ , ideas}} furiouslyv sleepø vsleep: θ INFLv colorlessθ
WS 5: {furiouslyv , {{ideas, {greenθ , ideas}}, {vsleep: θ , sleepø }}} {ideas, {greenθ , ideas}} INFLv colorlessθ
WS 6: {{ideas, {greenθ , ideas}}, {INFLv , {furiouslyv , {{ideas, {greenθ , ideas}}, {vsleep: θ , sleepø }}}}} {ideas, {greenθ , ideas}} colorlessθ
WS 1: {ideas, {greenθ , ideas}} furiouslyv sleepø vsleep: θ INFLv colorlessθ
WS 6: { {furiouslyv , {{ideas, {greenθ , ideas}}, {vsleep: θ , sleepø }}},colorlessθ } {ideas, {greenθ , ideas}} INFLv
WS fail: WS θS 0 < θR 1
WS 1: {ideas, {greenθ , ideas}} furiouslyv sleepø vsleep: θ INFLv colorlessθ
WS 5: {{ideas, {greenθ , ideas}}, {INFLv , {{ideas, {greenθ , ideas}}, {vsleep: θ , sleepø }}}} {ideas, {greenθ , ideas}} furiouslyv colorlessθ
WS 1: {ideas, {greenθ , ideas}} furiouslyv sleepø vsleep: θ INFLv colorlessθ
WS 5: { {{ideas, {greenθ , ideas}}, {vsleep: θ , sleepø }},colorlessθ } {ideas, {greenθ , ideas}} furiouslyv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {ideas, {colorlessθ , ideas}} furiouslyv sleepø vsleep: θ INFLv greenθ
WS 2: {{greenθ , {ideas, {colorlessθ , ideas}}}, {ideas, {colorlessθ , ideas}}} furiouslyv sleepø vsleep: θ INFLv
WS 1: {ideas, {colorlessθ , ideas}} furiouslyv sleepø vsleep: θ INFLv greenθ
WS 2: {greenθ , {ideas, {colorlessθ , ideas}}} furiouslyv sleepø vsleep: θ INFLv
WS 3: {ideas, {colorlessθ , ideas}} {greenθ , {ideas, {colorlessθ , ideas}}} furiouslyv sleepø vsleep: θ INFLv
WS 4: {vsleep: θ , sleepø } {ideas, {colorlessθ , ideas}} {greenθ , {ideas, {colorlessθ , ideas}}} furiouslyv INFLv
WS 5: {{ideas, {colorlessθ , ideas}}, {vsleep: θ , sleepø }} {greenθ , {ideas, {colorlessθ , ideas}}} furiouslyv INFLv
WS 6: {furiouslyv , {{ideas, {colorlessθ , ideas}}, {vsleep: θ , sleepø }}} {greenθ , {ideas, {colorlessθ , ideas}}} INFLv
WS 7: {{ideas, {colorlessθ , ideas}}, {INFLv , {furiouslyv , {{ideas, {colorlessθ , ideas}}, {vsleep: θ , sleepø }}}}} {greenθ , {ideas, {colorlessθ , ideas}}}
WS 1: {ideas, {colorlessθ , ideas}} furiouslyv sleepø vsleep: θ INFLv greenθ
WS 7: { {furiouslyv , {{ideas, {colorlessθ , ideas}}, {vsleep: θ , sleepø }}},{greenθ , {ideas, {colorlessθ , ideas}}}} INFLv
WS 1: {ideas, {colorlessθ , ideas}} furiouslyv sleepø vsleep: θ INFLv greenθ
WS 6: {{ideas, {colorlessθ , ideas}}, {INFLv , {{ideas, {colorlessθ , ideas}}, {vsleep: θ , sleepø }}}} {greenθ , {ideas, {colorlessθ , ideas}}} furiouslyv
WS 1: {ideas, {colorlessθ , ideas}} furiouslyv sleepø vsleep: θ INFLv greenθ
WS 6: { {{ideas, {colorlessθ , ideas}}, {vsleep: θ , sleepø }},{greenθ , {ideas, {colorlessθ , ideas}}}} furiouslyv INFLv
WS 1: {ideas, {colorlessθ , ideas}} furiouslyv sleepø vsleep: θ INFLv greenθ
WS 2: {vsleep: θ , sleepø } {ideas, {colorlessθ , ideas}} furiouslyv INFLv greenθ
WS 3: {{ideas, {colorlessθ , ideas}}, {vsleep: θ , sleepø }} furiouslyv INFLv greenθ
WS 4: {ideas, {colorlessθ , ideas}} {{ideas, {colorlessθ , ideas}}, {vsleep: θ , sleepø }} furiouslyv INFLv greenθ
WS 5: {greenθ , {ideas, {colorlessθ , ideas}}} {{ideas, {colorlessθ , ideas}}, {vsleep: θ , sleepø }} furiouslyv INFLv
WS 6: { {greenθ , {ideas, {colorlessθ , ideas}}},{{ideas, {colorlessθ , ideas}}, {vsleep: θ , sleepø }}} furiouslyv INFLv
WS 1: {ideas, {colorlessθ , ideas}} furiouslyv sleepø vsleep: θ INFLv greenθ
WS 5: {furiouslyv , {{ideas, {colorlessθ , ideas}}, {vsleep: θ , sleepø }}} {ideas, {colorlessθ , ideas}} INFLv greenθ
WS 6: {{ideas, {colorlessθ , ideas}}, {INFLv , {furiouslyv , {{ideas, {colorlessθ , ideas}}, {vsleep: θ , sleepø }}}}} {ideas, {colorlessθ , ideas}} greenθ
WS 1: {ideas, {colorlessθ , ideas}} furiouslyv sleepø vsleep: θ INFLv greenθ
WS 6: { {furiouslyv , {{ideas, {colorlessθ , ideas}}, {vsleep: θ , sleepø }}},greenθ } {ideas, {colorlessθ , ideas}} INFLv
WS fail: WS θS 0 < θR 1
WS 1: {ideas, {colorlessθ , ideas}} furiouslyv sleepø vsleep: θ INFLv greenθ
WS 5: {{ideas, {colorlessθ , ideas}}, {INFLv , {{ideas, {colorlessθ , ideas}}, {vsleep: θ , sleepø }}}} {ideas, {colorlessθ , ideas}} furiouslyv greenθ
WS 1: {ideas, {colorlessθ , ideas}} furiouslyv sleepø vsleep: θ INFLv greenθ
WS 5: { {{ideas, {colorlessθ , ideas}}, {vsleep: θ , sleepø }},greenθ } {ideas, {colorlessθ , ideas}} furiouslyv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {greenθ , ideas} furiouslyv sleepø vsleep: θ INFLv colorlessθ
WS 2: ideas {greenθ , ideas} furiouslyv sleepø vsleep: θ INFLv colorlessθ
WS 3: {ideas, {colorlessθ , ideas}} {greenθ , ideas} furiouslyv sleepø vsleep: θ INFLv
WS 4: {vsleep: θ , sleepø } {ideas, {colorlessθ , ideas}} {greenθ , ideas} furiouslyv INFLv
WS 5: {{ideas, {colorlessθ , ideas}}, {vsleep: θ , sleepø }} {greenθ , ideas} furiouslyv INFLv
WS 6: {furiouslyv , {{ideas, {colorlessθ , ideas}}, {vsleep: θ , sleepø }}} {greenθ , ideas} INFLv
WS 7: {{ideas, {colorlessθ , ideas}}, {INFLv , {furiouslyv , {{ideas, {colorlessθ , ideas}}, {vsleep: θ , sleepø }}}}} {greenθ , ideas}
WS 1: {greenθ , ideas} furiouslyv sleepø vsleep: θ INFLv colorlessθ
WS 7: { {furiouslyv , {{ideas, {colorlessθ , ideas}}, {vsleep: θ , sleepø }}},{greenθ , ideas}} INFLv
WS 1: {greenθ , ideas} furiouslyv sleepø vsleep: θ INFLv colorlessθ
WS 6: {{ideas, {colorlessθ , ideas}}, {INFLv , {{ideas, {colorlessθ , ideas}}, {vsleep: θ , sleepø }}}} {greenθ , ideas} furiouslyv
WS 1: {greenθ , ideas} furiouslyv sleepø vsleep: θ INFLv colorlessθ
WS 6: { {{ideas, {colorlessθ , ideas}}, {vsleep: θ , sleepø }},{greenθ , ideas}} furiouslyv INFLv
WS 1: {greenθ , ideas} furiouslyv sleepø vsleep: θ INFLv colorlessθ
WS 3: {colorlessθ , ideas} {greenθ , ideas} furiouslyv sleepø vsleep: θ INFLv
WS 4: ideas {colorlessθ , ideas} {greenθ , ideas} furiouslyv sleepø vsleep: θ INFLv
WS 5: {vsleep: θ , sleepø } ideas {colorlessθ , ideas} {greenθ , ideas} furiouslyv INFLv
WS 6: {ideas, {vsleep: θ , sleepø }} {colorlessθ , ideas} {greenθ , ideas} furiouslyv INFLv
WS 7: {furiouslyv , {ideas, {vsleep: θ , sleepø }}} {colorlessθ , ideas} {greenθ , ideas} INFLv
WS 8: {ideas, {INFLv , {furiouslyv , {ideas, {vsleep: θ , sleepø }}}}} {colorlessθ , ideas} {greenθ , ideas}
WS 9: { {colorlessθ , ideas},{greenθ , ideas}} {ideas, {INFLv , {furiouslyv , {ideas, {vsleep: θ , sleepø }}}}}
WS 1: {greenθ , ideas} furiouslyv sleepø vsleep: θ INFLv colorlessθ
WS 8: { {furiouslyv , {ideas, {vsleep: θ , sleepø }}},{colorlessθ , ideas}} {greenθ , ideas} INFLv
WS 9: { { {furiouslyv , {ideas, {vsleep: θ , sleepø }}},{colorlessθ , ideas}} ,{greenθ , ideas}} INFLv
WS 1: {greenθ , ideas} furiouslyv sleepø vsleep: θ INFLv colorlessθ
WS 8: { {furiouslyv , {ideas, {vsleep: θ , sleepø }}},{greenθ , ideas}} {colorlessθ , ideas} INFLv
WS 9: { { {furiouslyv , {ideas, {vsleep: θ , sleepø }}},{greenθ , ideas}} ,{colorlessθ , ideas}} INFLv
WS 1: {greenθ , ideas} furiouslyv sleepø vsleep: θ INFLv colorlessθ
WS 8: { {colorlessθ , ideas},{greenθ , ideas}} {furiouslyv , {ideas, {vsleep: θ , sleepø }}} INFLv
WS 9: { { {colorlessθ , ideas},{greenθ , ideas}} ,{furiouslyv , {ideas, {vsleep: θ , sleepø }}}} INFLv
WS 1: {greenθ , ideas} furiouslyv sleepø vsleep: θ INFLv colorlessθ
WS 7: {ideas, {INFLv , {ideas, {vsleep: θ , sleepø }}}} {colorlessθ , ideas} {greenθ , ideas} furiouslyv
WS 8: { {colorlessθ , ideas},{greenθ , ideas}} {ideas, {INFLv , {ideas, {vsleep: θ , sleepø }}}} furiouslyv
WS 1: {greenθ , ideas} furiouslyv sleepø vsleep: θ INFLv colorlessθ
WS 7: { {ideas, {vsleep: θ , sleepø }},{colorlessθ , ideas}} {greenθ , ideas} furiouslyv INFLv
WS 8: { { {ideas, {vsleep: θ , sleepø }},{colorlessθ , ideas}} ,{greenθ , ideas}} furiouslyv INFLv
WS 1: {greenθ , ideas} furiouslyv sleepø vsleep: θ INFLv colorlessθ
WS 7: { {ideas, {vsleep: θ , sleepø }},{greenθ , ideas}} {colorlessθ , ideas} furiouslyv INFLv
WS 8: { { {ideas, {vsleep: θ , sleepø }},{greenθ , ideas}} ,{colorlessθ , ideas}} furiouslyv INFLv
WS 1: {greenθ , ideas} furiouslyv sleepø vsleep: θ INFLv colorlessθ
WS 7: { {colorlessθ , ideas},{greenθ , ideas}} {ideas, {vsleep: θ , sleepø }} furiouslyv INFLv
WS 8: { { {colorlessθ , ideas},{greenθ , ideas}} ,{ideas, {vsleep: θ , sleepø }}} furiouslyv INFLv
WS 1: {greenθ , ideas} furiouslyv sleepø vsleep: θ INFLv colorlessθ
WS 6: { {colorlessθ , ideas},{greenθ , ideas}} {vsleep: θ , sleepø } ideas furiouslyv INFLv
WS 1: {greenθ , ideas} furiouslyv sleepø vsleep: θ INFLv colorlessθ
WS 5: { {colorlessθ , ideas},{greenθ , ideas}} ideas furiouslyv sleepø vsleep: θ INFLv
WS 1: {greenθ , ideas} furiouslyv sleepø vsleep: θ INFLv colorlessθ
WS 3: {vsleep: θ , sleepø } ideas {greenθ , ideas} furiouslyv INFLv colorlessθ
WS 4: {ideas, {vsleep: θ , sleepø }} {greenθ , ideas} furiouslyv INFLv colorlessθ
WS 5: ideas {ideas, {vsleep: θ , sleepø }} {greenθ , ideas} furiouslyv INFLv colorlessθ
WS 6: {colorlessθ , ideas} {ideas, {vsleep: θ , sleepø }} {greenθ , ideas} furiouslyv INFLv
WS 7: { {colorlessθ , ideas},{ideas, {vsleep: θ , sleepø }}} {greenθ , ideas} furiouslyv INFLv
WS 8: { { {colorlessθ , ideas},{ideas, {vsleep: θ , sleepø }}} ,{greenθ , ideas}} furiouslyv INFLv
WS 1: {greenθ , ideas} furiouslyv sleepø vsleep: θ INFLv colorlessθ
WS 7: { {colorlessθ , ideas},{greenθ , ideas}} {ideas, {vsleep: θ , sleepø }} furiouslyv INFLv
WS 8: { { {colorlessθ , ideas},{greenθ , ideas}} ,{ideas, {vsleep: θ , sleepø }}} furiouslyv INFLv
WS 1: {greenθ , ideas} furiouslyv sleepø vsleep: θ INFLv colorlessθ
WS 7: { {ideas, {vsleep: θ , sleepø }},{greenθ , ideas}} {colorlessθ , ideas} furiouslyv INFLv
WS 8: { { {ideas, {vsleep: θ , sleepø }},{greenθ , ideas}} ,{colorlessθ , ideas}} furiouslyv INFLv
WS 1: {greenθ , ideas} furiouslyv sleepø vsleep: θ INFLv colorlessθ
WS 6: {furiouslyv , {ideas, {vsleep: θ , sleepø }}} ideas {greenθ , ideas} INFLv colorlessθ
WS 7: {ideas, {INFLv , {furiouslyv , {ideas, {vsleep: θ , sleepø }}}}} ideas {greenθ , ideas} colorlessθ
WS 8: { {greenθ , ideas},colorlessθ } {ideas, {INFLv , {furiouslyv , {ideas, {vsleep: θ , sleepø }}}}} ideas
WS fail: WS θS 0 < θR 1
WS 1: {greenθ , ideas} furiouslyv sleepø vsleep: θ INFLv colorlessθ
WS 7: { {furiouslyv , {ideas, {vsleep: θ , sleepø }}},{greenθ , ideas}} ideas INFLv colorlessθ
WS 8: { { {furiouslyv , {ideas, {vsleep: θ , sleepø }}},{greenθ , ideas}} ,colorlessθ } ideas INFLv
WS fail: WS θS 0 < θR 1
WS 1: {greenθ , ideas} furiouslyv sleepø vsleep: θ INFLv colorlessθ
WS 7: { {furiouslyv , {ideas, {vsleep: θ , sleepø }}},colorlessθ } ideas {greenθ , ideas} INFLv
WS fail: WS θS 0 < θR 1
WS 1: {greenθ , ideas} furiouslyv sleepø vsleep: θ INFLv colorlessθ
WS 7: { {greenθ , ideas},colorlessθ } {furiouslyv , {ideas, {vsleep: θ , sleepø }}} ideas INFLv
WS fail: WS θS 0 < θR 1
WS 1: {greenθ , ideas} furiouslyv sleepø vsleep: θ INFLv colorlessθ
WS 6: {ideas, {INFLv , {ideas, {vsleep: θ , sleepø }}}} ideas {greenθ , ideas} furiouslyv colorlessθ
WS 7: { {greenθ , ideas},colorlessθ } {ideas, {INFLv , {ideas, {vsleep: θ , sleepø }}}} ideas furiouslyv
WS fail: WS θS 0 < θR 1
WS 1: {greenθ , ideas} furiouslyv sleepø vsleep: θ INFLv colorlessθ
WS 6: { {ideas, {vsleep: θ , sleepø }},{greenθ , ideas}} ideas furiouslyv INFLv colorlessθ
WS 7: { { {ideas, {vsleep: θ , sleepø }},{greenθ , ideas}} ,colorlessθ } ideas furiouslyv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {greenθ , ideas} furiouslyv sleepø vsleep: θ INFLv colorlessθ
WS 6: { {ideas, {vsleep: θ , sleepø }},colorlessθ } ideas {greenθ , ideas} furiouslyv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {greenθ , ideas} furiouslyv sleepø vsleep: θ INFLv colorlessθ
WS 6: { {greenθ , ideas},colorlessθ } ideas {ideas, {vsleep: θ , sleepø }} furiouslyv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {colorlessθ , ideas} furiouslyv sleepø vsleep: θ INFLv greenθ
WS 2: ideas {colorlessθ , ideas} furiouslyv sleepø vsleep: θ INFLv greenθ
WS 3: {ideas, {greenθ , ideas}} {colorlessθ , ideas} furiouslyv sleepø vsleep: θ INFLv
WS 4: {vsleep: θ , sleepø } {ideas, {greenθ , ideas}} {colorlessθ , ideas} furiouslyv INFLv
WS 5: {{ideas, {greenθ , ideas}}, {vsleep: θ , sleepø }} {colorlessθ , ideas} furiouslyv INFLv
WS 6: {furiouslyv , {{ideas, {greenθ , ideas}}, {vsleep: θ , sleepø }}} {colorlessθ , ideas} INFLv
WS 7: {{ideas, {greenθ , ideas}}, {INFLv , {furiouslyv , {{ideas, {greenθ , ideas}}, {vsleep: θ , sleepø }}}}} {colorlessθ , ideas}
WS 1: {colorlessθ , ideas} furiouslyv sleepø vsleep: θ INFLv greenθ
WS 7: { {furiouslyv , {{ideas, {greenθ , ideas}}, {vsleep: θ , sleepø }}},{colorlessθ , ideas}} INFLv
WS 1: {colorlessθ , ideas} furiouslyv sleepø vsleep: θ INFLv greenθ
WS 6: {{ideas, {greenθ , ideas}}, {INFLv , {{ideas, {greenθ , ideas}}, {vsleep: θ , sleepø }}}} {colorlessθ , ideas} furiouslyv
WS 1: {colorlessθ , ideas} furiouslyv sleepø vsleep: θ INFLv greenθ
WS 6: { {{ideas, {greenθ , ideas}}, {vsleep: θ , sleepø }},{colorlessθ , ideas}} furiouslyv INFLv
WS 1: {colorlessθ , ideas} furiouslyv sleepø vsleep: θ INFLv greenθ
WS 3: {greenθ , ideas} {colorlessθ , ideas} furiouslyv sleepø vsleep: θ INFLv
WS 4: ideas {greenθ , ideas} {colorlessθ , ideas} furiouslyv sleepø vsleep: θ INFLv
WS 5: {vsleep: θ , sleepø } ideas {greenθ , ideas} {colorlessθ , ideas} furiouslyv INFLv
WS 6: {ideas, {vsleep: θ , sleepø }} {greenθ , ideas} {colorlessθ , ideas} furiouslyv INFLv
WS 7: {furiouslyv , {ideas, {vsleep: θ , sleepø }}} {greenθ , ideas} {colorlessθ , ideas} INFLv
WS 8: {ideas, {INFLv , {furiouslyv , {ideas, {vsleep: θ , sleepø }}}}} {greenθ , ideas} {colorlessθ , ideas}
WS 9: { {greenθ , ideas},{colorlessθ , ideas}} {ideas, {INFLv , {furiouslyv , {ideas, {vsleep: θ , sleepø }}}}}
WS 1: {colorlessθ , ideas} furiouslyv sleepø vsleep: θ INFLv greenθ
WS 8: { {furiouslyv , {ideas, {vsleep: θ , sleepø }}},{greenθ , ideas}} {colorlessθ , ideas} INFLv
WS 9: { { {furiouslyv , {ideas, {vsleep: θ , sleepø }}},{greenθ , ideas}} ,{colorlessθ , ideas}} INFLv
WS 1: {colorlessθ , ideas} furiouslyv sleepø vsleep: θ INFLv greenθ
WS 8: { {furiouslyv , {ideas, {vsleep: θ , sleepø }}},{colorlessθ , ideas}} {greenθ , ideas} INFLv
WS 9: { { {furiouslyv , {ideas, {vsleep: θ , sleepø }}},{colorlessθ , ideas}} ,{greenθ , ideas}} INFLv
WS 1: {colorlessθ , ideas} furiouslyv sleepø vsleep: θ INFLv greenθ
WS 8: { {greenθ , ideas},{colorlessθ , ideas}} {furiouslyv , {ideas, {vsleep: θ , sleepø }}} INFLv
WS 9: { { {greenθ , ideas},{colorlessθ , ideas}} ,{furiouslyv , {ideas, {vsleep: θ , sleepø }}}} INFLv
WS 1: {colorlessθ , ideas} furiouslyv sleepø vsleep: θ INFLv greenθ
WS 7: {ideas, {INFLv , {ideas, {vsleep: θ , sleepø }}}} {greenθ , ideas} {colorlessθ , ideas} furiouslyv
WS 8: { {greenθ , ideas},{colorlessθ , ideas}} {ideas, {INFLv , {ideas, {vsleep: θ , sleepø }}}} furiouslyv
WS 1: {colorlessθ , ideas} furiouslyv sleepø vsleep: θ INFLv greenθ
WS 7: { {ideas, {vsleep: θ , sleepø }},{greenθ , ideas}} {colorlessθ , ideas} furiouslyv INFLv
WS 8: { { {ideas, {vsleep: θ , sleepø }},{greenθ , ideas}} ,{colorlessθ , ideas}} furiouslyv INFLv
WS 1: {colorlessθ , ideas} furiouslyv sleepø vsleep: θ INFLv greenθ
WS 7: { {ideas, {vsleep: θ , sleepø }},{colorlessθ , ideas}} {greenθ , ideas} furiouslyv INFLv
WS 8: { { {ideas, {vsleep: θ , sleepø }},{colorlessθ , ideas}} ,{greenθ , ideas}} furiouslyv INFLv
WS 1: {colorlessθ , ideas} furiouslyv sleepø vsleep: θ INFLv greenθ
WS 7: { {greenθ , ideas},{colorlessθ , ideas}} {ideas, {vsleep: θ , sleepø }} furiouslyv INFLv
WS 8: { { {greenθ , ideas},{colorlessθ , ideas}} ,{ideas, {vsleep: θ , sleepø }}} furiouslyv INFLv
WS 1: {colorlessθ , ideas} furiouslyv sleepø vsleep: θ INFLv greenθ
WS 6: { {greenθ , ideas},{colorlessθ , ideas}} {vsleep: θ , sleepø } ideas furiouslyv INFLv
WS 1: {colorlessθ , ideas} furiouslyv sleepø vsleep: θ INFLv greenθ
WS 5: { {greenθ , ideas},{colorlessθ , ideas}} ideas furiouslyv sleepø vsleep: θ INFLv
WS 1: {colorlessθ , ideas} furiouslyv sleepø vsleep: θ INFLv greenθ
WS 3: {vsleep: θ , sleepø } ideas {colorlessθ , ideas} furiouslyv INFLv greenθ
WS 4: {ideas, {vsleep: θ , sleepø }} {colorlessθ , ideas} furiouslyv INFLv greenθ
WS 5: ideas {ideas, {vsleep: θ , sleepø }} {colorlessθ , ideas} furiouslyv INFLv greenθ
WS 6: {greenθ , ideas} {ideas, {vsleep: θ , sleepø }} {colorlessθ , ideas} furiouslyv INFLv
WS 7: { {greenθ , ideas},{ideas, {vsleep: θ , sleepø }}} {colorlessθ , ideas} furiouslyv INFLv
WS 8: { { {greenθ , ideas},{ideas, {vsleep: θ , sleepø }}} ,{colorlessθ , ideas}} furiouslyv INFLv
WS 1: {colorlessθ , ideas} furiouslyv sleepø vsleep: θ INFLv greenθ
WS 7: { {greenθ , ideas},{colorlessθ , ideas}} {ideas, {vsleep: θ , sleepø }} furiouslyv INFLv
WS 8: { { {greenθ , ideas},{colorlessθ , ideas}} ,{ideas, {vsleep: θ , sleepø }}} furiouslyv INFLv
WS 1: {colorlessθ , ideas} furiouslyv sleepø vsleep: θ INFLv greenθ
WS 7: { {ideas, {vsleep: θ , sleepø }},{colorlessθ , ideas}} {greenθ , ideas} furiouslyv INFLv
WS 8: { { {ideas, {vsleep: θ , sleepø }},{colorlessθ , ideas}} ,{greenθ , ideas}} furiouslyv INFLv
WS 1: {colorlessθ , ideas} furiouslyv sleepø vsleep: θ INFLv greenθ
WS 6: {furiouslyv , {ideas, {vsleep: θ , sleepø }}} ideas {colorlessθ , ideas} INFLv greenθ
WS 7: {ideas, {INFLv , {furiouslyv , {ideas, {vsleep: θ , sleepø }}}}} ideas {colorlessθ , ideas} greenθ
WS 8: { {colorlessθ , ideas},greenθ } {ideas, {INFLv , {furiouslyv , {ideas, {vsleep: θ , sleepø }}}}} ideas
WS fail: WS θS 0 < θR 1
WS 1: {colorlessθ , ideas} furiouslyv sleepø vsleep: θ INFLv greenθ
WS 7: { {furiouslyv , {ideas, {vsleep: θ , sleepø }}},{colorlessθ , ideas}} ideas INFLv greenθ
WS 8: { { {furiouslyv , {ideas, {vsleep: θ , sleepø }}},{colorlessθ , ideas}} ,greenθ } ideas INFLv
WS fail: WS θS 0 < θR 1
WS 1: {colorlessθ , ideas} furiouslyv sleepø vsleep: θ INFLv greenθ
WS 7: { {furiouslyv , {ideas, {vsleep: θ , sleepø }}},greenθ } ideas {colorlessθ , ideas} INFLv
WS fail: WS θS 0 < θR 1
WS 1: {colorlessθ , ideas} furiouslyv sleepø vsleep: θ INFLv greenθ
WS 7: { {colorlessθ , ideas},greenθ } {furiouslyv , {ideas, {vsleep: θ , sleepø }}} ideas INFLv
WS fail: WS θS 0 < θR 1
WS 1: {colorlessθ , ideas} furiouslyv sleepø vsleep: θ INFLv greenθ
WS 6: {ideas, {INFLv , {ideas, {vsleep: θ , sleepø }}}} ideas {colorlessθ , ideas} furiouslyv greenθ
WS 7: { {colorlessθ , ideas},greenθ } {ideas, {INFLv , {ideas, {vsleep: θ , sleepø }}}} ideas furiouslyv
WS fail: WS θS 0 < θR 1
WS 1: {colorlessθ , ideas} furiouslyv sleepø vsleep: θ INFLv greenθ
WS 6: { {ideas, {vsleep: θ , sleepø }},{colorlessθ , ideas}} ideas furiouslyv INFLv greenθ
WS 7: { { {ideas, {vsleep: θ , sleepø }},{colorlessθ , ideas}} ,greenθ } ideas furiouslyv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {colorlessθ , ideas} furiouslyv sleepø vsleep: θ INFLv greenθ
WS 6: { {ideas, {vsleep: θ , sleepø }},greenθ } ideas {colorlessθ , ideas} furiouslyv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {colorlessθ , ideas} furiouslyv sleepø vsleep: θ INFLv greenθ
WS 6: { {colorlessθ , ideas},greenθ } ideas {ideas, {vsleep: θ , sleepø }} furiouslyv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {vsleep: θ , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 2: {ideas, {vsleep: θ , sleepø }} furiouslyv INFLv greenθ colorlessθ
WS 3: ideas {ideas, {vsleep: θ , sleepø }} furiouslyv INFLv greenθ colorlessθ
WS 4: {ideas, { {greenθ , ideas},{colorlessθ , ideas}} } {ideas, {vsleep: θ , sleepø }} furiouslyv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {vsleep: θ , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 4: {ideas, {greenθ , ideas}} {ideas, {vsleep: θ , sleepø }} furiouslyv INFLv colorlessθ
WS 5: {colorlessθ , {ideas, {greenθ , ideas}}} {ideas, {vsleep: θ , sleepø }} furiouslyv INFLv
WS 6: { {colorlessθ , {ideas, {greenθ , ideas}}},{ideas, {vsleep: θ , sleepø }}} furiouslyv INFLv
WS 1: {vsleep: θ , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 5: {furiouslyv , {ideas, {vsleep: θ , sleepø }}} {ideas, {greenθ , ideas}} INFLv colorlessθ
WS 6: {ideas, {INFLv , {furiouslyv , {ideas, {vsleep: θ , sleepø }}}}} {ideas, {greenθ , ideas}} colorlessθ
WS 1: {vsleep: θ , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 6: { {furiouslyv , {ideas, {vsleep: θ , sleepø }}},colorlessθ } {ideas, {greenθ , ideas}} INFLv
WS fail: WS θS 0 < θR 1
WS 1: {vsleep: θ , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 5: {ideas, {INFLv , {ideas, {vsleep: θ , sleepø }}}} {ideas, {greenθ , ideas}} furiouslyv colorlessθ
WS 1: {vsleep: θ , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 5: { {ideas, {vsleep: θ , sleepø }},colorlessθ } {ideas, {greenθ , ideas}} furiouslyv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {vsleep: θ , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 4: {ideas, {colorlessθ , ideas}} {ideas, {vsleep: θ , sleepø }} furiouslyv INFLv greenθ
WS 5: {greenθ , {ideas, {colorlessθ , ideas}}} {ideas, {vsleep: θ , sleepø }} furiouslyv INFLv
WS 6: { {greenθ , {ideas, {colorlessθ , ideas}}},{ideas, {vsleep: θ , sleepø }}} furiouslyv INFLv
WS 1: {vsleep: θ , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 5: {furiouslyv , {ideas, {vsleep: θ , sleepø }}} {ideas, {colorlessθ , ideas}} INFLv greenθ
WS 6: {ideas, {INFLv , {furiouslyv , {ideas, {vsleep: θ , sleepø }}}}} {ideas, {colorlessθ , ideas}} greenθ
WS 1: {vsleep: θ , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 6: { {furiouslyv , {ideas, {vsleep: θ , sleepø }}},greenθ } {ideas, {colorlessθ , ideas}} INFLv
WS fail: WS θS 0 < θR 1
WS 1: {vsleep: θ , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 5: {ideas, {INFLv , {ideas, {vsleep: θ , sleepø }}}} {ideas, {colorlessθ , ideas}} furiouslyv greenθ
WS 1: {vsleep: θ , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 5: { {ideas, {vsleep: θ , sleepø }},greenθ } {ideas, {colorlessθ , ideas}} furiouslyv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {vsleep: θ , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 4: {greenθ , ideas} {ideas, {vsleep: θ , sleepø }} furiouslyv INFLv colorlessθ
WS 5: ideas {greenθ , ideas} {ideas, {vsleep: θ , sleepø }} furiouslyv INFLv colorlessθ
WS 6: {colorlessθ , ideas} {greenθ , ideas} {ideas, {vsleep: θ , sleepø }} furiouslyv INFLv
WS 7: { {colorlessθ , ideas},{greenθ , ideas}} {ideas, {vsleep: θ , sleepø }} furiouslyv INFLv
WS 8: { { {colorlessθ , ideas},{greenθ , ideas}} ,{ideas, {vsleep: θ , sleepø }}} furiouslyv INFLv
WS 1: {vsleep: θ , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 7: { {colorlessθ , ideas},{ideas, {vsleep: θ , sleepø }}} {greenθ , ideas} furiouslyv INFLv
WS 8: { { {colorlessθ , ideas},{ideas, {vsleep: θ , sleepø }}} ,{greenθ , ideas}} furiouslyv INFLv
WS 1: {vsleep: θ , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 7: { {greenθ , ideas},{ideas, {vsleep: θ , sleepø }}} {colorlessθ , ideas} furiouslyv INFLv
WS 8: { { {greenθ , ideas},{ideas, {vsleep: θ , sleepø }}} ,{colorlessθ , ideas}} furiouslyv INFLv
WS 1: {vsleep: θ , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 6: {furiouslyv , {ideas, {vsleep: θ , sleepø }}} ideas {greenθ , ideas} INFLv colorlessθ
WS 7: {ideas, {INFLv , {furiouslyv , {ideas, {vsleep: θ , sleepø }}}}} ideas {greenθ , ideas} colorlessθ
WS 8: { {greenθ , ideas},colorlessθ } {ideas, {INFLv , {furiouslyv , {ideas, {vsleep: θ , sleepø }}}}} ideas
WS fail: WS θS 0 < θR 1
WS 1: {vsleep: θ , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 7: { {furiouslyv , {ideas, {vsleep: θ , sleepø }}},{greenθ , ideas}} ideas INFLv colorlessθ
WS 8: { { {furiouslyv , {ideas, {vsleep: θ , sleepø }}},{greenθ , ideas}} ,colorlessθ } ideas INFLv
WS fail: WS θS 0 < θR 1
WS 1: {vsleep: θ , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 7: { {furiouslyv , {ideas, {vsleep: θ , sleepø }}},colorlessθ } ideas {greenθ , ideas} INFLv
WS fail: WS θS 0 < θR 1
WS 1: {vsleep: θ , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 7: { {greenθ , ideas},colorlessθ } {furiouslyv , {ideas, {vsleep: θ , sleepø }}} ideas INFLv
WS fail: WS θS 0 < θR 1
WS 1: {vsleep: θ , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 6: {ideas, {INFLv , {ideas, {vsleep: θ , sleepø }}}} ideas {greenθ , ideas} furiouslyv colorlessθ
WS 7: { {greenθ , ideas},colorlessθ } {ideas, {INFLv , {ideas, {vsleep: θ , sleepø }}}} ideas furiouslyv
WS fail: WS θS 0 < θR 1
WS 1: {vsleep: θ , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 6: { {greenθ , ideas},{ideas, {vsleep: θ , sleepø }}} ideas furiouslyv INFLv colorlessθ
WS 7: { { {greenθ , ideas},{ideas, {vsleep: θ , sleepø }}} ,colorlessθ } ideas furiouslyv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {vsleep: θ , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 6: { {greenθ , ideas},colorlessθ } ideas {ideas, {vsleep: θ , sleepø }} furiouslyv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {vsleep: θ , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 6: { {ideas, {vsleep: θ , sleepø }},colorlessθ } ideas {greenθ , ideas} furiouslyv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {vsleep: θ , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 4: {colorlessθ , ideas} {ideas, {vsleep: θ , sleepø }} furiouslyv INFLv greenθ
WS 5: ideas {colorlessθ , ideas} {ideas, {vsleep: θ , sleepø }} furiouslyv INFLv greenθ
WS 6: {greenθ , ideas} {colorlessθ , ideas} {ideas, {vsleep: θ , sleepø }} furiouslyv INFLv
WS 7: { {greenθ , ideas},{colorlessθ , ideas}} {ideas, {vsleep: θ , sleepø }} furiouslyv INFLv
WS 8: { { {greenθ , ideas},{colorlessθ , ideas}} ,{ideas, {vsleep: θ , sleepø }}} furiouslyv INFLv
WS 1: {vsleep: θ , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 7: { {greenθ , ideas},{ideas, {vsleep: θ , sleepø }}} {colorlessθ , ideas} furiouslyv INFLv
WS 8: { { {greenθ , ideas},{ideas, {vsleep: θ , sleepø }}} ,{colorlessθ , ideas}} furiouslyv INFLv
WS 1: {vsleep: θ , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 7: { {colorlessθ , ideas},{ideas, {vsleep: θ , sleepø }}} {greenθ , ideas} furiouslyv INFLv
WS 8: { { {colorlessθ , ideas},{ideas, {vsleep: θ , sleepø }}} ,{greenθ , ideas}} furiouslyv INFLv
WS 1: {vsleep: θ , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 6: {furiouslyv , {ideas, {vsleep: θ , sleepø }}} ideas {colorlessθ , ideas} INFLv greenθ
WS 7: {ideas, {INFLv , {furiouslyv , {ideas, {vsleep: θ , sleepø }}}}} ideas {colorlessθ , ideas} greenθ
WS 8: { {colorlessθ , ideas},greenθ } {ideas, {INFLv , {furiouslyv , {ideas, {vsleep: θ , sleepø }}}}} ideas
WS fail: WS θS 0 < θR 1
WS 1: {vsleep: θ , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 7: { {furiouslyv , {ideas, {vsleep: θ , sleepø }}},{colorlessθ , ideas}} ideas INFLv greenθ
WS 8: { { {furiouslyv , {ideas, {vsleep: θ , sleepø }}},{colorlessθ , ideas}} ,greenθ } ideas INFLv
WS fail: WS θS 0 < θR 1
WS 1: {vsleep: θ , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 7: { {furiouslyv , {ideas, {vsleep: θ , sleepø }}},greenθ } ideas {colorlessθ , ideas} INFLv
WS fail: WS θS 0 < θR 1
WS 1: {vsleep: θ , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 7: { {colorlessθ , ideas},greenθ } {furiouslyv , {ideas, {vsleep: θ , sleepø }}} ideas INFLv
WS fail: WS θS 0 < θR 1
WS 1: {vsleep: θ , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 6: {ideas, {INFLv , {ideas, {vsleep: θ , sleepø }}}} ideas {colorlessθ , ideas} furiouslyv greenθ
WS 7: { {colorlessθ , ideas},greenθ } {ideas, {INFLv , {ideas, {vsleep: θ , sleepø }}}} ideas furiouslyv
WS fail: WS θS 0 < θR 1
WS 1: {vsleep: θ , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 6: { {colorlessθ , ideas},{ideas, {vsleep: θ , sleepø }}} ideas furiouslyv INFLv greenθ
WS 7: { { {colorlessθ , ideas},{ideas, {vsleep: θ , sleepø }}} ,greenθ } ideas furiouslyv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {vsleep: θ , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 6: { {colorlessθ , ideas},greenθ } ideas {ideas, {vsleep: θ , sleepø }} furiouslyv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {vsleep: θ , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 6: { {ideas, {vsleep: θ , sleepø }},greenθ } ideas {colorlessθ , ideas} furiouslyv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {vsleep: θ , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 4: {furiouslyv , {ideas, {vsleep: θ , sleepø }}} ideas INFLv greenθ colorlessθ
WS 5: {ideas, {INFLv , {furiouslyv , {ideas, {vsleep: θ , sleepø }}}}} ideas greenθ colorlessθ
WS 1: {vsleep: θ , sleepø } furiouslyv INFLv ideas greenθ colorlessθ
WS 4: {ideas, {INFLv , {ideas, {vsleep: θ , sleepø }}}} ideas furiouslyv greenθ colorlessθ