[05:45:57] *** Quits: Eidel (~eidel@c83-249-247-253.bredband.comhem.se) (Ping timeout: 240 seconds) [05:46:50] *** Joins: Eidel (~eidel@c83-249-247-253.bredband.comhem.se) [10:03:57] *** Quits: jmvanel (~jmvanel@175.0.88.79.rev.sfr.net) (Ping timeout: 240 seconds) [10:15:57] *** Quits: spectie (~fran@unaffiliated/spectie) (Ping timeout: 240 seconds) [10:34:26] *** Joins: spectie (~fran@unaffiliated/spectie) [10:41:37] *** Quits: spectie (~fran@unaffiliated/spectie) (Ping timeout: 250 seconds) [10:41:59] *** Joins: spectie (~fran@unaffiliated/spectie) [10:44:12] *** Joins: jmvanel (~jmvanel@78.193.21.40) [10:53:43] *** Joins: chru (~christina@2001:638:504:2099:480:4a70:8be9:fcc1) [10:59:07] hi. i have a quick question: using "conditionalTense" gives sentences like "this would happen". is there are also a way to build sentences like "this could happen" or "this might happen"? [10:59:36] inariksit, [11:00:56] hmm not as far as I remember, I just usually parse the sentence and see what it has eaten :-P [11:00:59] PhrUtt NoPConj (UttS (PredVPS (DetNP (DetQuant this_Quant NumSg)) (MkVPS (TTAnt TPast ASimul) PPos (ComplVV can_VV ASimul PPos (UseV happen_V))))) NoVoc [11:01:21] ASimul ? [11:01:27] simultaneous [11:01:34] o_O [11:01:41] what's that for ? [11:03:11] the other option is anterior [11:03:14] so it's like this: [11:03:24] gt PhrUtt NoPConj (UttS (PredVPS (DetNP (DetQuant this_Quant NumSg)) (MkVPS (TTAnt TPast ?) PPos (ComplVV can_VV ? PPos (UseV happen_V))))) NoVoc | l [11:03:28] this could happen [11:03:30] this could have happened [11:03:33] this had been able to happen [11:03:35] this had been able to have happened [11:03:38] the question marks are where ASimul or AAnter would go [11:04:45] ah [11:05:09] and for instance the TPast can be replaced with past, future and conditional (don't ask why conditional is in tense and not mood :-P) [11:05:12] gt PhrUtt NoPConj (UttS (PredVPS (DetNP (DetQuant this_Quant NumSg)) (MkVPS (TTAnt ? ASimul) PPos (ComplVV can_VV ASimul PPos (UseV happen_V))))) NoVoc | l [11:05:15] this can happen [11:05:17] this could happen [11:05:20] this will be able to happen [11:05:23] this would be able to happen [11:06:15] this might should be able to happen [11:07:10] ok, now i see how to do this. thanks! [11:07:12] :P [11:07:13] mkPhr ( mkUtt ( mkS pastTense ( mkCl ( mkNP ( mkDet this_Quant ) ) can8know_VV ( mkVP happen_V ) ) ) ) [11:07:27] that's the api version [11:07:54] chru: this is also a nice cheat, http://cloud.grammaticalframework.org/minibar/minibar.html LibraryBrowser.pgf [11:08:05] it gives the abstract syntax tree and the API version [11:08:46] (whoops not can8know_VV but the other can, I just copypasted there :D) [11:08:53] *from there [11:11:19] well, very cool :) [11:50:32] now i have another strange effect in the shell: what could be the reason if i parse a sentence and get a bunch of parse results, but then when linearizing one of the parse results, i don't get the sentence (but only an empty string)? [11:57:09] I get the same too sometimes, mostly for other languages than english [11:57:15] are there ?s in the trees? [11:58:05] no, they're fully specified [11:58:24] i have this for dutch [11:59:03] can you paste the tree? [11:59:29] trees* [12:00:41] chru: doesn't seem like it, but just to make sure, are you planning on changing anything in the Dutch dictionaries any soon? [12:01:02] no, i'm not touching the resource grammar [12:01:19] inariksit: for example: say (plain (predict (apply1 asa_Departure (existential_closure asa_Departure xsd_integer asa_DepDelay) (The asa_Departure (class2predicate asa_Departure))))) [12:01:26] with dependent types, of course, as always ;) [12:01:30] ^^ [12:02:02] cool, just wanted to make sure :) [12:02:40] are you planning to work on it? [12:02:41] I'm going to lunch now, I can ask aarne again if he knows a reason for that [12:02:49] ok, no worries [12:03:09] yeah [12:03:27] excellent! [12:04:17] I'm very slow though ;) [12:14:44] chru: could you give me an explanation of a V2V in Dutch? [12:14:52] or example [12:20:21] "laten" maybe? ("ik laat hem lezen", "ik laat me bang maken") [12:20:34] but you should ask a native speaker, my dutch is really not that good [12:27:03] I am a native speaker, but I find it difficult to come up with examples... would it still be V2V if the sentence is in present perfect? [12:27:35] ah, sorry [12:29:37] and no idea. is "laten" actually a V2V? looks like it... [12:29:50] does look like it, yeah [12:34:46] should also work with "zien", or not? ("ik zie hem lezen") [12:35:28] yes indeed [12:36:44] and "horen" analogously, of course ("ik hoor hem komen") [12:36:48] I was wondering about "ik heb het boek gelezen", I take "gelezen" would count as a V there, but it's clearly not the same thing as the other examples [12:37:51] yes, it's just the a participle of a V2, right? [12:40:32] Right. I guess so. [12:51:23] *** Parts: chru (~christina@2001:638:504:2099:480:4a70:8be9:fcc1) () [13:11:56] *** Joins: AndChat116025 (~AndChat11@m83-185-229-126.cust.tele2.se) [13:26:27] *** Joins: AndChat|116025 (~AndChat11@dhcp-182057.eduroam.chalmers.se) [13:26:29] *** Quits: AndChat116025 (~AndChat11@m83-185-229-126.cust.tele2.se) (Read error: Connection reset by peer) [13:27:45] *** Joins: AndChat116025 (~AndChat11@dhcp-182057.eduroam.chalmers.se) [13:27:45] *** Quits: AndChat|116025 (~AndChat11@dhcp-182057.eduroam.chalmers.se) (Read error: Connection reset by peer) [13:49:44] *** Joins: AndChat|116025 (~AndChat11@dhcp-182057.eduroam.chalmers.se) [13:49:44] *** Quits: AndChat116025 (~AndChat11@dhcp-182057.eduroam.chalmers.se) (Read error: Connection reset by peer) [15:05:37] inariksit: still around? [15:29:55] MasX: I'm in a meeting [15:31:35] okay, I'll try again later :) [15:49:48] *** Joins: AndChat116025 (~AndChat11@dhcp-182057.eduroam.chalmers.se) [15:49:48] *** Quits: AndChat|116025 (~AndChat11@dhcp-182057.eduroam.chalmers.se) (Read error: Connection reset by peer) [16:09:41] *** Joins: AndChat|116025 (~AndChat11@dhcp-182057.eduroam.chalmers.se) [16:09:41] *** Quits: AndChat116025 (~AndChat11@dhcp-182057.eduroam.chalmers.se) (Read error: Connection reset by peer) [16:22:35] *** Joins: AndChat116025 (~AndChat11@dhcp-182057.eduroam.chalmers.se) [16:22:35] *** Quits: AndChat|116025 (~AndChat11@dhcp-182057.eduroam.chalmers.se) (Read error: Connection reset by peer) [16:22:48] MasX: ok I'm here! [16:23:25] wb inariksit ! [16:23:42] *** Joins: AndChat|116025 (~AndChat11@m90-133-241-172.cust.tele2.se) [16:23:47] hi aarne! [16:23:59] AndChat|116025 is aarne, we taught him to use irc at lunch :-D [16:24:26] next lesson: changing nick [16:24:46] and using irc on actual computer [16:25:13] jstar: did we agree which one publishes the logs? [16:25:32] erm if it's easy for you then please take care of it [16:25:35] so we also talked about publishing the logs of this channel [16:25:37] okay [16:25:50] I don't even know where mine are stored (though it cna't be that difficult to find) [16:25:54] I wonder where they should go [16:26:10] as in where on gf.org [16:26:27] I just have a /home/inari/irclogs/freenode/ [16:26:34] or any server I'm using [16:26:40] irssi creates that automatically [16:27:05] *** Quits: AndChat116025 (~AndChat11@dhcp-182057.eduroam.chalmers.se) (Ping timeout: 258 seconds) [16:27:20] hello arrne! [16:27:23] oh, i missed him >__> [16:27:58] ok I found mine too [16:27:58] I think his phone just automatically connects and most of the time he's not even looking :P [16:28:06] seems I have one per day [16:28:17] sounds complicated [16:28:40] we should get some bot that automatically updates the logs every day or week [16:28:47] spectie: any chance begiak does that? :-P [16:29:05] yeah and it should run on the gf server [16:29:22] I thought i looked for that once but never found a quick and easy solution [16:29:31] yeah, I started just googling that [16:29:46] I'll ask around [16:30:24] inariksit, hmm, tino does it [16:30:28] :) [16:30:37] you can invite him in and he will log your channel [16:30:45] TinoDidriksen? [16:31:05] would it be possible to publish the logs on grammaticalframework.org? [16:34:04] *** Joins: TinoDidriksen (~TinoDidri@alpha.visl.sdu.dk) [16:34:16] TinoDidriksen? [16:34:16] ? [16:34:16] would it be possible to publish the logs on grammaticalframework.org? [16:34:49] What logs? [16:34:53] hey TinoDidriksen, I was asking good ways to publish irc logs, and spectie said you do that [16:34:58] Ooh [16:36:01] aarne suggested today that #gf logs should be made public (although this is pretty silent channel :D), and we were thinking about solutions, ideally some bot/automated thing that publishes every day or week in grammaticalframework.org/something/irclogs.html [16:36:10] or something like that [16:36:51] Well, my setup is quite simple. I just have my ZNC log everything and then cronjob run pisg every night. [16:37:13] inariksit, you could set up a cronjob to wget the files from tino's server to grammaticalframework.org [16:37:34] I already have ZNC logs myself so maybe we don't need to hassle TinoDidriksen to do it for us [16:37:45] plus this also regquries shell access to the GF server [16:37:58] which he presumably doesn't have anyway [16:38:00] If you're already logging, that sounds ideal. [16:38:08] yeah, maybe TinoDidriksen can just be our consultant for this question :-D [16:38:13] :) [16:38:14] I too have irssi logs [16:39:55] TinoDidriksen: if you have some script, could you give us that, and then we can modify it to our needs? [16:39:58] http://alpha.visl.sdu.dk/~tino/pisg-gen.sh.txt is my very silly nightly script. [16:40:03] thanks! [16:40:36] You'll want the cache dir to persist. [16:41:57] there's also some fancier solutions like this http://irclogger.com/ [16:41:59] Oh, and the /etc/pisg.cfg that I have http://alpha.visl.sdu.dk/~tino/pisg.cfg.txt which was started to keep track of spectie, and barely expanded since. [16:42:15] Yeah, there's lots of IRC log parsers. [16:42:34] BAM http://www.grammaticalframework.org/irc/ [16:43:09] that was jsut a quick and dirty scp [16:43:22] we certanly need something a bit better, ideally with some kind of interface [16:43:28] haha, so many days with nothing but join/quit [16:43:33] I know :P [16:43:36] the irclogger.com looks really nice [16:43:49] I gotta run, feel free to mess with that dir as much as you want irc [16:43:55] * inariksit [16:44:01] ok! [16:44:03] :D [16:44:06] "irc" [16:44:11] lol i know [16:46:59] TinoDidriksen: thanks for sharing your scripts! I looked at the output, so that's also daily logs; we (aarne?) would probably want to go for the fancier interface, but at least it's good to have that as a backup plan [16:59:42] *** Parts: TinoDidriksen (~TinoDidri@alpha.visl.sdu.dk) () [17:07:45] *** Joins: AndChat116025 (~AndChat11@1-1-5-40a.goe.gbg.bostream.se) [17:08:04] *** Quits: AndChat116025 (~AndChat11@1-1-5-40a.goe.gbg.bostream.se) (Client Quit) [17:10:08] *** Quits: AndChat|116025 (~AndChat11@m90-133-241-172.cust.tele2.se) (Ping timeout: 252 seconds) [17:22:08] *** Quits: spectie (~fran@unaffiliated/spectie) (Ping timeout: 255 seconds) [17:55:23] *** Joins: spectie (~fran@unaffiliated/spectie) [20:01:04] *** Joins: myoriel (~Myoriel@aftr-88-217-180-162.dynamic.mnet-online.de) [20:27:05] *** Quits: jmvanel (~jmvanel@78.193.21.40) (Ping timeout: 255 seconds) [21:11:42] *** Joins: jmvanel (~jmvanel@175.0.88.79.rev.sfr.net) [23:06:45] *** Quits: myoriel (~Myoriel@aftr-88-217-180-162.dynamic.mnet-online.de) (Ping timeout: 240 seconds)