[05:55:29] <freeside> mmm, i will try, than you
[06:04:09] <freeside> what do i do when i get conflicts like this? i sort of naively expect all the *Eng.gf modules to agree on basic constructors like this
[06:04:20] <freeside> Ex4Eng.gf:58-59:
[06:04:21] <freeside>   Happened in the renaming of mkAgg
[06:04:21] <freeside>    Warning: atomic term mkAdv
[06:04:21] <freeside>             conflict ParadigmsEng.mkAdv, ConstructorsEng.mkAdv
[06:04:26] <freeside>             given DictEng, DictEng, ExtraEng, IrregEng, ParadigmsEng, SyntaxEng, Ex4Eng
[06:09:03] <freeside> yup, constructors and paradigms both have mkAdv. does this mean i should be using one and not the other?
[06:12:38] <freeside> maybe i'm missing an important clue about how to import the english RGL in some stanard way
[06:46:14] <freeside> what imports does one run to get to the point of being able to do what you did, with Lang> p  -cat=Cl "John is" | l -treebank ?
[06:47:24] <freeside> now i will try to construct the tree "The Green Hills of Earth"
[06:51:35] <freeside> the_Det (mkA "green") (mkN "hill") possess_Prep (mkPN Paris)
[07:34:22] <freeside> i am finding the answer to this question on page 21 of http://www.molto-project.eu/sites/default/files/MOLTO_D2.3.pdf
[07:54:28] <freeside> okay, i can construct "the green (hills of earth)" but i can't figure out how to make "the (green hills) of earth"
[07:59:35] <freeside> first form: cc -list mkUtt (mkNP thePl_Det (mkCN (mkA "green") (mkCN (mkN2 (mkN "hill")) (mkNP (mkPN "Earth")))))
[07:59:46] <freeside> second form: cc -list mkUtt (mkNP thePl_Det (mkCN (mkCN (mkA "green") (mkN "hill")) (mkAdv possess_Prep (mkNP (mkPN "Earth")))))
[08:23:47] <freeside> i feel like i should sacrifice a dead cat at the altar of Noam Chomsky, if that will speed things up
[16:57:14] <inariksit> hahah
[16:58:20] <inariksit>  what do i do when i get conflicts like this? <- if you know you'll only use one and not the other, you can choose to open ParadigmsEng - [mkAdv] or SyntaxEng - [mkAdv]. if you will use both, you need to prefix them by module
[16:58:29] <inariksit> so ParadigmsEng.mkAdv and SyntaxEng.mkAdv
[16:59:40] <inariksit> you can also open modules with another name, open ParadigmsEng, (P=ParadigmsEng), SyntaxEng, (S=SyntaxEng)
[16:59:50] <inariksit> and then you can write P.mkAdv and S.mkAdv
[17:00:15] <inariksit> if you only did   open (P=ParadigmsEng), (S=SyntaxEng),   then you'd need to prefix all functions in them with P. or S.
[17:02:41] <inariksit>  what imports does one run to get to the point of being able to do what you did    <- I just opened LangEng.gfo in the gf shell. UseCopula comes from VerbEng, so if you want to use it, you can either have it as a part of your abstract syntax:
[17:03:42] <inariksit> --# path to the RGL, so the grammar finds the module Verb
[17:04:30] <inariksit> abstract MyGrammar = Foo, Bar, Verb [UseCopula], Baz ** { whatever local definitions you want to make, cat and fun }
[17:05:21] <inariksit> concrete MyGrammarEng of MyGrammar = FooEng, BarEng, VerbEng [UseCopula], BazEng ** open SyntaxEng, ParadigmsEng in { corresponding lincats and lins, whose definitions use opers from SyntaxEng and ParadigmsEng }
[17:05:25] <inariksit>    
[17:05:28] <inariksit> so that was way 1
[17:05:46] <inariksit> here's way 2, not extending resource grammar but rather opening it
[17:07:00] <inariksit> abstract MyGrammar = Foo, Bar, Baz ** { cat Whatever ; Blah ; …   fun  be_VP : Blah ; SomeFunction : Whatever ; … }
[17:09:14] <inariksit> and here's the concrete, enjoy the line breaks
[17:09:17] <inariksit> concrete MyGrammarEng of MyGrammar = FooEng, BarEng, BazEng **
[17:09:17] <inariksit>    open SyntaxEng, ParadigmsEng, (VE=VerbEng) in {
[17:09:17] <inariksit>       lincat
[17:09:17] <inariksit>         Whatever = … ;
[17:09:17] <inariksit>         Blah = VP ;  -- from SyntaxEng
[17:09:17] <inariksit>         …  ;
[17:09:18] <inariksit>       lin
[17:09:18] <inariksit>         be_VP = VE.UseCopula ;
[17:09:19] <inariksit>         SomeFunction = …
[17:09:19] <inariksit>     }
[17:15:49] <inariksit> as for green hills, here's the three different parse trees:
[17:15:51] <inariksit> AdvNP
[17:15:51] <inariksit>   (DetCN (DetQuant DefArt NumPl) (AdjCN (PositA green_A) (UseN hill_N)))
[17:15:51] <inariksit>   (PrepNP possess_Prep (UsePN paris_PN))
[17:15:51] <inariksit> DetCN
[17:15:51] <inariksit>   (DetQuant DefArt NumPl)
[17:15:52] <inariksit>   (AdjCN (PositA green_A)
[17:15:52] <inariksit>          (AdvCN (UseN hill_N) (PrepNP possess_Prep (UsePN paris_PN))))
[17:15:53] <inariksit>   
[17:15:53] <inariksit> DetCN
[17:15:54] <inariksit>   (DetQuant DefArt NumPl)
[17:15:54] <inariksit>   (AdvCN (AdjCN (PositA green_A) (UseN hill_N))
[17:15:55] <inariksit>          (PrepNP possess_Prep (UsePN paris_PN)))
[17:23:35] <inariksit> so the latter two you got already, and if you want (the green hills) (of earth), then you can do this:
[17:23:41] <inariksit>   mkNP (mkNP thePl_Det (mkCN (mkA "green") (mkN "hill"))) (mkAdv possess_Prep (mkNP (mkPN "Earth"))
[17:26:23] <inariksit> are you aware of the grammar LibraryBrowser in https://cloud.grammaticalframework.org/minibar/minibar.html ?
[17:26:44] <inariksit> to use it, choose these: Grammar: LibraryBrowser.pgf From: Eng  To: API
[17:26:55] <inariksit> then form "the green hills of Paris" using the fridge magnets
[17:27:03] <inariksit> and scroll down to see the results
[17:28:05] <inariksit> there's a lot of ambiguity, because "of" is both part_Prep, possess_Prep and there's also the RGL functions PossNP and PartNP, which the API doesn't support
[17:28:20] <inariksit> but just considering the options with possess_Prep, it gives these:
[17:29:32] <inariksit> * mkNP ( mkNP thePl_Det ( mkCN ( mkAP green_A ) ( mkCN hill_N ) ) ) ( mkAdv possess_Prep ( mkNP paris_PN ) )
[17:29:34] <inariksit> * mkNP thePl_Det ( mkCN ( mkAP green_A ) ( mkCN ( mkCN hill_N ) ( mkAdv possess_Prep ( mkNP paris_PN ) ) ) )
[17:29:44] <inariksit> * mkNP thePl_Det ( mkCN ( mkCN ( mkAP green_A ) ( mkCN hill_N ) ) ( mkAdv possess_Prep ( mkNP paris_PN ) ) )
[17:31:54] <inariksit> and you can click on the symbol to the left of the abstract syntax to see a tree, like this: https://s.put.re/5fhiLUfp.33.png
[17:35:09] <inariksit> here's another tree, it's easy to see the difference https://s.put.re/Fk7JgfEh.32.png