[01:00:05] *** Quits: sirdancealot (~sirdancea@79.98.72.195) (Ping timeout: 240 seconds)
[02:16:52] *** Quits: fotonzade (~photon@78.189.158.97) (Ping timeout: 260 seconds)
[08:38:49] *** Joins: sirdancealot (~sirdancea@79.98.72.195)
[08:40:26] *** Joins: proteus-guy (~proteus-g@49.228.92.248)
[11:43:29] *** Joins: fotonzade (~photon@78.189.158.97)
[13:35:36] *** Quits: fotonzade (~photon@78.189.158.97) (Quit: Leaving)
[14:25:17] *** Joins: Jana (82f1d56a@gateway/web/freenode/ip.130.241.213.106)
[14:33:16] <Jana> Hello! I want to add a linearization to my grammar, which builds a clause from a noun phrase and a verb phrase. This linearization should also contain polarity. My current approach looks like this:
[14:33:33] <Jana> 	lin PredVP np vp = { --PredVP : NP -> VP -> Cl       s = \\agr, t, b => np.s ! Nom ++ case <agr,t ,b> of { 	    <_, _, True> => vp.verb.s ! t ! agr  ; 	    <_,_ , False> => vp.verb.s ! t ! agr ++ "nicht" 	    }; 	  };
[14:35:22] <Jana> But so far I only get an error telling that a table type is expected for the table instead of a string. Has anybody an idea where exactly in my lineraization I should look for the problem? I already checked the number and order of arguments, but they should be ok. Thank you very much in advance for your advice.
[14:36:49] <inariksit> can you paste the whole code? e.g. here https://pastebin.com/
[14:45:45] <Jana> Yes, of course! I uploaded my whole concrete grammar on the link you sent me. Do you need the abstract grammar as well?
[14:46:57] <inariksit> give the URL, I can't see it from the site
[14:47:08] <inariksit> if it's the same as the extmini, I have it already
[14:48:30] <Jana> Ok here is the link: https://pastebin.com/MwT6THn8
[14:49:46] <Jana> To be sure, here is the link for my abstract grammar as well: https://pastebin.com/zxg9hHqv
[14:50:17] <inariksit> a = Ag Pl (Masc|Fem|Neutr) Pers3     <---- you cannot do pattern matching when you assign a value
[14:50:38] <inariksit> that's not in the function that gives you error, but it was the first thing that caught my eye
[14:51:19] <inariksit> you could have some function that takes two Ns and gives some aggregate gender
[14:51:24] <inariksit> or just always pick the first
[14:53:50] <inariksit> and for the function you pasted:
[14:53:52] <inariksit> this is the type of Cl
[14:53:53] <inariksit> lincat Cl = {s : MyTense => Bool => Str};
[14:53:53] <Jana> Do you mean the ConjNP function? Yes, I was not sure if this method is the right approach. But I could not use the "Gender" parameter within the function, so I tried to find an alternative. What do you mean by Aggregate Gender?
[14:54:25] <inariksit> and this is what PredVP constructs:
[14:54:26] <inariksit> s = \\agr, t, b =>
[14:54:43] <inariksit> so there's one thing too much, the agr shouldn't be anymore a variable in a Cl
[14:54:58] <inariksit> Jana: yes, the first paste was from ConjNP (but it repeats in others as well)
[14:55:11] <inariksit> with aggregate gender, I mean something like:
[14:55:21] <inariksit> aggrGender : N -> N -> Gender ;
[14:55:36] <inariksit> aggrGender x y = case <x.gender, y.gender> of {
[14:56:02] <inariksit> <Fem,Fem> => Fem ; <Masc,Masc> => Masc ; _ => Neutr
[14:56:03] <inariksit> {
[14:56:06] <inariksit> *}
[14:56:31] <inariksit> or something, I'm just making this up; you may have different rules
[14:56:45] <Jana> Ah ok, now I see what you meant. Thank you!
[14:58:32] <Jana> And for the PredVP: Now that i erased agr from s = \\agr, t, b, I get the error that agr could not be found for the case-argument. But I guess I need it there to specify the verb phrase, don't I?
[14:59:11] <inariksit> you need to erase it also from the right hand side
[14:59:22] <inariksit> or case <agr,t ,b>
[14:59:30] <inariksit> you get the agr from the np argument
[14:59:42] <inariksit> instead of a \\agr, just use np.a
[15:00:03] <inariksit> <_, True> => vp.verb.s ! t ! np.a  ;
[15:00:19] <inariksit> <_, False> => vp.verb.s ! t ! np.a ++ "nicht" ;
[15:00:31] <inariksit> (sorry, no ; in the latter line)
[15:06:37] <Jana> Oh yes, I totally forgot about the np's agreement. Thank you so much!
[16:00:35] *** Quits: sirdancealot (~sirdancea@79.98.72.195) (Ping timeout: 240 seconds)
[16:48:30] *** Joins: fotonzade (~photon@78.189.158.97)
[16:51:12] *** Quits: Jana (82f1d56a@gateway/web/freenode/ip.130.241.213.106) (Quit: Page closed)
[17:56:03] *** Joins: sirdancealot (~sirdancea@79.98.72.195)
[18:25:00] *** Joins: freeside (~mengwong@2601:184:4700:16b0:5ec:7275:1ce1:cb79)
[18:44:19] *** Quits: fotonzade (~photon@78.189.158.97) (Quit: Leaving)
[19:02:42] *** Joins: fotonzade (~photon@78.189.158.97)
[19:07:06] *** Quits: fotonzade (~photon@78.189.158.97) (Client Quit)
[20:11:03] *** Joins: fotonzade (~photon@78.189.158.97)
[23:12:39] *** Quits: fotonzade (~photon@78.189.158.97) (Quit: Leaving)
[23:51:12] *** Joins: fotonzade (~photon@78.189.158.97)