[02:33:19] *** Quits: doppioslash (sid76291@gateway/web/irccloud.com/x-lkmwnxhuzqscucpr) (Read error: Connection reset by peer) [02:34:44] *** Quits: spectre (~fran@dyj9p0yyyyyyyyyyyyyct-3.rev.dnainternet.fi) (Ping timeout: 246 seconds) [02:39:11] *** Joins: spectre (~fran@dyj9p0yyyyyyyyyyyyyct-3.rev.dnainternet.fi) [02:43:18] *** Joins: doppioslash (sid76291@gateway/web/irccloud.com/x-gbdcaerzebeobxhh) [04:22:55] *** Quits: spectre (~fran@dyj9p0yyyyyyyyyyyyyct-3.rev.dnainternet.fi) (Ping timeout: 240 seconds) [05:17:59] *** Joins: spectre (~fran@212.213.198.101) [05:30:24] *** Joins: jstar (~jstar@unaffiliated/jstar) [06:22:29] *** Quits: spectre (~fran@212.213.198.101) (Ping timeout: 244 seconds) [07:11:06] *** Quits: drbean (~drbean@124.219.82.119) (Ping timeout: 240 seconds) [07:14:22] *** Joins: drbean (~drbean@124.219.83.115) [08:15:46] *** Quits: drbean (~drbean@124.219.83.115) (Quit: ZNC - http://znc.in) [08:15:49] *** Quits: ppnkk (~pepijn@ksit.fixme.fi) (Remote host closed the connection) [08:16:41] *** Joins: drbean (~drbean@124.219.82.101) [08:20:53] *** Joins: ppnkk (~pepijn@ksit.fixme.fi) [08:21:04] *** Joins: rtb (~smuxi@95.91.220.134) [08:29:16] *** Joins: spectre (~fran@195.69.7.6) [09:10:08] *** Quits: rtb (~smuxi@95.91.220.134) (Ping timeout: 276 seconds) [09:18:30] *** Joins: rtb (~smuxi@95.91.220.134) [09:44:55] *** Quits: spectre (~fran@195.69.7.6) (Ping timeout: 240 seconds) [10:13:37] rtb: on your earlier comment about slash, are you familiar with categorial grammar? [10:20:13] *** Quits: drbean (~drbean@124.219.82.101) (Quit: ZNC - http://znc.in) [10:22:47] *** Joins: drbean (~drbean@124.219.82.58) [12:31:47] *** Joins: spectre (~fran@115.114.202.84.customer.cdi.no) [12:55:01] inariksit: thx for coming back on this; no, I'm not familiar, but I googled a bit and drbean also made a comment; so, I think, I know now, for some kind of category, you may build a Slash-category from it by not using argument categories of the original category. ?! [12:56:17] this I googled: https://books.google.de/books?hl=de&id=tprhBwAAQBAJ&q=slash#v=snippet&q=slash&f=false [13:02:12] in categorial grammar, you can present categories as "stuff that is missing stuff" [13:02:26] so, verb phrase that is missing a subject to become a sentence, would be [13:02:33] NP/S [13:02:35] or S\NP [13:02:46] also there is this weird fixation on word order :-P [13:02:55] (oops ppnkk is here :-D just trolling ^^) [13:03:12] anyway ok if we ignore the \ or /, we can just say [13:03:20] "VP is a sentence that is missing a subject" [13:03:39] and present it as S\NP, read "s slash np" [13:03:52] so that's where the name slash comes from [13:04:15] a single V is a S that is missing two NPs, so it would be (in SVO word order) [13:04:22] (NP\S)/NP [13:04:42] s/a single V/a single V2/ [13:05:10] if it's intransitive, then it doesn't need the object NP, so it's already NP\S or S/NP [13:10:31] wouldn't it be nice to differ between / (read "slash") and \ (read "backslash")? [14:51:18] *** Quits: rtb (~smuxi@95.91.220.134) (Remote host closed the connection) [14:57:22] rtb: if it's just about word order, GF abstract syntax abstracts away from it [14:58:21] (I saw rtb quit, but just typed this to remember to answer later :-P [15:00:01] (inariksit: function argument goes under the slash, so (NP\S)/NP was correct, but NP/S and S\NP are weird types ^^) [15:00:21] *** Joins: rtb (~smuxi@95.91.220.134) [15:00:47] just to mention, \ and / are usually read "under" and "over", respectively [15:01:12] has a nicer ring to it than "slash" and "backslash" [15:02:22] (in categorial grammar, that is) [15:03:42] ppnkk: haha thanks, yeah I don't really talk about catgram IRL that often :-D and I guess telling that "/" is pronounced "slash" was quite unnecessary comment [15:04:04] so rtb, if you have more questions, maybe ppnkk can answer better ^^ [15:51:47] oh, now it makes sense :) [15:53:18] something else: is there documentation (paper) about the wide coverage demo? [15:54:13] *** Joins: Gurkenglas (Gurkenglas@dslb-188-103-077-131.188.103.pools.vodafone-ip.de) [15:56:56] oh nevermind [17:58:19] *** Quits: rtb (~smuxi@95.91.220.134) (Ping timeout: 240 seconds) [18:00:30] *** Joins: rtb (~smuxi@95.91.220.134) [22:34:16] *** Quits: Flammie (~flammie@80.111.32.7) (Quit: reboot for 15.10) [22:53:46] *** Joins: Flammie (~flammie@80.111.32.7) [23:54:45] *** Quits: vin-ivar (~vinit-iva@ec2-52-11-218-213.us-west-2.compute.amazonaws.com) (Ping timeout: 265 seconds) [23:59:24] *** Joins: vin-ivar (~vinit-iva@ec2-52-11-218-213.us-west-2.compute.amazonaws.com)