[To the tune of U2’s “With or Without You”]<\/p>\n
Leave the scope underspecified
\nLet the ARG resolve to i
\nI scope for you<\/p>\n
Labeled rels and all of that
\nIn a bag of preds are nice and flat
\nAnd I scope without you<\/p>\n
With or without q
\nWith or without q<\/p>\n
Through hcons we lost qstore
\nIs one scope all? No I find more
\nAnd I’m scoping for you<\/p>\n
With or without q
\nWith or without q
\nI can’t scope
\nWith or without q<\/p>\n
It’s ambiguous that way
\nIt’s ambiguous that way
\nQ-E-Q
\nQ-E-Q
\nIt’s ambiguous that way<\/p>\n
My x unbound
\nMy labels loose; you’ve got me with
\nNo way to scope and
\nNothing left to prove<\/p>\n
It’s ambiguous that way
\nIt’s ambiguous that way
\nQ-E-Q
\nQ-E-Q
\nIt’s ambiguous that way<\/p>\n
With or without q
\nWith or without q
\nI can’t scope
\nWith or without q<\/p>\n
With or without q
\nWith or without q
\nI can’t scope
\nWith or without q
\nWith or without q<\/p>\n","protected":false},"excerpt":{"rendered":"