[06:07:05] *** Quits: JuanDaugherty (~juan@98.4.124.117) (Quit: Hibernate, reboot, exeunt, etc.) [09:10:11] *** Joins: venicecat (05b30897@gateway/web/freenode/ip.5.179.8.151) [09:51:58] *** Joins: lillann (uid244962@gateway/web/irccloud.com/x-ifjryolymritgmog) [10:08:30] \o/ i'm enjoying this tutorial [10:14:22] me too! [10:27:11] i had thought that coq is unattainable so... this is a pleasant pleasant surprise to see the mapping to GF :) [10:38:34] *** Quits: venicecat (05b30897@gateway/web/freenode/ip.5.179.8.151) (Ping timeout: 260 seconds) [11:15:24] *** Joins: venicecat (05b30897@gateway/web/freenode/ip.5.179.8.151) [11:21:49] *** Quits: proteusguy (~proteus-g@2405:9800:b408:bc31:6c81:59b1:37b6:8b09) (Ping timeout: 246 seconds) [11:23:17] \o/ inari, i failed many times to get a mkSC : S -> SC [11:23:30] It feels i'm so close though.. yet so far [11:24:13] here's my gist [11:24:16] let's see [11:24:20] https://gist.github.com/anonymous/5f545f8095ffda8ac6a082dc9babacfd [11:24:26] i wonder what i've missed [11:24:43] Sometimes i get mkS ->Adv -> Cl [11:26:00] mm so SC is a sentence complement, you probably don't want your startcat to be that [11:26:45] my current linearisation looks like this [11:26:48] it was just a suggestion to make it possible to do embedded clauses, like "this certifies [that SC]" [11:26:48] "that in exchange for the paymently this certifies" [11:27:29] so you want "this" to be the subject of the main S, and "certifies" to be the predicate [11:27:50] and anything that comes in the embedded clause, [that ...] to be some sort of an object [11:28:58] what does the full S look like? [11:30:05] This certifies that in exchange for the payment by InvestorName (the " Investor") of $100,000 (the "Purchase Amount"} on or about DateOfSafe, Company, a StateOfIncorporation corporation (the "Company"), hereby issues to the Investor the right to certain shares of the Company's capital stock, subject to the terms set forth below. [11:30:25] actually now that I think of it, you could just define your verb as V2S and not need to play with SCs and Advs [11:30:25] SlashV2S : V2S -> S -> VPSlash ; -- answer (to him) that it is good [11:30:37] so create a certify_V2S [11:31:20] and then you can use this API function [11:31:20] mkCl : NP -> V2S -> NP -> S -> Cl -- she answers to him that we sleep [11:31:39] sorry that I didn't think of it yesterday! my mind was too much in basque relative clause agreement >__> [11:31:52] lol [11:32:00] the SC is great [11:32:10] I haven't had a chance to attempt that before [11:32:14] or actually you can just use VS [11:32:14] mkCl : NP -> VS -> S -> Cl -- she says that she sleeps [11:32:31] unless you need a party to which the contract certifies that I eat cats [11:32:44] thinking of which i haven't played with relative... anything much [11:32:53] So yesterday was a great exercise [11:33:00] it's much more fun when you have 3-dimensional agreement [11:33:25] *everything is much more fun when you have 3-dimensional verb agreement ^____^ [11:33:32] hahaha [11:34:06] Just the place for a Snark! I have said it thrice: What I tell you three times is true. [11:34:06] *** Joins: proteusguy (~proteus-g@2405:9800:b408:bc31:d29:6aae:a9bf:ab8d) [11:36:30] oooh you might want to be careful with that [11:36:55] in the olden days in the province where the cantoneses people resides, smiling at someone thrice = marriage [11:39:40] LibraryBrowser gives this for "John knows that in the car I eat cats" [11:39:41] mkUtt ( mkS ( mkCl ( mkNP john_PN ) ( mkVP know_VS ( mkS ( mkAdv in_Prep ( mkNP the_Quant car_N ) ) ( mkS ( mkCl ( mkNP i_Pron ) eat_V2 ( mkNP a_Quant pluralNum cat_N ) ) ) ) ) ) ) [11:41:09] *** Joins: koom (~sirdancea@109.107.211.244) [11:42:03] "in exchange for the payment by InvestorName (the " Investor") of $100,000 (the "Purchase Amount"} on or about DateOfSafe" is all just a really long Adv >__< [11:42:50] so i should just have Adv in strings then [11:42:56] you'll need a lot of ApposCN ^^ InvestorName (the " Investor") , Company, a StateOfIncorporation corporation (the "Company") [11:43:00] because that was what i did before [11:43:33] it looks like you could relatively easily just use repeated applications of PrepNP and ApposCN, and AdvS [11:43:58] and you'll likely need String and Int literals [11:44:07] or just a number grammar [11:44:53] (I mean just the inbuilt Digits, nothing new or fancy) [11:45:04] right [11:45:50] but so, you can test with just a small lexicon how to recursively add adverbs; "this:NP certifies:VS that (in the car (in Paris (by the river (I eat cats))))" [11:46:16] yes, i will go fiddle with all these [11:46:24] in the car, by the river etc. are just applications of PrepNP [11:46:38] thank you so much :o) [11:46:53] and when you want to have more complex NPs than "the river" or "Paris", you can add ApposCN ("the city Paris", "the number 5") [11:47:15] and if you need to recognise free text as part of those NPs, you can look into literals and Symb [11:47:31] but that latest bit can easily wait until you have the general structure more solid [11:47:57] ok [11:50:59] my LibraryBrowser doesn't have edible cats [11:53:40] but, at least i am able to load LibraryBrowser in the gf shell, which I will celebrate as my achievement of the morning [11:53:43] 20170822-11:52:06 mengwong@venice2:~/non-db-src/l/compiler/sandbox-gf1/missouri% GF_LIB_PATH=`perl -e 'print join ":", @ARGV' /Users/mengwong/non-db-src/GF/lib/src/{api,abstract,common,english,api/libraryBrowser,prelude}` [11:53:50] > import -retain LibraryBrowserEng.gf [11:53:58] > p "John knows that in the house I become red" [11:53:58] UttS (UseCl (TTAnt TPres ASimul) PPos (PredVP (UsePN john_PN) (ComplVS know_VS (AdvS (PrepNP in_Prep (DetCN the_Det (UseN house_N))) (UseCl (TTAnt TPres ASimul) PPos (PredVP i_NP (ComplVA become_VA (PositA red_A)))))))) [12:00:54] zsh% gf_lib_path_big=( /Users/mengwong/non-db-src/GF/lib/src/{api,abstract,common,english,api/libraryBrowser,prelude,..} ) [12:01:04] zsh% exprot GF_LIB_PATH=${(j_:_)gf_lib_path_big} [12:01:32] er, export [12:05:40] exprot lol [12:17:23] I've forgotten: What is the reason we have MorphoXXX and ParadigmsXXX and what is the difference? [12:19:32] i found a clue in the source: [12:19:34] GF/lib/src/english% head -9 MorphoEng.gf | tail -3 [12:19:41] GF/lib/src/english% head -17 ParadigmsEng.gf | tail -4 [12:21:26] freeside: thanks, i could have spent more effort before asking [12:25:04] now i'm trying to understand what the comments say, but i can't make heads or tails of it [12:25:13] now i am reading all the source [12:25:18] so i am glad you asked :D [12:26:51] whoa, line 349 of ParadigmsEng.gf gonna cause some consternation among the woke crowd [12:35:03] ^ that's what I laughed out loud [12:35:39] 19 missing functions in basque RGL! [12:36:52] freeside: that almost is clickbaity [12:45:31] "ParadigmsEng defined Gender and Humanity. You won't believe what happened next!" [12:47:19] all the people skipping lunch and staying back to work on "just one more problem" reminds me of the short story https://en.wikipedia.org/wiki/Diamond_Dogs,_Turquoise_Days [12:50:01] I'm kinda waiting to see if anyone else wants to go to the market ^^ [12:50:06] I want my fermented vegetables! [12:50:59] i need a nap [12:51:02] yeah [12:51:06] that would be nice too [12:52:55] i spy some nice fried pork in the canteen earlier so i will go for foooo\o/oood [12:53:20] and bring along my laptop to keep working on one more problem [12:57:24] ah, now i understand Aarne's comment that the LibraryBrowser is now bigger [12:57:26] UttS (UseCl (TTAnt TPres ASimul) PPos (PredVP (UsePN john_PN) (ComplVS know_VS (AdvS (PrepNP in_Prep (DetCN (DetQuant DefArt NumSg) (UseN house_N))) (UseCl (TTAnt TPres ASimul) PPos (PredVP (UsePron i_Pron) (ComplSlash (SlashV2a eat_V2) (DetCN (DetQuant IndefArt NumPl) (UseN cat_N))))))))) [12:57:59] the edible cats have appeared in https://github.com/GrammaticalFramework/GF/commit/febcd73797ffdf43b02b0ccef3e6698c27b4fef7 [12:58:32] yeah i got much further with my sentence in the lib browser than yesterday [13:03:14] *** Quits: venicecat (05b30897@gateway/web/freenode/ip.5.179.8.151) (Ping timeout: 260 seconds) [14:03:04] *** Quits: esg (~emil@esg.xen.prgmr.com) (Ping timeout: 255 seconds) [14:08:01] *** Joins: venicecat (05b30897@gateway/web/freenode/ip.5.179.8.151) [14:15:13] *** Joins: esg (~emil@esg.xen.prgmr.com) [14:16:16] woot, i am just going to share every little accomplishment if that's OK with youse, ostensibly in case it is useful to anybody else, but frankly because every little bit of encouragement helps as one runs this marathon, even it is pathetic, lonely self-encouragement [14:16:25] > import -retain LibraryBrowserEng.gf LibraryBrowserAPI.gf [14:16:28] > p -lang=Eng "John knows that in the house I eat cats " | l -lang=API [14:16:31] mkUtt ( mkS ( mkCl ( mkNP john_PN ) ( mkVP know_VS ( mkS ( mkAdv in_Prep ( mkNP the_Det house_N ) ) ( mkS ( mkCl i_NP eat_V2 ( mkNP aPl_Det cat_N ) ) ) ) ) ) ) [14:28:11] https://en.wikipedia.org/wiki/Third-person_pronoun#Generic_he [14:33:35] *** Joins: jstar (~jstar@unaffiliated/jstar) [15:41:19] *** Quits: venicecat (05b30897@gateway/web/freenode/ip.5.179.8.151) (Ping timeout: 260 seconds) [16:21:53] freeside: that's great ^^ [16:22:00] *** Joins: venicecat (6d6e1376@gateway/web/freenode/ip.109.110.19.118) [16:46:00] next, we have a transformation from "sing and dance" to "singing and dancing". [16:46:02] AllEngAbs> l -table (ConjVPI and_Conj (ConsVPI (MkVPI (UseV sleep_V)) (BaseVPI (MkVPI (UseV sing_V)) (MkVPI (UseV eat_V))))) [16:50:09] *** Quits: venicecat (6d6e1376@gateway/web/freenode/ip.109.110.19.118) (Ping timeout: 260 seconds) [17:22:10] *** Joins: venicecat (d5e28de4@gateway/web/freenode/ip.213.226.141.228) [17:44:10] so i'm trying out this function mkCl : NP -> VS -> S -> Cl [17:44:39] the verb "say" has a VS form [17:45:05] i tried substituting with another verb "certify" [17:45:18] so certify doesn't have a VS form [17:46:42] so i tried forcing it using mkVS (IrregEng.certify_V) [17:46:54] imported IrregEng as a module too [17:47:04] Didn't work at all [17:47:13] any suggestions? [17:50:04] would anybody else feel in favour of a patch to the .gfo generation codebase, to change "write file" to "writing file" [17:50:07] ? [18:08:10] *** Quits: koom (~sirdancea@109.107.211.244) (Ping timeout: 246 seconds) [18:40:19] *** Quits: lillann (uid244962@gateway/web/irccloud.com/x-ifjryolymritgmog) (Quit: Connection closed for inactivity) [19:18:19] *** Quits: venicecat (d5e28de4@gateway/web/freenode/ip.213.226.141.228) (Ping timeout: 260 seconds) [22:29:06] halp: cannot infer table type of table { some_Det => and_Conj; any_Det => or_Conj } [22:29:27] how do i do an inlne type annotation?