[01:23:48] *** Joins: e3928a3bc (b3d22d16@gateway/web/freenode/ip.179.210.45.22) [05:04:36] *** Joins: drbean_ (~drbean@TC210-63-209-154.static.apol.com.tw) [05:05:25] *** Quits: drbean (~drbean@TC210-63-209-23.static.apol.com.tw) (Read error: Connection reset by peer) [05:12:49] *** Quits: e3928a3bc (b3d22d16@gateway/web/freenode/ip.179.210.45.22) () [07:06:51] For a VPSlash in a non-finite relative clause, eg "the thing to do", infVP was what I was looking for. [07:09:28] EmptyRelVPSlash : Ant -> Pol -> VPSlash -> RS; [07:11:08] EmptyRelVPSlash a p vpslash = { s = \\ag => ResEng.infVP VVInf vpslash a.a p.p ag ; c = NPAcc }; [10:38:14] *** Joins: proteusguy (~proteus-g@180.183.133.242) [10:59:14] vin-ivar, esg, anyone else interested: now I'm getting serious about the unofficial GF summer school again :-D so like right after ESSLLI (end of august) at kristian's place, you still in? [15:37:58] *** Quits: proteusguy (~proteus-g@180.183.133.242) (Ping timeout: 256 seconds) [16:06:20] *** Joins: e3928a3bc (uid302941@gateway/web/irccloud.com/x-elmbgiywnrlmnnax) [16:06:48] *** Quits: e3928a3bc (uid302941@gateway/web/irccloud.com/x-elmbgiywnrlmnnax) (Client Quit) [16:07:05] *** Joins: e3928a3bc (uid302941@gateway/web/irccloud.com/x-wobawntmzzfzallz) [16:07:16] *** Joins: proteusguy (~proteus-g@cm-134-196-84-135.revip18.asianet.co.th) [16:08:14] *** Quits: e3928a3bc (uid302941@gateway/web/irccloud.com/x-wobawntmzzfzallz) (Client Quit) [16:08:32] *** Joins: e3928a3bc (uid302941@gateway/web/irccloud.com/x-vhtgmzunfgbuoshr) [16:09:13] *** Quits: e3928a3bc (uid302941@gateway/web/irccloud.com/x-vhtgmzunfgbuoshr) (Client Quit) [16:09:40] *** Joins: e3928a3bc (uid302941@gateway/web/irccloud.com/x-guduoeoqecbruhel) [18:13:57] *** Quits: proteusguy (~proteus-g@cm-134-196-84-135.revip18.asianet.co.th) (Ping timeout: 240 seconds) [18:26:47] *** Joins: proteusguy (~proteus-g@cm-134-196-84-135.revip18.asianet.co.th) [23:24:33] *** Quits: jbalint (~jbalint@unaffiliated/jbalint) (Ping timeout: 248 seconds) [23:28:39] *** Joins: jbalint (~jbalint@71-90-85-113.dhcp.ftbg.wi.charter.com) [23:28:39] *** Quits: jbalint (~jbalint@71-90-85-113.dhcp.ftbg.wi.charter.com) (Changing host) [23:28:39] *** Joins: jbalint (~jbalint@unaffiliated/jbalint)