[00:28:18] *** Joins: JuanDaugherty (~juan@user/JuanDaugherty)
[00:59:41] *** Quits: JuanDaugherty (~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
[07:38:35] *** Joins: JuanDaugherty (~juan@user/JuanDaugherty)
[08:40:21] *** Quits: JuanDaugherty (~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
[13:57:52] *** Joins: Der_Holo (~Der_Holo@2001:4090:a246:80c2:7b46:d4dd:c6b5:b4ab)
[13:58:16] <Der_Holo> Hello everyone! *wink*
[14:00:32] <Der_Holo> I want to work on an extension of GF to model sentences with mixed-language utterance (Like Denglish, or informal mathematics with formulas).
[14:00:42] <Der_Holo> Does anyone know if this has been done before?
[14:12:11] *** Joins: JuanDaugherty (~juan@user/JuanDaugherty)
[14:24:56] <Der_Holo> Hi Juan
[14:34:31] <JuanDaugherty> yello Der_Holo 
[14:34:56] <Der_Holo> Can I ask a question about GF here?
[14:35:41] <JuanDaugherty> obviously but i'm not one of its developers, the only nick i recognize as such is daherb
[14:35:51] <JuanDaugherty> i will try tho, so shoot
[14:36:07] <Der_Holo> rhetorical question :D tyty
[14:36:20] <Der_Holo> I want to work on an extension of GF to model sentences with mixed-language utterance (Like Denglish, or informal mathematics with formulas).
[14:36:45] <Der_Holo> Using it similar than Naproche does, but for LF/MMT
[14:37:02] <Der_Holo> And having a modular controlled mathematical language.
[14:37:12] <JuanDaugherty> was LF logical form?
[14:37:34] <Der_Holo> Edinburgh Logical Framework
[14:37:40] <JuanDaugherty> i c
[14:38:00] <Der_Holo> Do you know a GF-framework for mixed-language utterance?
[14:38:15] <JuanDaugherty> ofc GF is meant to be natual lang independent
[14:38:47] <Der_Holo> ya
[14:38:54] <JuanDaugherty> as far as mixing langs i dunno, i kinda doubt it
[14:39:45] <Der_Holo> Thanks a lot!
[14:40:12] <Der_Holo> My name is Christian Schöner, I'm a Ph.D. student of Prof. Michael Kohlhase from University Erlangen, Germany.
[14:40:36] <Der_Holo> He told me to ask the mailing list this question.
[14:40:52] <JuanDaugherty> sounds ill conceived relative to the way things generally work and would imagine you'd have to approach from the main lang with any externals used as idioms or expressions or whatever
[14:40:54] <Der_Holo> Any advice, whom or where to ask to get full confirmation?
[14:41:04] <Der_Holo> Or are you 99% sure it hasn't been done?
[14:41:05] <JuanDaugherty> and ofc it matters how closesly related the langs are
[14:41:35] <JuanDaugherty> i am 99% sure you can find something in the literature about it, not GF specific ofc
[14:42:11] <JuanDaugherty> as i said daherb is the most authoritative nick i see now
[14:42:33] <Der_Holo> Example: If you have a fraction, and want to use a GF expression in the denominator, you maybe don't want to hand over the fraction all-in-one.
[14:42:39] <JuanDaugherty> thaere innarikistic (sic) who was even more so but i haven seen her here lately
[14:43:01] <Der_Holo> Therefore I came up with the impression, that you really have to consider mixed-language sentences that can have
[14:44:04] <JuanDaugherty> hang around it's obviously a low activity channel and I can't be more use, sorry
[14:45:02] <Der_Holo> Thank you very much! Bye
[14:45:55] *** Quits: Der_Holo (~Der_Holo@2001:4090:a246:80c2:7b46:d4dd:c6b5:b4ab) (Quit: Client closed)
[14:46:02] <JuanDaugherty> also this is irc not the ...
[14:46:05] <JuanDaugherty> oh well
[16:04:48] *** Quits: JuanDaugherty (~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
[19:51:35] *** Joins: JuanDaugherty (~juan@user/JuanDaugherty)
[20:18:49] *** Quits: JuanDaugherty (~juan@user/JuanDaugherty) (Ping timeout: 244 seconds)
[20:24:54] *** Joins: JuanDaugherty (~juan@user/JuanDaugherty)
[20:40:51] *** Quits: JuanDaugherty (~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
[23:31:46] *** Joins: JuanDaugherty (~juan@user/JuanDaugherty)
[23:50:53] *** Quits: JuanDaugherty (~juan@user/JuanDaugherty) (Quit: JuanDaugherty)