[03:31:54] *** Parts: e3928a3bc (~user@2804:14d:5cd8:8447::3) ("ERC (IRC client for Emacs 25.2.1)") [03:55:16] *** Quits: Flammie (~flammie@sandbox.multilingua.uni-hamburg.de) (*.net *.split) [03:55:34] *** Joins: Flammie (~flammie@sandbox.multilingua.uni-hamburg.de) [05:30:05] *** Quits: mbrock (sid76765@gateway/web/irccloud.com/x-lvdtlldcknpwflom) (*.net *.split) [05:31:27] *** Joins: mbrock (sid76765@gateway/web/irccloud.com/x-nkhbuuvvlxkknylo) [07:30:25] *** Quits: drbean (~drbean@TC210-63-209-197.static.apol.com.tw) (Read error: Connection reset by peer) [07:38:36] *** Joins: drbean (~drbean@TC210-63-209-87.static.apol.com.tw) [10:03:45] *** Quits: proteus-guy (~proteusgu@14.207.87.202) (Ping timeout: 260 seconds) [10:03:56] *** Joins: proteus-guy (~proteusgu@180.183.53.108) [11:05:00] *** Joins: venicecat (caa61422@gateway/web/freenode/ip.202.166.20.34) [11:05:44] Hey inari, thanks for yesterday! [11:05:57] So so useful, i learned something new!:D [11:06:19] So, jamming Prep into Adv works now! [11:06:37] But that leads to another problem. [11:07:10] So, can i describe to you what i'm trying to do to confirm i'm roughly going along the right direction. [11:07:24] The sentence i'm trying to construct is: "Upon the customer order a monster burger" [11:07:42] Which looks like i could use mkS : Adv -> S -> S [11:08:00] Because it uses a preposition to start a sentence... and i can make a preposition through mkAdv: Prep -> NP -> Adv [11:08:16] This takes care of the construct of the prepositional phrase "Upon the customer..." [11:08:35] the whole "upon the customer order(ing?) a monster burger" sounds like a prepositional phrase [11:08:42] So now, i have to join it to "order a monster burger" somehow. [11:09:03] which leads me to use [11:09:12] [upon the customer [VP]], [the contract is valid] [11:09:13] mkS : mkCl -> S [11:09:33] But mkCl, there's no overload instance of a VP NP, which are ultimately the types for "order" and "a monster burger" respectively [11:09:44] If i turn "order" into a type NP, i can generate the sentence but it will not turn out right. [11:09:53] Here's the output: "Upon the customer order is the monster burger" [11:10:12] if "upon the customer" were an adverbial and "order the monster burger" were the clause, it would sound like an imperative [11:10:22] "upon the customer, order the monster burger!" [11:10:22] What else can i do to flip a VP NP into a CL [11:10:39] but it sounds like you need to make the whole "upon the customer order(ing) a monster burger" into an Adv [11:10:44] and then use it in another sentence [11:14:03] so in short, there's no way of making VP NP into a Cl; the closest there is is http://www.grammaticalframework.org/lib/doc/synopsis.html#Imp mkImp : V2 -> NP -> Imp "buy it!", but you don't want to use it in this case [11:14:55] maybe i can jam a NP V2 into the NP in mkAdv : Prep -> NP -> Adv [11:17:42] erm nope that doesn't work either [11:18:10] I think the way to go is to have a proper sentence of "customer orders the monster burger", and turning that into something like a SC, and getting an ing-form out of it [11:18:29] because the whole sentence "customer orders monster burger" is the complement to the "upon" [11:18:41] The Prep is ther to express temporal state space [11:19:21] ah i see [11:19:40] something like "upon the customer ordering the monster burger" [11:19:44] yes [11:19:58] for getting the ing-form, you could use EmbedPresPart : VP -> SC ; -- looking at Mary (is fun) [11:20:07] (that's in Extend) [11:20:25] I didn't find a function that gives an ing-form of a whole Cl or S [11:20:27] but let's see [11:20:29] But then the type of "upon" is still a prep right? [11:20:34] yes [11:20:53] and i can use that in complement structure? [11:21:21] I*m not sure if there is a function that does that at the moment, but it would make sense [11:21:25] I'll check Extensions and Extend [11:21:40] i ask because i don't recall seeing that [11:23:06] I parsed "after you loving me", and I get UttAdv (PrepNP after_Prep (AdvNP (UsePron youSg_Pron) (GerundAdv (ComplV2 love_V2 (UsePron i_Pron))) [11:23:21] which is not quite what I intend, but it should work for english [11:23:59] so 1) construct a VP out of order_V2 and "monster burger" [11:24:16] 2) construct an Adv out of that VP using GerundAdv [11:24:41] 3) construct an NP out of "the customer" + that Adv using AdvNP [11:24:54] 4) construct an Adv out of (mkPrep "upon") and that NP [11:25:44] ok! I'll give it a go [11:27:00] *** Joins: JuanDaugherty (~juan@98.4.124.117) [11:32:40] *** Quits: JuanDaugherty (~juan@98.4.124.117) (Quit: Ex Chat) [11:35:05] MonsterBurger> gr | l -treebank [11:35:05] MonsterBurger: TransitionStatement (Upon Customer Order MonsterBurger) Customer Order MonsterBurger [11:35:06] MonsterBurgerEng: upon the customer ordered the monster burger , the customer orders the monster burger [11:35:46] GerundAdv generates "ordered" instead of ordering, that's strange [11:35:53] but otherwise this seems to be kind of what you want? [11:35:57] I also added parameters to Upon [11:41:58] here's my suggestion: https://gist.github.com/inariksit/cbf2b6a24563afc89074fa3da4c68b60 [11:52:06] haha, I found the reason for "ordered" instead of "ordering"; GerundAdv is correct, but the problem is in https://github.com/GrammaticalFramework/GF/blob/master/lib/src/english/ParadigmsEng.gf#L516 [11:56:29] yep now it works: MonsterBurgerEng: upon the customer ordering the monster burger , the customer orders the monster burger [11:56:56] thanks, this helped me to find and fix a bug in RGL ^^ [12:17:10] *** Quits: venicecat (caa61422@gateway/web/freenode/ip.202.166.20.34) (Ping timeout: 260 seconds) [14:55:05] *** Quits: Flammie (~flammie@sandbox.multilingua.uni-hamburg.de) (Ping timeout: 276 seconds) [15:06:26] *** Joins: Flammie (~flammie@sandbox.multilingua.uni-hamburg.de) [17:07:15] *** Joins: JuanDaugherty (~juan@98.4.124.117) [19:03:54] *** Joins: e3928a3bc (~user@189.125.124.24) [19:04:16] hello ! [19:04:56] inariksit: I was wondering about that issue from the other day... could it be that the C runtime doesn't have support for parsing Strings and Ints? [19:05:15] (or generally, any runtime token) [19:05:45] because it seemed to work fine for the compile-time stuff, but couldn't parse arbitrary strings and numbers... [19:59:31] *** Quits: e3928a3bc (~user@189.125.124.24) (Remote host closed the connection) [19:59:42] *** Joins: e3928a3bc (~user@189.125.124.24) [22:28:40] *** Parts: e3928a3bc (~user@189.125.124.24) ("ERC (IRC client for Emacs 25.2.2)")