[Right triangle ⏵ may be expanded, down triangle ⏷ to close. Button = tree pop-up. × = close pop-up.]
Initial WS 1 : Bill meetθ: and vmeet: θ: pst INFLv arriveθ varrive: pst INFLv John
WS 1: {meetθ: and , Bill} vmeet: θ: pst INFLv arriveθ varrive: pst INFLv John
WS 2: {vmeet: θ: pst , {meetθ: and , Bill}} INFLv arriveθ varrive: pst INFLv John
WS 3: {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv arriveθ varrive: pst INFLv
WS 4: John {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv arriveθ varrive: pst INFLv
WS 5: {arriveθ , John} {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv varrive: pst INFLv
WS 6: {varrive: pst , {arriveθ , John}} {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv INFLv
WS 7: {John, {INFLv , {John, {vmeet: θ: pst , {meetθ: and , Bill}}}}} {varrive: pst , {arriveθ , John}} INFLv
WS 1: {meetθ: and , Bill} vmeet: θ: pst INFLv arriveθ varrive: pst INFLv John
WS 2: {vmeet: θ: pst , {meetθ: and , Bill}} INFLv arriveθ varrive: pst INFLv John [gray]
WS 3: {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 4: John {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 5: {arriveθ , John} {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv varrive: pst INFLv [gray]
WS 6: {varrive: pst , {arriveθ , John}} {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv INFLv [gray]
WS 7: {John, {INFLv , {varrive: pst , {arriveθ , John}}}} {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv
WS 1: {meetθ: and , Bill} vmeet: θ: pst INFLv arriveθ varrive: pst INFLv John
WS 2: {vmeet: θ: pst , {meetθ: and , Bill}} INFLv arriveθ varrive: pst INFLv John [gray]
WS 3: {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 4: John {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 5: {arriveθ , John} {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv varrive: pst INFLv [gray]
WS 6: {varrive: pst , {arriveθ , John}} {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv INFLv [gray]
WS 7: { {varrive: pst , {arriveθ , John}},{John, {vmeet: θ: pst , {meetθ: and , Bill}}}} INFLv INFLv
WS 8: {John, {INFLv , { {varrive: pst , {arriveθ , John}},{John, {vmeet: θ: pst , {meetθ: and , Bill}}}} }}
Final WS: {C, {John, {INFLv , { {varrive: pst , {arriveθ , John}},{John, {vmeet: θ: pst , {meetθ: and , Bill}}}} }}}
INT/EXT: {C, {John, {INFL
v ,
{ {v
arrive: pst , {arrive
θ ,
John }}, {
John , {v
meet: θ: pst , {meet
θ: and , Bill}}}
} }}}
Initial Spellout: John 3sg pst arrive 3sg pst and meet Bill
Spellout: John 3sg pst arrive and 3sg pst meet Bill
Spellout: John arrived and met Bill
Parse found: John arrived and met Bill
WS 1: {meetθ: and , Bill} vmeet: θ: pst INFLv arriveθ varrive: pst INFLv John
WS 2: {vmeet: θ: pst , {meetθ: and , Bill}} INFLv arriveθ varrive: pst INFLv John [gray]
WS 3: {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 4: John {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 5: {arriveθ , John} {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv varrive: pst INFLv [gray]
WS 6: { {arriveθ , John},{John, {vmeet: θ: pst , {meetθ: and , Bill}}}} INFLv varrive: pst INFLv
WS 7: { { {arriveθ , John},{John, {vmeet: θ: pst , {meetθ: and , Bill}}}} ,varrive: pst } INFLv INFLv
WS 1: {meetθ: and , Bill} vmeet: θ: pst INFLv arriveθ varrive: pst INFLv John
WS 2: {vmeet: θ: pst , {meetθ: and , Bill}} INFLv arriveθ varrive: pst INFLv John [gray]
WS 3: {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 4: John {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 5: {arriveθ , John} {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv varrive: pst INFLv [gray]
WS 6: { {arriveθ , John},varrive: pst } {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv INFLv
WS 7: { { {arriveθ , John},varrive: pst } ,{John, {vmeet: θ: pst , {meetθ: and , Bill}}}} INFLv INFLv
WS 1: {meetθ: and , Bill} vmeet: θ: pst INFLv arriveθ varrive: pst INFLv John
WS 2: {vmeet: θ: pst , {meetθ: and , Bill}} INFLv arriveθ varrive: pst INFLv John [gray]
WS 3: {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 4: John {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 5: {arriveθ , John} {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv varrive: pst INFLv [gray]
WS 6: { {John, {vmeet: θ: pst , {meetθ: and , Bill}}},varrive: pst } {arriveθ , John} INFLv INFLv
WS 7: { { {John, {vmeet: θ: pst , {meetθ: and , Bill}}},varrive: pst } ,{arriveθ , John}} INFLv INFLv
WS 1: {meetθ: and , Bill} vmeet: θ: pst INFLv arriveθ varrive: pst INFLv John
WS 2: {vmeet: θ: pst , {meetθ: and , Bill}} INFLv arriveθ varrive: pst INFLv John [gray]
WS 3: {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 4: John {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 5: { {John, {vmeet: θ: pst , {meetθ: and , Bill}}},arriveθ } John INFLv varrive: pst INFLv
WS fail: WS θS 0 < θR 1
WS 1: {meetθ: and , Bill} vmeet: θ: pst INFLv arriveθ varrive: pst INFLv John
WS 2: {vmeet: θ: pst , {meetθ: and , Bill}} INFLv arriveθ varrive: pst INFLv John [gray]
WS 3: {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 4: John {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 5: { arriveθ ,varrive: pst } John {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {meetθ: and , Bill} vmeet: θ: pst INFLv arriveθ varrive: pst INFLv John
WS 2: {vmeet: θ: pst , {meetθ: and , Bill}} INFLv arriveθ varrive: pst INFLv John [gray]
WS 3: {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 4: Bill {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv arriveθ varrive: pst INFLv
WS 5: {arriveθ , Bill} {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv varrive: pst INFLv
WS 6: {varrive: pst , {arriveθ , Bill}} {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv INFLv
WS 7: {John, {INFLv , {John, {vmeet: θ: pst , {meetθ: and , Bill}}}}} {varrive: pst , {arriveθ , Bill}} INFLv
WS 1: {meetθ: and , Bill} vmeet: θ: pst INFLv arriveθ varrive: pst INFLv John
WS 2: {vmeet: θ: pst , {meetθ: and , Bill}} INFLv arriveθ varrive: pst INFLv John [gray]
WS 3: {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 4: John {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 5: {arriveθ , Bill} {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv varrive: pst INFLv [gray]
WS 6: {varrive: pst , {arriveθ , Bill}} {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv INFLv [gray]
WS 7: {Bill, {INFLv , {varrive: pst , {arriveθ , Bill}}}} {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv
WS 1: {meetθ: and , Bill} vmeet: θ: pst INFLv arriveθ varrive: pst INFLv John
WS 2: {vmeet: θ: pst , {meetθ: and , Bill}} INFLv arriveθ varrive: pst INFLv John [gray]
WS 3: {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 4: John {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 5: {arriveθ , Bill} {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv varrive: pst INFLv [gray]
WS 6: {varrive: pst , {arriveθ , Bill}} {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv INFLv [gray]
WS 7: { {varrive: pst , {arriveθ , Bill}},{John, {vmeet: θ: pst , {meetθ: and , Bill}}}} INFLv INFLv
WS 1: {meetθ: and , Bill} vmeet: θ: pst INFLv arriveθ varrive: pst INFLv John
WS 2: {vmeet: θ: pst , {meetθ: and , Bill}} INFLv arriveθ varrive: pst INFLv John [gray]
WS 3: {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 4: John {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 5: {arriveθ , Bill} {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv varrive: pst INFLv [gray]
WS 6: { {arriveθ , Bill},{John, {vmeet: θ: pst , {meetθ: and , Bill}}}} INFLv varrive: pst INFLv
WS 7: { { {arriveθ , Bill},{John, {vmeet: θ: pst , {meetθ: and , Bill}}}} ,varrive: pst } INFLv INFLv
WS 1: {meetθ: and , Bill} vmeet: θ: pst INFLv arriveθ varrive: pst INFLv John
WS 2: {vmeet: θ: pst , {meetθ: and , Bill}} INFLv arriveθ varrive: pst INFLv John [gray]
WS 3: {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 4: John {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 5: {arriveθ , Bill} {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv varrive: pst INFLv [gray]
WS 6: { {arriveθ , Bill},varrive: pst } {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv INFLv
WS 7: { { {arriveθ , Bill},varrive: pst } ,{John, {vmeet: θ: pst , {meetθ: and , Bill}}}} INFLv INFLv
WS 1: {meetθ: and , Bill} vmeet: θ: pst INFLv arriveθ varrive: pst INFLv John
WS 2: {vmeet: θ: pst , {meetθ: and , Bill}} INFLv arriveθ varrive: pst INFLv John [gray]
WS 3: {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 4: John {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 5: {arriveθ , Bill} {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv varrive: pst INFLv [gray]
WS 6: { {John, {vmeet: θ: pst , {meetθ: and , Bill}}},varrive: pst } {arriveθ , Bill} INFLv INFLv
WS 7: { { {John, {vmeet: θ: pst , {meetθ: and , Bill}}},varrive: pst } ,{arriveθ , Bill}} INFLv INFLv
WS 1: {meetθ: and , Bill} vmeet: θ: pst INFLv arriveθ varrive: pst INFLv John
WS 2: {vmeet: θ: pst , {meetθ: and , Bill}} INFLv arriveθ varrive: pst INFLv John [gray]
WS 3: {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 4: John {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 5: { {John, {vmeet: θ: pst , {meetθ: and , Bill}}},arriveθ } Bill INFLv varrive: pst INFLv
WS fail: WS θS 0 < θR 1
WS 1: {meetθ: and , Bill} vmeet: θ: pst INFLv arriveθ varrive: pst INFLv John
WS 2: {vmeet: θ: pst , {meetθ: and , Bill}} INFLv arriveθ varrive: pst INFLv John [gray]
WS 3: {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 4: John {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 5: { arriveθ ,varrive: pst } Bill {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {meetθ: and , John} Bill vmeet: θ: pst INFLv arriveθ varrive: pst INFLv
WS 2: {vmeet: θ: pst , {meetθ: and , John}} Bill INFLv arriveθ varrive: pst INFLv
WS 3: {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv arriveθ varrive: pst INFLv
WS 4: Bill {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv arriveθ varrive: pst INFLv
WS 5: {arriveθ , Bill} {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv varrive: pst INFLv
WS 6: {varrive: pst , {arriveθ , Bill}} {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv INFLv
WS 7: {Bill, {INFLv , {Bill, {vmeet: θ: pst , {meetθ: and , John}}}}} {varrive: pst , {arriveθ , Bill}} INFLv
WS 1: {meetθ: and , John} Bill vmeet: θ: pst INFLv arriveθ varrive: pst INFLv
WS 2: {vmeet: θ: pst , {meetθ: and , John}} Bill INFLv arriveθ varrive: pst INFLv [gray]
WS 3: {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 4: Bill {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 5: {arriveθ , Bill} {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv varrive: pst INFLv [gray]
WS 6: {varrive: pst , {arriveθ , Bill}} {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv INFLv [gray]
WS 7: {Bill, {INFLv , {varrive: pst , {arriveθ , Bill}}}} {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv
WS 1: {meetθ: and , John} Bill vmeet: θ: pst INFLv arriveθ varrive: pst INFLv
WS 2: {vmeet: θ: pst , {meetθ: and , John}} Bill INFLv arriveθ varrive: pst INFLv [gray]
WS 3: {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 4: Bill {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 5: {arriveθ , Bill} {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv varrive: pst INFLv [gray]
WS 6: {varrive: pst , {arriveθ , Bill}} {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv INFLv [gray]
WS 7: { {varrive: pst , {arriveθ , Bill}},{Bill, {vmeet: θ: pst , {meetθ: and , John}}}} INFLv INFLv
WS 8: {Bill, {INFLv , { {varrive: pst , {arriveθ , Bill}},{Bill, {vmeet: θ: pst , {meetθ: and , John}}}} }}
Final WS: {C, {Bill, {INFLv , { {varrive: pst , {arriveθ , Bill}},{Bill, {vmeet: θ: pst , {meetθ: and , John}}}} }}}
INT/EXT: {C, {Bill, {INFL
v ,
{ {v
arrive: pst , {arrive
θ ,
Bill }}, {
Bill , {v
meet: θ: pst , {meet
θ: and , John}}}
} }}}
Initial Spellout: Bill 3sg pst arrive 3sg pst and meet John
Spellout: Bill 3sg pst arrive and 3sg pst meet John
Spellout: Bill arrived and met John
Error: inconsistent spellout
WS 1: {meetθ: and , John} Bill vmeet: θ: pst INFLv arriveθ varrive: pst INFLv
WS 2: {vmeet: θ: pst , {meetθ: and , John}} Bill INFLv arriveθ varrive: pst INFLv [gray]
WS 3: {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 4: Bill {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 5: {arriveθ , Bill} {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv varrive: pst INFLv [gray]
WS 6: { {arriveθ , Bill},{Bill, {vmeet: θ: pst , {meetθ: and , John}}}} INFLv varrive: pst INFLv
WS 7: { { {arriveθ , Bill},{Bill, {vmeet: θ: pst , {meetθ: and , John}}}} ,varrive: pst } INFLv INFLv
WS 1: {meetθ: and , John} Bill vmeet: θ: pst INFLv arriveθ varrive: pst INFLv
WS 2: {vmeet: θ: pst , {meetθ: and , John}} Bill INFLv arriveθ varrive: pst INFLv [gray]
WS 3: {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 4: Bill {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 5: {arriveθ , Bill} {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv varrive: pst INFLv [gray]
WS 6: { {arriveθ , Bill},varrive: pst } {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv INFLv
WS 7: { { {arriveθ , Bill},varrive: pst } ,{Bill, {vmeet: θ: pst , {meetθ: and , John}}}} INFLv INFLv
WS 1: {meetθ: and , John} Bill vmeet: θ: pst INFLv arriveθ varrive: pst INFLv
WS 2: {vmeet: θ: pst , {meetθ: and , John}} Bill INFLv arriveθ varrive: pst INFLv [gray]
WS 3: {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 4: Bill {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 5: {arriveθ , Bill} {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv varrive: pst INFLv [gray]
WS 6: { {Bill, {vmeet: θ: pst , {meetθ: and , John}}},varrive: pst } {arriveθ , Bill} INFLv INFLv
WS 7: { { {Bill, {vmeet: θ: pst , {meetθ: and , John}}},varrive: pst } ,{arriveθ , Bill}} INFLv INFLv
WS 1: {meetθ: and , John} Bill vmeet: θ: pst INFLv arriveθ varrive: pst INFLv
WS 2: {vmeet: θ: pst , {meetθ: and , John}} Bill INFLv arriveθ varrive: pst INFLv [gray]
WS 3: {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 4: Bill {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 5: { {Bill, {vmeet: θ: pst , {meetθ: and , John}}},arriveθ } Bill INFLv varrive: pst INFLv
WS fail: WS θS 0 < θR 1
WS 1: {meetθ: and , John} Bill vmeet: θ: pst INFLv arriveθ varrive: pst INFLv
WS 2: {vmeet: θ: pst , {meetθ: and , John}} Bill INFLv arriveθ varrive: pst INFLv [gray]
WS 3: {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 4: Bill {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 5: { arriveθ ,varrive: pst } Bill {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {meetθ: and , John} Bill vmeet: θ: pst INFLv arriveθ varrive: pst INFLv
WS 2: {vmeet: θ: pst , {meetθ: and , John}} Bill INFLv arriveθ varrive: pst INFLv [gray]
WS 3: {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 4: John {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv arriveθ varrive: pst INFLv
WS 5: {arriveθ , John} {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv varrive: pst INFLv
WS 6: {varrive: pst , {arriveθ , John}} {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv INFLv
WS 7: {Bill, {INFLv , {Bill, {vmeet: θ: pst , {meetθ: and , John}}}}} {varrive: pst , {arriveθ , John}} INFLv
WS 1: {meetθ: and , John} Bill vmeet: θ: pst INFLv arriveθ varrive: pst INFLv
WS 2: {vmeet: θ: pst , {meetθ: and , John}} Bill INFLv arriveθ varrive: pst INFLv [gray]
WS 3: {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 4: Bill {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 5: {arriveθ , John} {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv varrive: pst INFLv [gray]
WS 6: {varrive: pst , {arriveθ , John}} {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv INFLv [gray]
WS 7: {John, {INFLv , {varrive: pst , {arriveθ , John}}}} {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv
WS 1: {meetθ: and , John} Bill vmeet: θ: pst INFLv arriveθ varrive: pst INFLv
WS 2: {vmeet: θ: pst , {meetθ: and , John}} Bill INFLv arriveθ varrive: pst INFLv [gray]
WS 3: {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 4: Bill {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 5: {arriveθ , John} {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv varrive: pst INFLv [gray]
WS 6: {varrive: pst , {arriveθ , John}} {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv INFLv [gray]
WS 7: { {varrive: pst , {arriveθ , John}},{Bill, {vmeet: θ: pst , {meetθ: and , John}}}} INFLv INFLv
WS 1: {meetθ: and , John} Bill vmeet: θ: pst INFLv arriveθ varrive: pst INFLv
WS 2: {vmeet: θ: pst , {meetθ: and , John}} Bill INFLv arriveθ varrive: pst INFLv [gray]
WS 3: {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 4: Bill {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 5: {arriveθ , John} {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv varrive: pst INFLv [gray]
WS 6: { {arriveθ , John},{Bill, {vmeet: θ: pst , {meetθ: and , John}}}} INFLv varrive: pst INFLv
WS 7: { { {arriveθ , John},{Bill, {vmeet: θ: pst , {meetθ: and , John}}}} ,varrive: pst } INFLv INFLv
WS 1: {meetθ: and , John} Bill vmeet: θ: pst INFLv arriveθ varrive: pst INFLv
WS 2: {vmeet: θ: pst , {meetθ: and , John}} Bill INFLv arriveθ varrive: pst INFLv [gray]
WS 3: {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 4: Bill {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 5: {arriveθ , John} {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv varrive: pst INFLv [gray]
WS 6: { {arriveθ , John},varrive: pst } {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv INFLv
WS 7: { { {arriveθ , John},varrive: pst } ,{Bill, {vmeet: θ: pst , {meetθ: and , John}}}} INFLv INFLv
WS 1: {meetθ: and , John} Bill vmeet: θ: pst INFLv arriveθ varrive: pst INFLv
WS 2: {vmeet: θ: pst , {meetθ: and , John}} Bill INFLv arriveθ varrive: pst INFLv [gray]
WS 3: {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 4: Bill {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 5: {arriveθ , John} {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv varrive: pst INFLv [gray]
WS 6: { {Bill, {vmeet: θ: pst , {meetθ: and , John}}},varrive: pst } {arriveθ , John} INFLv INFLv
WS 7: { { {Bill, {vmeet: θ: pst , {meetθ: and , John}}},varrive: pst } ,{arriveθ , John}} INFLv INFLv
WS 1: {meetθ: and , John} Bill vmeet: θ: pst INFLv arriveθ varrive: pst INFLv
WS 2: {vmeet: θ: pst , {meetθ: and , John}} Bill INFLv arriveθ varrive: pst INFLv [gray]
WS 3: {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 4: Bill {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 5: { {Bill, {vmeet: θ: pst , {meetθ: and , John}}},arriveθ } John INFLv varrive: pst INFLv
WS fail: WS θS 0 < θR 1
WS 1: {meetθ: and , John} Bill vmeet: θ: pst INFLv arriveθ varrive: pst INFLv
WS 2: {vmeet: θ: pst , {meetθ: and , John}} Bill INFLv arriveθ varrive: pst INFLv [gray]
WS 3: {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 4: Bill {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv arriveθ varrive: pst INFLv [gray]
WS 5: { arriveθ ,varrive: pst } John {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ , Bill} meetθ: and vmeet: θ: pst INFLv varrive: pst INFLv John
WS 2: {varrive: pst , {arriveθ , Bill}} meetθ: and vmeet: θ: pst INFLv INFLv John
WS 3: Bill {varrive: pst , {arriveθ , Bill}} meetθ: and vmeet: θ: pst INFLv INFLv John
WS 4: {meetθ: and , Bill} {varrive: pst , {arriveθ , Bill}} vmeet: θ: pst INFLv INFLv John
WS 5: {vmeet: θ: pst , {meetθ: and , Bill}} {varrive: pst , {arriveθ , Bill}} INFLv INFLv John
WS 6: {John, {vmeet: θ: pst , {meetθ: and , Bill}}} {varrive: pst , {arriveθ , Bill}} INFLv INFLv
WS 7: {John, {INFLv , {John, {vmeet: θ: pst , {meetθ: and , Bill}}}}} {varrive: pst , {arriveθ , Bill}} INFLv
WS 1: {arriveθ , Bill} meetθ: and vmeet: θ: pst INFLv varrive: pst INFLv John
WS 2: {varrive: pst , {arriveθ , Bill}} meetθ: and vmeet: θ: pst INFLv INFLv John [gray]
WS 3: Bill {varrive: pst , {arriveθ , Bill}} meetθ: and vmeet: θ: pst INFLv INFLv John [gray]
WS 4: {meetθ: and , Bill} {varrive: pst , {arriveθ , Bill}} vmeet: θ: pst INFLv INFLv John [gray]
WS 5: {vmeet: θ: pst , {meetθ: and , Bill}} {varrive: pst , {arriveθ , Bill}} INFLv INFLv John [gray]
WS 6: {John, {vmeet: θ: pst , {meetθ: and , Bill}}} {varrive: pst , {arriveθ , Bill}} INFLv INFLv [gray]
WS 7: {Bill, {INFLv , {varrive: pst , {arriveθ , Bill}}}} {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv
WS 1: {arriveθ , Bill} meetθ: and vmeet: θ: pst INFLv varrive: pst INFLv John
WS 2: {varrive: pst , {arriveθ , Bill}} meetθ: and vmeet: θ: pst INFLv INFLv John [gray]
WS 3: Bill {varrive: pst , {arriveθ , Bill}} meetθ: and vmeet: θ: pst INFLv INFLv John [gray]
WS 4: {meetθ: and , Bill} {varrive: pst , {arriveθ , Bill}} vmeet: θ: pst INFLv INFLv John [gray]
WS 5: {vmeet: θ: pst , {meetθ: and , Bill}} {varrive: pst , {arriveθ , Bill}} INFLv INFLv John [gray]
WS 6: {John, {vmeet: θ: pst , {meetθ: and , Bill}}} {varrive: pst , {arriveθ , Bill}} INFLv INFLv [gray]
WS 7: { {John, {vmeet: θ: pst , {meetθ: and , Bill}}},{varrive: pst , {arriveθ , Bill}}} INFLv INFLv
WS 1: {arriveθ , Bill} meetθ: and vmeet: θ: pst INFLv varrive: pst INFLv John
WS 2: {varrive: pst , {arriveθ , Bill}} meetθ: and vmeet: θ: pst INFLv INFLv John [gray]
WS 3: Bill {varrive: pst , {arriveθ , Bill}} meetθ: and vmeet: θ: pst INFLv INFLv John [gray]
WS 4: {meetθ: and , Bill} {varrive: pst , {arriveθ , Bill}} vmeet: θ: pst INFLv INFLv John [gray]
WS 5: { {meetθ: and , Bill},{varrive: pst , {arriveθ , Bill}}} vmeet: θ: pst INFLv INFLv John
WS 6: { { {meetθ: and , Bill},{varrive: pst , {arriveθ , Bill}}} ,vmeet: θ: pst } INFLv INFLv John
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ , Bill} meetθ: and vmeet: θ: pst INFLv varrive: pst INFLv John
WS 2: {varrive: pst , {arriveθ , Bill}} meetθ: and vmeet: θ: pst INFLv INFLv John [gray]
WS 3: Bill {varrive: pst , {arriveθ , Bill}} meetθ: and vmeet: θ: pst INFLv INFLv John [gray]
WS 4: {meetθ: and , Bill} {varrive: pst , {arriveθ , Bill}} vmeet: θ: pst INFLv INFLv John [gray]
WS 5: { {meetθ: and , Bill},vmeet: θ: pst } {varrive: pst , {arriveθ , Bill}} INFLv INFLv John
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ , Bill} meetθ: and vmeet: θ: pst INFLv varrive: pst INFLv John
WS 2: {varrive: pst , {arriveθ , Bill}} meetθ: and vmeet: θ: pst INFLv INFLv John [gray]
WS 3: Bill {varrive: pst , {arriveθ , Bill}} meetθ: and vmeet: θ: pst INFLv INFLv John [gray]
WS 4: {meetθ: and , Bill} {varrive: pst , {arriveθ , Bill}} vmeet: θ: pst INFLv INFLv John [gray]
WS 5: { {varrive: pst , {arriveθ , Bill}},vmeet: θ: pst } {meetθ: and , Bill} INFLv INFLv John
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ , Bill} meetθ: and vmeet: θ: pst INFLv varrive: pst INFLv John
WS 2: {varrive: pst , {arriveθ , Bill}} meetθ: and vmeet: θ: pst INFLv INFLv John [gray]
WS 3: Bill {varrive: pst , {arriveθ , Bill}} meetθ: and vmeet: θ: pst INFLv INFLv John [gray]
WS 4: {meetθ: and , John} Bill {varrive: pst , {arriveθ , Bill}} vmeet: θ: pst INFLv INFLv
WS 5: {vmeet: θ: pst , {meetθ: and , John}} Bill {varrive: pst , {arriveθ , Bill}} INFLv INFLv
WS 6: {Bill, {vmeet: θ: pst , {meetθ: and , John}}} {varrive: pst , {arriveθ , Bill}} INFLv INFLv
WS 7: {Bill, {INFLv , {Bill, {vmeet: θ: pst , {meetθ: and , John}}}}} {varrive: pst , {arriveθ , Bill}} INFLv
WS 1: {arriveθ , Bill} meetθ: and vmeet: θ: pst INFLv varrive: pst INFLv John
WS 2: {varrive: pst , {arriveθ , Bill}} meetθ: and vmeet: θ: pst INFLv INFLv John [gray]
WS 3: Bill {varrive: pst , {arriveθ , Bill}} meetθ: and vmeet: θ: pst INFLv INFLv John [gray]
WS 4: {meetθ: and , Bill} {varrive: pst , {arriveθ , Bill}} vmeet: θ: pst INFLv INFLv John [gray]
WS 5: {vmeet: θ: pst , {meetθ: and , John}} Bill {varrive: pst , {arriveθ , Bill}} INFLv INFLv [gray]
WS 6: {Bill, {vmeet: θ: pst , {meetθ: and , John}}} {varrive: pst , {arriveθ , Bill}} INFLv INFLv [gray]
WS 7: {Bill, {INFLv , {varrive: pst , {arriveθ , Bill}}}} {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv
WS 1: {arriveθ , Bill} meetθ: and vmeet: θ: pst INFLv varrive: pst INFLv John
WS 2: {varrive: pst , {arriveθ , Bill}} meetθ: and vmeet: θ: pst INFLv INFLv John [gray]
WS 3: Bill {varrive: pst , {arriveθ , Bill}} meetθ: and vmeet: θ: pst INFLv INFLv John [gray]
WS 4: {meetθ: and , Bill} {varrive: pst , {arriveθ , Bill}} vmeet: θ: pst INFLv INFLv John [gray]
WS 5: {vmeet: θ: pst , {meetθ: and , John}} Bill {varrive: pst , {arriveθ , Bill}} INFLv INFLv [gray]
WS 6: {Bill, {vmeet: θ: pst , {meetθ: and , John}}} {varrive: pst , {arriveθ , Bill}} INFLv INFLv [gray]
WS 7: { {Bill, {vmeet: θ: pst , {meetθ: and , John}}},{varrive: pst , {arriveθ , Bill}}} INFLv INFLv
WS 8: {Bill, {INFLv , { {Bill, {vmeet: θ: pst , {meetθ: and , John}}},{varrive: pst , {arriveθ , Bill}}} }}
Final WS: {C, {Bill, {INFLv , { {Bill, {vmeet: θ: pst , {meetθ: and , John}}},{varrive: pst , {arriveθ , Bill}}} }}}
INT/EXT: {C, {Bill, {INFL
v ,
{ {
Bill , {v
meet: θ: pst , {meet
θ: and , John}}}, {v
arrive: pst , {arrive
θ ,
Bill }}
} }}}
Initial Spellout: Bill 3sg pst and meet John 3sg pst arrive
Spellout: Bill and 3sg pst meet John 3sg pst arrive
Spellout: Bill and met John arrived
Error: inconsistent spellout
WS 1: {arriveθ , Bill} meetθ: and vmeet: θ: pst INFLv varrive: pst INFLv John
WS 2: {varrive: pst , {arriveθ , Bill}} meetθ: and vmeet: θ: pst INFLv INFLv John [gray]
WS 3: Bill {varrive: pst , {arriveθ , Bill}} meetθ: and vmeet: θ: pst INFLv INFLv John [gray]
WS 4: {meetθ: and , Bill} {varrive: pst , {arriveθ , Bill}} vmeet: θ: pst INFLv INFLv John [gray]
WS 5: { {meetθ: and , John},{varrive: pst , {arriveθ , Bill}}} Bill vmeet: θ: pst INFLv INFLv
WS 6: { { {meetθ: and , John},{varrive: pst , {arriveθ , Bill}}} ,vmeet: θ: pst } Bill INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ , Bill} meetθ: and vmeet: θ: pst INFLv varrive: pst INFLv John
WS 2: {varrive: pst , {arriveθ , Bill}} meetθ: and vmeet: θ: pst INFLv INFLv John [gray]
WS 3: Bill {varrive: pst , {arriveθ , Bill}} meetθ: and vmeet: θ: pst INFLv INFLv John [gray]
WS 4: {meetθ: and , Bill} {varrive: pst , {arriveθ , Bill}} vmeet: θ: pst INFLv INFLv John [gray]
WS 5: { {meetθ: and , John},vmeet: θ: pst } Bill {varrive: pst , {arriveθ , Bill}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ , Bill} meetθ: and vmeet: θ: pst INFLv varrive: pst INFLv John
WS 2: {varrive: pst , {arriveθ , Bill}} meetθ: and vmeet: θ: pst INFLv INFLv John [gray]
WS 3: Bill {varrive: pst , {arriveθ , Bill}} meetθ: and vmeet: θ: pst INFLv INFLv John [gray]
WS 4: {meetθ: and , Bill} {varrive: pst , {arriveθ , Bill}} vmeet: θ: pst INFLv INFLv John [gray]
WS 5: { {varrive: pst , {arriveθ , Bill}},vmeet: θ: pst } {meetθ: and , John} Bill INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ , Bill} meetθ: and vmeet: θ: pst INFLv varrive: pst INFLv John
WS 2: {varrive: pst , {arriveθ , Bill}} meetθ: and vmeet: θ: pst INFLv INFLv John [gray]
WS 3: Bill {varrive: pst , {arriveθ , Bill}} meetθ: and vmeet: θ: pst INFLv INFLv John [gray]
WS 4: {vmeet: θ: pst , meetθ: and } Bill {varrive: pst , {arriveθ , Bill}} INFLv INFLv John
WS fail: WS θS 1 < θR 2
WS 1: {arriveθ , Bill} meetθ: and vmeet: θ: pst INFLv varrive: pst INFLv John
WS 2: {varrive: pst , {arriveθ , Bill}} meetθ: and vmeet: θ: pst INFLv INFLv John [gray]
WS 3: Bill {varrive: pst , {arriveθ , Bill}} meetθ: and vmeet: θ: pst INFLv INFLv John [gray]
WS 4: {Bill, {INFLv , {varrive: pst , {arriveθ , Bill}}}} Bill meetθ: and vmeet: θ: pst INFLv John
WS 5: { meetθ: and ,vmeet: θ: pst } {Bill, {INFLv , {varrive: pst , {arriveθ , Bill}}}} Bill INFLv John
WS fail: WS θS 0 < θR 2
WS 1: {arriveθ , Bill} meetθ: and vmeet: θ: pst INFLv varrive: pst INFLv John
WS 2: {varrive: pst , {arriveθ , Bill}} meetθ: and vmeet: θ: pst INFLv INFLv John [gray]
WS 3: Bill {varrive: pst , {arriveθ , Bill}} meetθ: and vmeet: θ: pst INFLv INFLv John [gray]
WS 4: { {varrive: pst , {arriveθ , Bill}},meetθ: and } Bill vmeet: θ: pst INFLv INFLv John
WS fail: WS θS 1 < θR 2
WS 1: {arriveθ , Bill} meetθ: and vmeet: θ: pst INFLv varrive: pst INFLv John
WS 2: {varrive: pst , {arriveθ , Bill}} meetθ: and vmeet: θ: pst INFLv INFLv John [gray]
WS 3: Bill {varrive: pst , {arriveθ , Bill}} meetθ: and vmeet: θ: pst INFLv INFLv John [gray]
WS 4: { meetθ: and ,vmeet: θ: pst } Bill {varrive: pst , {arriveθ , Bill}} INFLv INFLv John
WS fail: WS θS 0 < θR 2
WS 1: {arriveθ , Bill} meetθ: and vmeet: θ: pst INFLv varrive: pst INFLv John
WS 2: {varrive: pst , {arriveθ , Bill}} meetθ: and vmeet: θ: pst INFLv INFLv John [gray]
WS 3: {meetθ: and , John} {varrive: pst , {arriveθ , Bill}} vmeet: θ: pst INFLv INFLv
WS 4: John {meetθ: and , John} {varrive: pst , {arriveθ , Bill}} vmeet: θ: pst INFLv INFLv
WS 5: { {meetθ: and , John},{varrive: pst , {arriveθ , Bill}}} John vmeet: θ: pst INFLv INFLv
WS 6: { { {meetθ: and , John},{varrive: pst , {arriveθ , Bill}}} ,vmeet: θ: pst } John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ , Bill} meetθ: and vmeet: θ: pst INFLv varrive: pst INFLv John
WS 2: {varrive: pst , {arriveθ , Bill}} meetθ: and vmeet: θ: pst INFLv INFLv John [gray]
WS 3: Bill {varrive: pst , {arriveθ , Bill}} meetθ: and vmeet: θ: pst INFLv INFLv John [gray]
WS 4: John {meetθ: and , John} {varrive: pst , {arriveθ , Bill}} vmeet: θ: pst INFLv INFLv [gray]
WS 5: { {meetθ: and , John},vmeet: θ: pst } John {varrive: pst , {arriveθ , Bill}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ , Bill} meetθ: and vmeet: θ: pst INFLv varrive: pst INFLv John
WS 2: {varrive: pst , {arriveθ , Bill}} meetθ: and vmeet: θ: pst INFLv INFLv John [gray]
WS 3: Bill {varrive: pst , {arriveθ , Bill}} meetθ: and vmeet: θ: pst INFLv INFLv John [gray]
WS 4: John {meetθ: and , John} {varrive: pst , {arriveθ , Bill}} vmeet: θ: pst INFLv INFLv [gray]
WS 5: { {varrive: pst , {arriveθ , Bill}},vmeet: θ: pst } John {meetθ: and , John} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ , Bill} meetθ: and vmeet: θ: pst INFLv varrive: pst INFLv John
WS 2: {varrive: pst , {arriveθ , Bill}} meetθ: and vmeet: θ: pst INFLv INFLv John [gray]
WS 3: Bill {varrive: pst , {arriveθ , Bill}} meetθ: and vmeet: θ: pst INFLv INFLv John [gray]
WS 4: Bill {meetθ: and , John} {varrive: pst , {arriveθ , Bill}} vmeet: θ: pst INFLv INFLv
WS 5: { {meetθ: and , John},{varrive: pst , {arriveθ , Bill}}} Bill vmeet: θ: pst INFLv INFLv
WS 6: { { {meetθ: and , John},{varrive: pst , {arriveθ , Bill}}} ,vmeet: θ: pst } Bill INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ , Bill} meetθ: and vmeet: θ: pst INFLv varrive: pst INFLv John
WS 2: {varrive: pst , {arriveθ , Bill}} meetθ: and vmeet: θ: pst INFLv INFLv John [gray]
WS 3: Bill {varrive: pst , {arriveθ , Bill}} meetθ: and vmeet: θ: pst INFLv INFLv John [gray]
WS 4: John {meetθ: and , John} {varrive: pst , {arriveθ , Bill}} vmeet: θ: pst INFLv INFLv [gray]
WS 5: { {meetθ: and , John},vmeet: θ: pst } Bill {varrive: pst , {arriveθ , Bill}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ , Bill} meetθ: and vmeet: θ: pst INFLv varrive: pst INFLv John
WS 2: {varrive: pst , {arriveθ , Bill}} meetθ: and vmeet: θ: pst INFLv INFLv John [gray]
WS 3: Bill {varrive: pst , {arriveθ , Bill}} meetθ: and vmeet: θ: pst INFLv INFLv John [gray]
WS 4: John {meetθ: and , John} {varrive: pst , {arriveθ , Bill}} vmeet: θ: pst INFLv INFLv [gray]
WS 5: { {varrive: pst , {arriveθ , Bill}},vmeet: θ: pst } Bill {meetθ: and , John} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ , Bill} meetθ: and vmeet: θ: pst INFLv varrive: pst INFLv John
WS 2: {varrive: pst , {arriveθ , Bill}} meetθ: and vmeet: θ: pst INFLv INFLv John [gray]
WS 3: {vmeet: θ: pst , meetθ: and } {varrive: pst , {arriveθ , Bill}} INFLv INFLv John
WS 1: {arriveθ , Bill} meetθ: and vmeet: θ: pst INFLv varrive: pst INFLv John
WS 2: {varrive: pst , {arriveθ , Bill}} meetθ: and vmeet: θ: pst INFLv INFLv John [gray]
WS 3: {Bill, {INFLv , {varrive: pst , {arriveθ , Bill}}}} meetθ: and vmeet: θ: pst INFLv John
WS 1: {arriveθ , John} Bill meetθ: and vmeet: θ: pst INFLv varrive: pst INFLv
WS 2: {varrive: pst , {arriveθ , John}} Bill meetθ: and vmeet: θ: pst INFLv INFLv
WS 3: John {varrive: pst , {arriveθ , John}} Bill meetθ: and vmeet: θ: pst INFLv INFLv
WS 4: {meetθ: and , John} {varrive: pst , {arriveθ , John}} Bill vmeet: θ: pst INFLv INFLv
WS 5: {vmeet: θ: pst , {meetθ: and , John}} {varrive: pst , {arriveθ , John}} Bill INFLv INFLv
WS 6: {Bill, {vmeet: θ: pst , {meetθ: and , John}}} {varrive: pst , {arriveθ , John}} INFLv INFLv
WS 7: {Bill, {INFLv , {Bill, {vmeet: θ: pst , {meetθ: and , John}}}}} {varrive: pst , {arriveθ , John}} INFLv
WS 1: {arriveθ , John} Bill meetθ: and vmeet: θ: pst INFLv varrive: pst INFLv
WS 2: {varrive: pst , {arriveθ , John}} Bill meetθ: and vmeet: θ: pst INFLv INFLv [gray]
WS 3: John {varrive: pst , {arriveθ , John}} Bill meetθ: and vmeet: θ: pst INFLv INFLv [gray]
WS 4: {meetθ: and , John} {varrive: pst , {arriveθ , John}} Bill vmeet: θ: pst INFLv INFLv [gray]
WS 5: {vmeet: θ: pst , {meetθ: and , John}} {varrive: pst , {arriveθ , John}} Bill INFLv INFLv [gray]
WS 6: {Bill, {vmeet: θ: pst , {meetθ: and , John}}} {varrive: pst , {arriveθ , John}} INFLv INFLv [gray]
WS 7: {John, {INFLv , {varrive: pst , {arriveθ , John}}}} {Bill, {vmeet: θ: pst , {meetθ: and , John}}} INFLv
WS 1: {arriveθ , John} Bill meetθ: and vmeet: θ: pst INFLv varrive: pst INFLv
WS 2: {varrive: pst , {arriveθ , John}} Bill meetθ: and vmeet: θ: pst INFLv INFLv [gray]
WS 3: John {varrive: pst , {arriveθ , John}} Bill meetθ: and vmeet: θ: pst INFLv INFLv [gray]
WS 4: {meetθ: and , John} {varrive: pst , {arriveθ , John}} Bill vmeet: θ: pst INFLv INFLv [gray]
WS 5: {vmeet: θ: pst , {meetθ: and , John}} {varrive: pst , {arriveθ , John}} Bill INFLv INFLv [gray]
WS 6: {Bill, {vmeet: θ: pst , {meetθ: and , John}}} {varrive: pst , {arriveθ , John}} INFLv INFLv [gray]
WS 7: { {Bill, {vmeet: θ: pst , {meetθ: and , John}}},{varrive: pst , {arriveθ , John}}} INFLv INFLv
WS 1: {arriveθ , John} Bill meetθ: and vmeet: θ: pst INFLv varrive: pst INFLv
WS 2: {varrive: pst , {arriveθ , John}} Bill meetθ: and vmeet: θ: pst INFLv INFLv [gray]
WS 3: John {varrive: pst , {arriveθ , John}} Bill meetθ: and vmeet: θ: pst INFLv INFLv [gray]
WS 4: {meetθ: and , John} {varrive: pst , {arriveθ , John}} Bill vmeet: θ: pst INFLv INFLv [gray]
WS 5: { {meetθ: and , John},{varrive: pst , {arriveθ , John}}} Bill vmeet: θ: pst INFLv INFLv
WS 6: { { {meetθ: and , John},{varrive: pst , {arriveθ , John}}} ,vmeet: θ: pst } Bill INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ , John} Bill meetθ: and vmeet: θ: pst INFLv varrive: pst INFLv
WS 2: {varrive: pst , {arriveθ , John}} Bill meetθ: and vmeet: θ: pst INFLv INFLv [gray]
WS 3: John {varrive: pst , {arriveθ , John}} Bill meetθ: and vmeet: θ: pst INFLv INFLv [gray]
WS 4: {meetθ: and , John} {varrive: pst , {arriveθ , John}} Bill vmeet: θ: pst INFLv INFLv [gray]
WS 5: { {meetθ: and , John},vmeet: θ: pst } {varrive: pst , {arriveθ , John}} Bill INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ , John} Bill meetθ: and vmeet: θ: pst INFLv varrive: pst INFLv
WS 2: {varrive: pst , {arriveθ , John}} Bill meetθ: and vmeet: θ: pst INFLv INFLv [gray]
WS 3: John {varrive: pst , {arriveθ , John}} Bill meetθ: and vmeet: θ: pst INFLv INFLv [gray]
WS 4: {meetθ: and , John} {varrive: pst , {arriveθ , John}} Bill vmeet: θ: pst INFLv INFLv [gray]
WS 5: { {varrive: pst , {arriveθ , John}},vmeet: θ: pst } {meetθ: and , John} Bill INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ , John} Bill meetθ: and vmeet: θ: pst INFLv varrive: pst INFLv
WS 2: {varrive: pst , {arriveθ , John}} Bill meetθ: and vmeet: θ: pst INFLv INFLv [gray]
WS 3: John {varrive: pst , {arriveθ , John}} Bill meetθ: and vmeet: θ: pst INFLv INFLv [gray]
WS 4: {meetθ: and , Bill} John {varrive: pst , {arriveθ , John}} vmeet: θ: pst INFLv INFLv
WS 5: {vmeet: θ: pst , {meetθ: and , Bill}} John {varrive: pst , {arriveθ , John}} INFLv INFLv
WS 6: {John, {vmeet: θ: pst , {meetθ: and , Bill}}} {varrive: pst , {arriveθ , John}} INFLv INFLv
WS 7: {John, {INFLv , {John, {vmeet: θ: pst , {meetθ: and , Bill}}}}} {varrive: pst , {arriveθ , John}} INFLv
WS 1: {arriveθ , John} Bill meetθ: and vmeet: θ: pst INFLv varrive: pst INFLv
WS 2: {varrive: pst , {arriveθ , John}} Bill meetθ: and vmeet: θ: pst INFLv INFLv [gray]
WS 3: John {varrive: pst , {arriveθ , John}} Bill meetθ: and vmeet: θ: pst INFLv INFLv [gray]
WS 4: {meetθ: and , John} {varrive: pst , {arriveθ , John}} Bill vmeet: θ: pst INFLv INFLv [gray]
WS 5: {vmeet: θ: pst , {meetθ: and , Bill}} John {varrive: pst , {arriveθ , John}} INFLv INFLv [gray]
WS 6: {John, {vmeet: θ: pst , {meetθ: and , Bill}}} {varrive: pst , {arriveθ , John}} INFLv INFLv [gray]
WS 7: {John, {INFLv , {varrive: pst , {arriveθ , John}}}} {John, {vmeet: θ: pst , {meetθ: and , Bill}}} INFLv
WS 1: {arriveθ , John} Bill meetθ: and vmeet: θ: pst INFLv varrive: pst INFLv
WS 2: {varrive: pst , {arriveθ , John}} Bill meetθ: and vmeet: θ: pst INFLv INFLv [gray]
WS 3: John {varrive: pst , {arriveθ , John}} Bill meetθ: and vmeet: θ: pst INFLv INFLv [gray]
WS 4: {meetθ: and , John} {varrive: pst , {arriveθ , John}} Bill vmeet: θ: pst INFLv INFLv [gray]
WS 5: {vmeet: θ: pst , {meetθ: and , Bill}} John {varrive: pst , {arriveθ , John}} INFLv INFLv [gray]
WS 6: {John, {vmeet: θ: pst , {meetθ: and , Bill}}} {varrive: pst , {arriveθ , John}} INFLv INFLv [gray]
WS 7: { {John, {vmeet: θ: pst , {meetθ: and , Bill}}},{varrive: pst , {arriveθ , John}}} INFLv INFLv
WS 8: {John, {INFLv , { {John, {vmeet: θ: pst , {meetθ: and , Bill}}},{varrive: pst , {arriveθ , John}}} }}
Final WS: {C, {John, {INFLv , { {John, {vmeet: θ: pst , {meetθ: and , Bill}}},{varrive: pst , {arriveθ , John}}} }}}
INT/EXT: {C, {John, {INFL
v ,
{ {
John , {v
meet: θ: pst , {meet
θ: and , Bill}}}, {v
arrive: pst , {arrive
θ ,
John }}
} }}}
Initial Spellout: John 3sg pst and meet Bill 3sg pst arrive
Spellout: John and 3sg pst meet Bill 3sg pst arrive
Spellout: John and met Bill arrived
Error: inconsistent spellout
WS 1: {arriveθ , John} Bill meetθ: and vmeet: θ: pst INFLv varrive: pst INFLv
WS 2: {varrive: pst , {arriveθ , John}} Bill meetθ: and vmeet: θ: pst INFLv INFLv [gray]
WS 3: John {varrive: pst , {arriveθ , John}} Bill meetθ: and vmeet: θ: pst INFLv INFLv [gray]
WS 4: {meetθ: and , John} {varrive: pst , {arriveθ , John}} Bill vmeet: θ: pst INFLv INFLv [gray]
WS 5: { {meetθ: and , Bill},{varrive: pst , {arriveθ , John}}} John vmeet: θ: pst INFLv INFLv
WS 6: { { {meetθ: and , Bill},{varrive: pst , {arriveθ , John}}} ,vmeet: θ: pst } John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ , John} Bill meetθ: and vmeet: θ: pst INFLv varrive: pst INFLv
WS 2: {varrive: pst , {arriveθ , John}} Bill meetθ: and vmeet: θ: pst INFLv INFLv [gray]
WS 3: John {varrive: pst , {arriveθ , John}} Bill meetθ: and vmeet: θ: pst INFLv INFLv [gray]
WS 4: {meetθ: and , John} {varrive: pst , {arriveθ , John}} Bill vmeet: θ: pst INFLv INFLv [gray]
WS 5: { {meetθ: and , Bill},vmeet: θ: pst } John {varrive: pst , {arriveθ , John}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ , John} Bill meetθ: and vmeet: θ: pst INFLv varrive: pst INFLv
WS 2: {varrive: pst , {arriveθ , John}} Bill meetθ: and vmeet: θ: pst INFLv INFLv [gray]
WS 3: John {varrive: pst , {arriveθ , John}} Bill meetθ: and vmeet: θ: pst INFLv INFLv [gray]
WS 4: {meetθ: and , John} {varrive: pst , {arriveθ , John}} Bill vmeet: θ: pst INFLv INFLv [gray]
WS 5: { {varrive: pst , {arriveθ , John}},vmeet: θ: pst } {meetθ: and , Bill} John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ , John} Bill meetθ: and vmeet: θ: pst INFLv varrive: pst INFLv
WS 2: {varrive: pst , {arriveθ , John}} Bill meetθ: and vmeet: θ: pst INFLv INFLv [gray]
WS 3: John {varrive: pst , {arriveθ , John}} Bill meetθ: and vmeet: θ: pst INFLv INFLv [gray]
WS 4: {vmeet: θ: pst , meetθ: and } John {varrive: pst , {arriveθ , John}} Bill INFLv INFLv
WS fail: WS θS 1 < θR 2
WS 1: {arriveθ , John} Bill meetθ: and vmeet: θ: pst INFLv varrive: pst INFLv
WS 2: {varrive: pst , {arriveθ , John}} Bill meetθ: and vmeet: θ: pst INFLv INFLv [gray]
WS 3: John {varrive: pst , {arriveθ , John}} Bill meetθ: and vmeet: θ: pst INFLv INFLv [gray]
WS 4: {John, {INFLv , {varrive: pst , {arriveθ , John}}}} John Bill meetθ: and vmeet: θ: pst INFLv
WS 5: { meetθ: and ,vmeet: θ: pst } {John, {INFLv , {varrive: pst , {arriveθ , John}}}} John Bill INFLv
WS fail: WS θS 0 < θR 2
WS 1: {arriveθ , John} Bill meetθ: and vmeet: θ: pst INFLv varrive: pst INFLv
WS 2: {varrive: pst , {arriveθ , John}} Bill meetθ: and vmeet: θ: pst INFLv INFLv [gray]
WS 3: John {varrive: pst , {arriveθ , John}} Bill meetθ: and vmeet: θ: pst INFLv INFLv [gray]
WS 4: { {varrive: pst , {arriveθ , John}},meetθ: and } John Bill vmeet: θ: pst INFLv INFLv
WS fail: WS θS 1 < θR 2
WS 1: {arriveθ , John} Bill meetθ: and vmeet: θ: pst INFLv varrive: pst INFLv
WS 2: {varrive: pst , {arriveθ , John}} Bill meetθ: and vmeet: θ: pst INFLv INFLv [gray]
WS 3: John {varrive: pst , {arriveθ , John}} Bill meetθ: and vmeet: θ: pst INFLv INFLv [gray]
WS 4: { meetθ: and ,vmeet: θ: pst } John {varrive: pst , {arriveθ , John}} Bill INFLv INFLv
WS fail: WS θS 0 < θR 2
WS 1: {arriveθ , John} Bill meetθ: and vmeet: θ: pst INFLv varrive: pst INFLv
WS 2: {varrive: pst , {arriveθ , John}} Bill meetθ: and vmeet: θ: pst INFLv INFLv [gray]
WS 3: {meetθ: and , Bill} {varrive: pst , {arriveθ , John}} vmeet: θ: pst INFLv INFLv
WS 4: Bill {meetθ: and , Bill} {varrive: pst , {arriveθ , John}} vmeet: θ: pst INFLv INFLv
WS 5: { {meetθ: and , Bill},{varrive: pst , {arriveθ , John}}} Bill vmeet: θ: pst INFLv INFLv
WS 6: { { {meetθ: and , Bill},{varrive: pst , {arriveθ , John}}} ,vmeet: θ: pst } Bill INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ , John} Bill meetθ: and vmeet: θ: pst INFLv varrive: pst INFLv
WS 2: {varrive: pst , {arriveθ , John}} Bill meetθ: and vmeet: θ: pst INFLv INFLv [gray]
WS 3: John {varrive: pst , {arriveθ , John}} Bill meetθ: and vmeet: θ: pst INFLv INFLv [gray]
WS 4: Bill {meetθ: and , Bill} {varrive: pst , {arriveθ , John}} vmeet: θ: pst INFLv INFLv [gray]
WS 5: { {meetθ: and , Bill},vmeet: θ: pst } Bill {varrive: pst , {arriveθ , John}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ , John} Bill meetθ: and vmeet: θ: pst INFLv varrive: pst INFLv
WS 2: {varrive: pst , {arriveθ , John}} Bill meetθ: and vmeet: θ: pst INFLv INFLv [gray]
WS 3: John {varrive: pst , {arriveθ , John}} Bill meetθ: and vmeet: θ: pst INFLv INFLv [gray]
WS 4: Bill {meetθ: and , Bill} {varrive: pst , {arriveθ , John}} vmeet: θ: pst INFLv INFLv [gray]
WS 5: { {varrive: pst , {arriveθ , John}},vmeet: θ: pst } Bill {meetθ: and , Bill} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ , John} Bill meetθ: and vmeet: θ: pst INFLv varrive: pst INFLv
WS 2: {varrive: pst , {arriveθ , John}} Bill meetθ: and vmeet: θ: pst INFLv INFLv [gray]
WS 3: John {varrive: pst , {arriveθ , John}} Bill meetθ: and vmeet: θ: pst INFLv INFLv [gray]
WS 4: John {meetθ: and , Bill} {varrive: pst , {arriveθ , John}} vmeet: θ: pst INFLv INFLv
WS 5: { {meetθ: and , Bill},{varrive: pst , {arriveθ , John}}} John vmeet: θ: pst INFLv INFLv
WS 6: { { {meetθ: and , Bill},{varrive: pst , {arriveθ , John}}} ,vmeet: θ: pst } John INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ , John} Bill meetθ: and vmeet: θ: pst INFLv varrive: pst INFLv
WS 2: {varrive: pst , {arriveθ , John}} Bill meetθ: and vmeet: θ: pst INFLv INFLv [gray]
WS 3: John {varrive: pst , {arriveθ , John}} Bill meetθ: and vmeet: θ: pst INFLv INFLv [gray]
WS 4: Bill {meetθ: and , Bill} {varrive: pst , {arriveθ , John}} vmeet: θ: pst INFLv INFLv [gray]
WS 5: { {meetθ: and , Bill},vmeet: θ: pst } John {varrive: pst , {arriveθ , John}} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ , John} Bill meetθ: and vmeet: θ: pst INFLv varrive: pst INFLv
WS 2: {varrive: pst , {arriveθ , John}} Bill meetθ: and vmeet: θ: pst INFLv INFLv [gray]
WS 3: John {varrive: pst , {arriveθ , John}} Bill meetθ: and vmeet: θ: pst INFLv INFLv [gray]
WS 4: Bill {meetθ: and , Bill} {varrive: pst , {arriveθ , John}} vmeet: θ: pst INFLv INFLv [gray]
WS 5: { {varrive: pst , {arriveθ , John}},vmeet: θ: pst } John {meetθ: and , Bill} INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {arriveθ , John} Bill meetθ: and vmeet: θ: pst INFLv varrive: pst INFLv
WS 2: {varrive: pst , {arriveθ , John}} Bill meetθ: and vmeet: θ: pst INFLv INFLv [gray]
WS 3: {vmeet: θ: pst , meetθ: and } {varrive: pst , {arriveθ , John}} Bill INFLv INFLv
WS 1: {arriveθ , John} Bill meetθ: and vmeet: θ: pst INFLv varrive: pst INFLv
WS 2: {varrive: pst , {arriveθ , John}} Bill meetθ: and vmeet: θ: pst INFLv INFLv [gray]
WS 3: {John, {INFLv , {varrive: pst , {arriveθ , John}}}} Bill meetθ: and vmeet: θ: pst INFLv
WS 1: {vmeet: θ: pst , meetθ: and } Bill INFLv arriveθ varrive: pst INFLv John
WS 2: { arriveθ ,varrive: pst } {vmeet: θ: pst , meetθ: and } Bill INFLv INFLv John
WS fail: WS θS 1 < θR 2
WS 1: {varrive: pst , arriveθ } Bill meetθ: and vmeet: θ: pst INFLv INFLv John
WS 2: {meetθ: and , Bill} {varrive: pst , arriveθ } vmeet: θ: pst INFLv INFLv John
WS 3: {vmeet: θ: pst , {meetθ: and , Bill}} {varrive: pst , arriveθ } INFLv INFLv John
WS 4: {John, {vmeet: θ: pst , {meetθ: and , Bill}}} {varrive: pst , arriveθ } INFLv INFLv
WS 5: {John, {INFLv , {John, {vmeet: θ: pst , {meetθ: and , Bill}}}}} {varrive: pst , arriveθ } INFLv
WS 1: {varrive: pst , arriveθ } Bill meetθ: and vmeet: θ: pst INFLv INFLv John
WS 2: {meetθ: and , Bill} {varrive: pst , arriveθ } vmeet: θ: pst INFLv INFLv John [gray]
WS 3: {vmeet: θ: pst , {meetθ: and , Bill}} {varrive: pst , arriveθ } INFLv INFLv John [gray]
WS 4: {John, {vmeet: θ: pst , {meetθ: and , Bill}}} {varrive: pst , arriveθ } INFLv INFLv [gray]
WS 5: { {John, {vmeet: θ: pst , {meetθ: and , Bill}}},{varrive: pst , arriveθ }} INFLv INFLv
WS 1: {varrive: pst , arriveθ } Bill meetθ: and vmeet: θ: pst INFLv INFLv John
WS 2: {meetθ: and , Bill} {varrive: pst , arriveθ } vmeet: θ: pst INFLv INFLv John [gray]
WS 3: { {meetθ: and , Bill},{varrive: pst , arriveθ }} vmeet: θ: pst INFLv INFLv John
WS 4: { { {meetθ: and , Bill},{varrive: pst , arriveθ }} ,vmeet: θ: pst } INFLv INFLv John
WS fail: WS θS 0 < θR 1
WS 1: {varrive: pst , arriveθ } Bill meetθ: and vmeet: θ: pst INFLv INFLv John
WS 2: {meetθ: and , Bill} {varrive: pst , arriveθ } vmeet: θ: pst INFLv INFLv John [gray]
WS 3: { {meetθ: and , Bill},vmeet: θ: pst } {varrive: pst , arriveθ } INFLv INFLv John
WS fail: WS θS 0 < θR 1
WS 1: {varrive: pst , arriveθ } Bill meetθ: and vmeet: θ: pst INFLv INFLv John
WS 2: {meetθ: and , Bill} {varrive: pst , arriveθ } vmeet: θ: pst INFLv INFLv John [gray]
WS 3: { {varrive: pst , arriveθ },vmeet: θ: pst } {meetθ: and , Bill} INFLv INFLv John
WS fail: WS θS 0 < θR 1
WS 1: {varrive: pst , arriveθ } Bill meetθ: and vmeet: θ: pst INFLv INFLv John
WS 2: {meetθ: and , John} {varrive: pst , arriveθ } Bill vmeet: θ: pst INFLv INFLv
WS 3: {vmeet: θ: pst , {meetθ: and , John}} {varrive: pst , arriveθ } Bill INFLv INFLv
WS 4: {Bill, {vmeet: θ: pst , {meetθ: and , John}}} {varrive: pst , arriveθ } INFLv INFLv
WS 5: {Bill, {INFLv , {Bill, {vmeet: θ: pst , {meetθ: and , John}}}}} {varrive: pst , arriveθ } INFLv
WS 1: {varrive: pst , arriveθ } Bill meetθ: and vmeet: θ: pst INFLv INFLv John
WS 2: {meetθ: and , Bill} {varrive: pst , arriveθ } vmeet: θ: pst INFLv INFLv John [gray]
WS 3: {vmeet: θ: pst , {meetθ: and , John}} {varrive: pst , arriveθ } Bill INFLv INFLv [gray]
WS 4: {Bill, {vmeet: θ: pst , {meetθ: and , John}}} {varrive: pst , arriveθ } INFLv INFLv [gray]
WS 5: { {Bill, {vmeet: θ: pst , {meetθ: and , John}}},{varrive: pst , arriveθ }} INFLv INFLv
WS 1: {varrive: pst , arriveθ } Bill meetθ: and vmeet: θ: pst INFLv INFLv John
WS 2: {meetθ: and , Bill} {varrive: pst , arriveθ } vmeet: θ: pst INFLv INFLv John [gray]
WS 3: { {meetθ: and , John},{varrive: pst , arriveθ }} Bill vmeet: θ: pst INFLv INFLv
WS 4: { { {meetθ: and , John},{varrive: pst , arriveθ }} ,vmeet: θ: pst } Bill INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {varrive: pst , arriveθ } Bill meetθ: and vmeet: θ: pst INFLv INFLv John
WS 2: {meetθ: and , Bill} {varrive: pst , arriveθ } vmeet: θ: pst INFLv INFLv John [gray]
WS 3: { {meetθ: and , John},vmeet: θ: pst } {varrive: pst , arriveθ } Bill INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {varrive: pst , arriveθ } Bill meetθ: and vmeet: θ: pst INFLv INFLv John
WS 2: {meetθ: and , Bill} {varrive: pst , arriveθ } vmeet: θ: pst INFLv INFLv John [gray]
WS 3: { {varrive: pst , arriveθ },vmeet: θ: pst } {meetθ: and , John} Bill INFLv INFLv
WS fail: WS θS 0 < θR 1
WS 1: {varrive: pst , arriveθ } Bill meetθ: and vmeet: θ: pst INFLv INFLv John
WS 2: {vmeet: θ: pst , meetθ: and } {varrive: pst , arriveθ } Bill INFLv INFLv John
WS fail: WS θS 1 < θR 2
WS 1: {varrive: pst , arriveθ } Bill meetθ: and vmeet: θ: pst INFLv INFLv John
WS 2: { {varrive: pst , arriveθ },meetθ: and } Bill vmeet: θ: pst INFLv INFLv John
WS fail: WS θS 1 < θR 2
WS 1: {varrive: pst , arriveθ } Bill meetθ: and vmeet: θ: pst INFLv INFLv John
WS 2: { meetθ: and ,vmeet: θ: pst } {varrive: pst , arriveθ } Bill INFLv INFLv John
WS fail: WS θS 0 < θR 2