[00:09:04] wen has discovered tonight that the function names in the RGL don't adhere to semantics [03:11:27] *** Quits: vin-ivar (~vin-ivar@unaffiliated/vin-ivar) (Ping timeout: 240 seconds) [03:23:25] *** Joins: vin-ivar (~vin-ivar@unaffiliated/vin-ivar) [09:03:48] *** Joins: JuanDaugherty (~juan@98.4.124.117) [10:07:47] *** Joins: venicecat (caa61422@gateway/web/freenode/ip.202.166.20.34) [10:26:42] Greetings! Happy new year everyone! [10:27:11] Hi Inari! \o/ [10:28:02] i can't quite get UttAdv to work for some reason [10:30:32] i thought it's a simple case of mkUtt (operator (object)) [10:31:27] whereby operator is defined as mkAdv "upon" [10:32:22] and object defined as mkNP the_Det (mkCN (mkN "restaurant")) [10:33:07] the phrase i'm trying to make is "upon the restaurant" [14:07:31] *** Quits: JuanDaugherty (~juan@98.4.124.117) (Quit: Ex Chat) [14:13:40] *** Joins: JuanDaugherty (~juan@98.4.124.117) [14:23:32] venicecat: UttAdv is just this UttAdv : Adv -> Utt ; [14:23:39] it only takes an Adv and turns it into an Utt [14:25:09] http://www.grammaticalframework.org/lib/doc/synopsis.html#Adv you should use the Prep -> NP -> Adv [14:25:14] instance of mkAdv [14:25:25] and make "upon" into a Prep [14:25:31] and the rest like you do [14:39:09] inariksit: are you visiting wen at the moment? [14:42:46] wen is visiting me in finland [14:43:05] okay, say hi [14:43:08] will do! [14:44:56] wen says hi to you ^^ [14:45:20] thanks [15:55:13] *** Joins: koom (~sirdancea@109.107.211.244) [15:58:49] ah i think i was trying to combine both. Prep -> NP -> Adv and then from Adv -> Utt [16:02:19] if you wrote mkAdv "upon", that's at least wrong, it should be mkPrep "upon" [16:07:35] is there a string -> Prep? [16:08:18] i remembered why i was experimenting with mkAdv [16:08:41] because there's no upon_Prep in the API, no? [16:09:08] and i don't remember seeing a string -> Prep [16:10:13] the problem is that mkPrep is not in the api (because it is rather language specific i guess) [16:10:48] but if you only use english it is in ParadigmsEng [16:59:24] thanks herb! [17:01:26] so i should be able to do a mkAdv operator (object) [17:01:53] where operator is defined as mkPrep "upon" [17:02:17] and object is defined as mkNP the_Det (mkCN (mkN "restaurant")) [17:03:21] hmm but why am i getting expected: Str inferred: {s : Str; isPre : Prelude.Bool; lock_Prep : {}} [17:03:46] trying to understand what the error message means.. [17:08:25] can you show the whole line that you wrote [17:09:01] can you write explicitly SyntaxEng.mkAdv [17:09:04] instead of just mkAdv [17:09:25] or maybe you have some errors in parentheses somewhere? [17:24:30] i tried all combinations of parens [17:24:42] anyways i sleep on it tonight... [17:25:05] i'll try to trace what's wrong with it tomorrow. [17:25:14] Thnx much inari! [17:34:45] *** Quits: venicecat (caa61422@gateway/web/freenode/ip.202.166.20.34) (Ping timeout: 260 seconds) [17:44:32] I think it's probably the wrong instance of mkAdv, because the one in ParadigmsEng expects a string [17:44:43] and the one in Syntax expects prep and NP [17:45:08] *** Joins: keri (~wen@ksit.fixme.fi) [18:33:42] \o/