[00:02:33] *** Joins: inariksit_ (~inari@LRouen-151-71-125-81.w193-253.abo.wanadoo.fr) [00:03:58] *** Quits: inariksit (~inari@LRouen-151-71-125-81.w193-253.abo.wanadoo.fr) (Ping timeout: 240 seconds) [00:03:58] *** inariksit_ is now known as inariksit [00:19:26] *** Quits: inariksit (~inari@LRouen-151-71-125-81.w193-253.abo.wanadoo.fr) (Quit: inariksit) [00:20:11] *** Joins: inariksit (~inari@mut38-8-83-153-127-2.fbx.proxad.net) [01:28:34] *** Quits: inariksit (~inari@mut38-8-83-153-127-2.fbx.proxad.net) (Quit: inariksit) [01:29:23] *** Quits: spectie (~fran@unaffiliated/spectie) (Ping timeout: 256 seconds) [05:33:21] *** Joins: Eidel_ (~eidel@c83-249-247-253.bredband.comhem.se) [05:36:20] *** Quits: Eidel (~eidel@c83-249-247-253.bredband.comhem.se) (Ping timeout: 240 seconds) [05:44:51] I guess because Ord is doing double duty with ordinal numbers and superlatives, there is a ConstructorsEng.mkOrd and ParadigmsEng.mkOrd. And I couldn't get [05:58:29] ConstructorsEng.mkOrd, perhaps because I was opening SyntaxEng, which is an instance of Syntax, even though I am not using functors. [06:00:23] Anyway, now mkNP (mkDet the_Quant (mkOrd (mkNumeral n5_Unit))), as in synopsis.html is working for me. [07:37:57] *** Joins: drbean_ (~drbean@113.196.170.13) [07:41:07] *** Quits: drbean (~drbean@113.196.170.13) (Ping timeout: 256 seconds) [09:02:54] *** Joins: Eidel (~eidel@c83-249-247-253.bredband.comhem.se) [09:05:56] *** Quits: Eidel_ (~eidel@c83-249-247-253.bredband.comhem.se) (Ping timeout: 240 seconds) [09:33:32] *** ChanServ sets mode: +o jstar [10:38:30] *** Joins: spectie (~fran@unaffiliated/spectie) [11:02:27] *** Quits: drbean_ (~drbean@113.196.170.13) (Ping timeout: 272 seconds) [11:07:45] *** Joins: drbean (~drbean@113.196.170.13) [12:49:45] *** Joins: Eidel_ (~eidel@c83-249-247-253.bredband.comhem.se) [12:52:38] *** Quits: Eidel (~eidel@c83-249-247-253.bredband.comhem.se) (Ping timeout: 240 seconds) [13:27:32] *** Quits: spectie (~fran@unaffiliated/spectie) (Ping timeout: 240 seconds) [13:36:08] *** Joins: spectie (~fran@unaffiliated/spectie) [14:06:48] *** Quits: MasX (~masx@unaffiliated/masxmasx) (Ping timeout: 260 seconds) [14:07:26] *** Joins: MasX (~masx@2001:41d0:a:2340::1) [14:09:18] *** Quits: MasX (~masx@2001:41d0:a:2340::1) (Changing host) [14:09:18] *** Joins: MasX (~masx@unaffiliated/masxmasx) [16:09:02] *** Quits: jmvanel (~jmvanel@139.239.24.109.rev.sfr.net) (Read error: No route to host) [16:19:14] *** Joins: jmvanel (~jmvanel@139.239.24.109.rev.sfr.net) [16:21:27] *** Joins: Eidel (~eidel@c83-249-247-253.bredband.comhem.se) [16:24:56] *** Quits: Eidel_ (~eidel@c83-249-247-253.bredband.comhem.se) (Ping timeout: 260 seconds) [16:28:12] *** Quits: spectie (~fran@unaffiliated/spectie) (Read error: Connection reset by peer) [16:38:56] *** Joins: spectie (~fran@217.23.187.202) [16:38:57] *** Quits: spectie (~fran@217.23.187.202) (Changing host) [16:38:57] *** Joins: spectie (~fran@unaffiliated/spectie) [16:39:14] *** Quits: spectie (~fran@unaffiliated/spectie) (Read error: Connection reset by peer) [16:45:06] *** Joins: spectie (~fran@84.18.126.206) [16:45:06] *** Quits: spectie (~fran@84.18.126.206) (Changing host) [16:45:06] *** Joins: spectie (~fran@unaffiliated/spectie) [16:45:20] *** Quits: spectie (~fran@unaffiliated/spectie) (Read error: Connection reset by peer) [17:02:43] *** Joins: spectie (~fran@84.18.126.206) [17:02:43] *** Quits: spectie (~fran@84.18.126.206) (Changing host) [17:02:43] *** Joins: spectie (~fran@unaffiliated/spectie) [17:02:54] *** Quits: spectie (~fran@unaffiliated/spectie) (Read error: Connection reset by peer) [17:19:46] *** Joins: spectie (~fran@unaffiliated/spectie) [17:19:48] *** Quits: spectie (~fran@unaffiliated/spectie) (Read error: Connection reset by peer) [17:36:28] *** Joins: inariksit (~inari@159-146-190-109.dsl.ovh.fr) [17:37:05] *** Joins: spectie (~fran@unaffiliated/spectie) [18:37:48] *** Joins: Eidel_ (~eidel@c83-249-247-253.bredband.comhem.se) [18:40:58] *** Quits: Eidel (~eidel@c83-249-247-253.bredband.comhem.se) (Ping timeout: 240 seconds) [18:49:10] *** Joins: brinerustle (~Brian@186.Red-88-14-189.dynamicIP.rima-tde.net) [19:16:03] *** Joins: myoriel (~Myoriel@aftr-88-217-180-143.dynamic.mnet-online.de) [19:43:52] *** Quits: brinerustle (~Brian@186.Red-88-14-189.dynamicIP.rima-tde.net) (Remote host closed the connection) [20:02:17] *** Joins: Eidel (~eidel@c83-249-247-253.bredband.comhem.se) [20:05:59] *** Quits: Eidel_ (~eidel@c83-249-247-253.bredband.comhem.se) (Ping timeout: 264 seconds) [20:30:50] *** Joins: Eidel_ (~eidel@c83-249-247-253.bredband.comhem.se) [20:34:08] *** Quits: Eidel (~eidel@c83-249-247-253.bredband.comhem.se) (Ping timeout: 260 seconds) [20:45:33] *** Quits: inariksit (~inari@159-146-190-109.dsl.ovh.fr) (Quit: inariksit) [23:11:41] *** Joins: inariksit (~inari@mut38-2-82-67-67-219.fbx.proxad.net) [23:14:45] *** Quits: myoriel (~Myoriel@aftr-88-217-180-143.dynamic.mnet-online.de) (Ping timeout: 272 seconds)