[00:19:03] *** Quits: koo7 (~sirdancea@210.14.broadband15.iol.cz) (Ping timeout: 264 seconds) [00:25:17] *** Quits: memduh (~memduh@78.189.158.97) (Ping timeout: 244 seconds) [00:55:06] *** Joins: spectre (~fran@2a02:c7d:75f0:2300:7a31:c1ff:fecd:969e) [01:13:57] *** Quits: spectre (~fran@2a02:c7d:75f0:2300:7a31:c1ff:fecd:969e) (Ping timeout: 246 seconds) [01:41:55] *** Joins: spectre (~fran@2a02:c7d:75f0:2300:7a31:c1ff:fecd:969e) [03:21:34] *** Joins: memduh (~memduh@78.189.158.97) [03:26:09] *** Quits: memduh (~memduh@78.189.158.97) (Ping timeout: 244 seconds) [03:50:34] *** Joins: Gurkenglas (Gurkenglas@dslb-188-106-113-006.188.106.pools.vodafone-ip.de) [04:00:08] I can't parse "framework called CUSP" with the RGL. passiveVP : V2 -> VP (for V2, not V3) and mkCN : CN -> VP -> CN give me "framework to be called CUSP" [04:00:10] I may have seen what I want somewhere as PPartCN. [04:00:12] Googling .. [04:03:30] *** Quits: annaaerinteenbot (~annaaerin@c83-248-103-51.bredband.comhem.se) (Ping timeout: 276 seconds) [04:40:25] No. [04:45:49] ExtraEng has PassVPSlash : VPSlash -> VP, which I can use for V3, instead of the RGL passiveVP for V2. [04:45:51] So I do have a CN and a VP, but mkCN still gives me "a framework to be called CUSP". [04:45:53] Next, investigate NounEng [06:32:25] NounEng has PPartNP : NP -> V2 -> NP [06:32:27] which is I guess what I remembered seeing, but is not actually, what I need. [06:32:29] I ended up rolling my own, which I will paste, despite it being 15 lines long. I have a question about it. [06:33:08] myModPass3 : (cn : CN) -> (v3 : V3) -> (np : NP) -> [06:33:10] {s : Number => Case => Str ; g : Gender } = [06:33:12] \cn,v3,np -> { [06:33:14] s = table { [06:33:16] Sg => table { [06:33:18] Nom => cn.s ! Sg ! Nom ++ v3.s ! VPPart ++ np.s ! NPAcc; [06:33:20] Gen => cn.s ! Sg ! Nom ++ v3.s ! VPPart ++ np.s ! NPNomPoss [06:33:22] }; [06:33:24] Pl => table { [06:33:26] Nom => cn.s ! Pl ! Nom ++ v3.s ! VPPart ++ np.s ! NPAcc; [06:33:28] Gen => cn.s ! Pl ! Nom ++ v3.s ! VPPart ++ np.s ! NPNomPoss [06:33:30] } [06:33:32] }; [06:33:34] g = cn.g [06:33:36] }; [06:35:35] There's a lot of boiler plate there. How do I avoid writing that? [08:09:24] *** Quits: spectre (~fran@2a02:c7d:75f0:2300:7a31:c1ff:fecd:969e) (Ping timeout: 246 seconds) [08:23:21] *** Joins: memduh (~memduh@78.189.158.97) [09:44:19] *** Joins: spectei (~fran@unaffiliated/spectie) [10:32:01] *** Joins: koo7 (~sirdancea@210.14.broadband15.iol.cz) [10:38:03] *** Quits: memduh (~memduh@78.189.158.97) (Ping timeout: 240 seconds) [12:37:09] *** Quits: spectei (~fran@unaffiliated/spectie) (Ping timeout: 260 seconds) [13:04:56] *** Joins: spectei (~fran@unaffiliated/spectie) [13:33:59] *** Joins: memduh (~memduh@78.189.158.97) [13:38:52] *** Quits: memduh (~memduh@78.189.158.97) (Ping timeout: 268 seconds) [13:59:31] *** Quits: spectei (~fran@unaffiliated/spectie) (Ping timeout: 248 seconds) [14:19:52] *** Joins: spectei (~fran@unaffiliated/spectie) [15:18:37] *** Joins: sat (~sat@197.156.249.180) [16:44:48] *** Gurkenglas is now known as gurkbot [17:02:06] *** Quits: spectei (~fran@unaffiliated/spectie) (Ping timeout: 246 seconds) [17:07:51] *** Joins: memduh (~memduh@78.189.158.97) [17:47:55] *** Quits: gurkbot (Gurkenglas@dslb-188-106-113-006.188.106.pools.vodafone-ip.de) (Ping timeout: 244 seconds) [18:09:09] *** Quits: sat (~sat@197.156.249.180) (Ping timeout: 276 seconds) [18:10:33] *** Joins: gurkbot (Gurkenglas@dslb-188-106-113-006.188.106.pools.vodafone-ip.de) [18:20:55] *** Quits: koo7 (~sirdancea@210.14.broadband15.iol.cz) (Ping timeout: 252 seconds) [18:45:23] *** Joins: spectei (~fran@unaffiliated/spectie) [18:47:54] *** Joins: koo7 (~sirdancea@210.14.broadband15.iol.cz) [19:39:57] *** Quits: spectei (~fran@unaffiliated/spectie) (Ping timeout: 246 seconds) [19:51:20] *** Quits: memduh (~memduh@78.189.158.97) (Ping timeout: 268 seconds) [20:07:02] *** Joins: frankier (~frankier@91-157-16-181.elisa-laajakaista.fi) [20:14:19] *** gurkbot is now known as Gurkenglas [20:40:24] *** Joins: memduh (~memduh@78.189.158.97) [20:46:33] *** Joins: spectei (~fran@unaffiliated/spectie) [21:23:54] *** Quits: spectei (~fran@unaffiliated/spectie) (Ping timeout: 246 seconds) [21:28:31] *** Joins: spectei (~fran@unaffiliated/spectie) [21:49:55] *** Quits: Gurkenglas (Gurkenglas@dslb-188-106-113-006.188.106.pools.vodafone-ip.de) (Ping timeout: 248 seconds) [22:32:24] *** Quits: frankier (~frankier@91-157-16-181.elisa-laajakaista.fi) (Ping timeout: 276 seconds) [23:40:24] *** Quits: koo7 (~sirdancea@210.14.broadband15.iol.cz) (Ping timeout: 246 seconds)