[03:40:24] *** Quits: drbean_ (~drbean@124.219.82.98) (Ping timeout: 272 seconds)
[04:11:57] *** Quits: Gurkenglas (Gurkenglas@dslb-178-012-149-211.178.012.pools.vodafone-ip.de) (Ping timeout: 255 seconds)
[09:32:40] *** inariksi1 is now known as inariksit
[09:42:22] *** Joins: rtb (~smuxi@95.91.255.24)
[09:43:59] <inariksit> hey!
[09:44:06] <inariksit> now I can have a look
[09:50:04] <rtb> yeah would be great!
[09:51:22] <inariksit>     Det : NP -> NP ;
[09:51:31] <inariksit> and in the concrete, your NPs are actually CNs
[09:51:32] <inariksit>    Det cn  = mkNP the_Det cn ;
[09:51:38] <inariksit> Beere   = mkCN ( mkN "Beere" ) ;
[09:53:29] <rtb> I commented out Det in concrete and made lincat NP = CN
[09:54:11] <inariksit> then your Pred is still making an RGL category S
[09:55:15] <inariksit> it's a bit confusing that otherwise your NP and VP are the RGL NP and VP, but your S is the RGL Utt
[09:56:40] <rtb> yes I see
[09:57:05] <inariksit> btw if the behaviour Det : NP -> NP is what you want, then you can use Predet, there's a mkNP for Predet -> NP -> NP
[09:57:24] <inariksit> so like "only this cat" or "all my dogs"
[09:58:19] <rtb> ok thx; some other problems still:
[09:58:25] <rtb>      Happened in linearization of Pred
[09:58:25] <rtb>       function type expected instead of S
[09:59:23] <inariksit> paste what you wrote for Pred?
[09:59:34] <rtb>     Pred np1 v2 np2 = mkCl ( np1 v2 np2 ) ;
[10:00:15] <inariksit> ok sorry, that actually only makes a Cl, not even a S
[10:00:39] <inariksit> so if your lincat for S is still Utt, you need to do like  mkUtt ( mkS ( mkCl ... )))
[10:01:22] <rtb>       function type expected instead of Cl
[10:01:28] <rtb> is set now to S
[10:01:35] <rtb> lincat S = S;
[10:01:44] <rtb> lincat S = Cl;
[10:01:46] <rtb> I mean
[10:02:17] <inariksit> okay
[10:02:22] <inariksit> and still that problem?
[10:02:26] <rtb> yeah
[10:03:26] <rtb>    Warning: atomic term S
[10:03:26] <rtb>             conflict CatGer.S, ZooRGer.S
[10:03:27] <rtb> This is irrelevant?
[10:03:30] <inariksit> ah but now if your NPs are RGL CNs, then the rgl mkCl cannot handle them
[10:03:40] <inariksit> if it's just a warning, usually yes
[10:04:01] <inariksit> you can write the CatGer.S in the lincat
[10:04:04] <inariksit> so S = CatGer.S
[10:04:23] <inariksit> or import it qualified
[10:04:34] <inariksit> so open (C=CatGer)
[10:04:35] <rtb>   Happened in the renaming of S
[10:04:35] <rtb>    unknown qualified constant CatGer.S
[10:04:37] <inariksit> and then C.S
[10:05:50] <inariksit> add CatGer or (C=CatGer) in the list of modules that you open, and then try again
[10:06:07] <inariksit> (CatGer=CatGer) should also work :-P
[10:06:50] <inariksit> I see you're only opening SyntaxGer and ParadigmsGer, but they need CatGer too so I suppose that's enough to warn about same name being used in different places
[10:08:33] <rtb> ok the warnings are gone!
[10:08:58] <rtb> so mkCl handles NPs not CNs...
[10:09:39] <inariksit> yeah
[10:09:40] <inariksit> http://www.grammaticalframework.org/lib/doc/synopsis.html#Cl
[10:13:46] <rtb> ok I fiddle about around...
[10:23:47] <rtb> ok now compiling, thx!
[10:28:08] <inariksit> yay!
[12:24:57] *** Joins: Gurkenglas (Gurkenglas@dslb-178-012-149-211.178.012.pools.vodafone-ip.de)
[13:13:18] <rtb> Is it possible to extent my concrete grammar with restricted inheritance of DictXXX?
[13:13:29] <rtb>   DictGer [fressen_V] **
[13:14:27] <rtb> linking ... gf: unknown identifier fressen_V
[13:14:41] <rtb> inariksit ?
[13:15:06] <rtb> I thought this might consume less memory than opening it?
[15:12:26] *** Quits: rtb (~smuxi@95.91.255.24) (Ping timeout: 240 seconds)
[15:56:19] *** Joins: spectre (~fran@115.114.202.84.customer.cdi.no)
[16:33:39] *** Quits: Gurkenglas (Gurkenglas@dslb-178-012-149-211.178.012.pools.vodafone-ip.de) (Ping timeout: 246 seconds)
[16:37:01] *** Joins: Gurkenglas (Gurkenglas@dslb-178-012-149-211.178.012.pools.vodafone-ip.de)
[18:28:12] *** Joins: rtb (~smuxi@95.91.255.24)
[20:02:48] *** Quits: rtb (~smuxi@95.91.255.24) (Ping timeout: 264 seconds)
[20:38:38] *** Joins: rtb (~smuxi@95.91.255.24)
[22:55:10] *** Quits: rtb (~smuxi@95.91.255.24) (Ping timeout: 260 seconds)