[Right triangle ⏵ may be expanded, down triangle ⏷ to close. Button = tree pop-up. × = close pop-up.]

Help: blue = parse found inside. Abbreviations: WS: Workspace; SO: Syntactic Object; IA/EA: Internal/External Argument; INT/EXT: interface SO post-Merge/FormCopy; Initial WS: heads that may project after LEX word lookup. ...
×

Words: colorless green ideas sleep furiously
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}}}, {INFLv, {furiouslyv, {{ideas,{{greenθ,ideas},{colorlessθ,ideas}}}, {vsleep:θ: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}}}, {INFLv, {furiouslyv, {{ideas,{{greenθ,ideas},{colorlessθ,ideas}}}, {vsleep:θ, 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θ