[00:32:04] the canonical way is, afaik, to have every standalone utterance have a coercion to the startcat [00:32:47] often the intermediate categories may be discontinuous, and there may not even be a standard convenient way to parse them [00:33:18] say you have a VPSlash that is expecting an object, and it will use a preposition, then you'd have to parse incomplete constituents [00:33:42] if you do want that, then you need to use linref [00:34:54] for your particular example, you can use the function readType :: String -> Maybe Type [00:37:39] do I understand correctly, you want to parse intermediate categories, because you want to construct new things from them? in such a case, coercing them to the startcat would just be unnecessary bulk, so parsing them with the given type (returned by readType) is the best thing to do [00:39:56] as for sequencing sentences, if your GF grammar has a list instance for some category, it will have a convenience Haskell list version [00:56:24] so like this: https://gist.github.com/inariksit/3af7fe9ad998ab6f19628959c109cfee#file-conjunctions-hs-L54 [00:57:48] in the gf function, the haskell newtype is just put back into the PGF tree with appropriate mkApp applications https://gist.github.com/inariksit/3af7fe9ad998ab6f19628959c109cfee#file-conjunctions-hs-L96-L98 [00:59:32] when you write your application code, you don't need to worry about a tree structure like this [00:59:34] ConjAP [00:59:34] * and_Conj [00:59:34] ConsAP [00:59:34] * cold_AP [00:59:34] BaseAP [00:59:35] * cold_AP [00:59:35] Italian_AP [01:00:01] but you can just handle Haskell lists like GListAP [cold_AP, cold_AP, Italian_AP] [04:39:57] *** Joins: Lycurgus (~juan@98.4.112.204) [04:45:14] *** Quits: Lycurgus (~juan@98.4.112.204) (Quit: Exeunt) [06:59:38] *** Joins: step21_ (~step21@apus.uberspace.de) [07:07:09] *** Quits: step21 (~step21@apus.uberspace.de) (*.net *.split) [07:07:09] *** Quits: ski (~ski@remote11.chalmers.se) (*.net *.split) [07:07:11] *** step21_ is now known as step21 [07:12:49] *** Joins: ski (~ski@remote11.chalmers.se) [11:52:23] *** Joins: Lycurgus (~juan@98.4.112.204) [13:52:37] *** Quits: Lycurgus (~juan@98.4.112.204) (Ping timeout: 240 seconds) [17:35:56] *** Quits: ski (~ski@remote11.chalmers.se) (Ping timeout: 256 seconds) [19:55:41] *** Quits: koo5_ (~quassel@51.140.155.227) (Ping timeout: 256 seconds) [19:56:00] *** Joins: koo5_ (~quassel@51.140.155.227)