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