[05:01:53] <drbean> which does what I want.
[05:02:14] <drbean> Hey, ResEng has a different mkNP : (i,me,my : Str) -> Number -> Person -> Gender -> { s : NPCase => Str, a : Agr }
[05:02:16] <drbean> which does what I want.
[05:04:47] <drbean> An NP without a singular form.
[05:05:07] <drbean> nonExist doesn't work, but should.
[05:19:37] *** Quits: drbean (~drbean@124.219.83.168) (Ping timeout: 264 seconds)
[05:46:45] *** Joins: drbean (~drbean@124.219.82.189)
[07:16:51] *** Quits: drbean (~drbean@124.219.82.189) (Quit: ZNC - http://znc.in)
[07:19:01] *** Joins: drbean (~drbean@124.219.83.98)
[08:15:43] <inariksit> drbean: I don't understand what you mean, a NP is already fixed for number, so you can have plural NPs and singular NPs
[08:15:57] <inariksit> or is it only about finding a constructor from the API?
[09:59:13] *** Quits: crazydiamond (~crazydiam@178.141.72.208) (Remote host closed the connection)
[11:11:17] *** Joins: jmvanel (~jmvanel@crz75-3-78-193-235-5.fbxo.proxad.net)
[11:14:02] *** Joins: spectre (~fran@213.14.74.69)
[11:17:41] *** Quits: spectre (~fran@213.14.74.69) (Client Quit)
[11:25:16] *** Quits: drbean (~drbean@124.219.83.98) (Ping timeout: 240 seconds)
[12:26:27] *** Joins: drbean (~drbean@124.219.83.205)
[14:08:55] *** Joins: spectre (~fran@213.14.74.69)
[15:19:32] *** Joins: LukeG (82f1d795@gateway/web/freenode/ip.130.241.215.149)
[15:31:16] <drbean> The second meaning: I found the mkNP in ResEng. It creates the Agr. I wanted a plural NP.
[15:31:18] <drbean>  frank_and_rebia = ResEng.mkNP "Frank and Rebia" "Frank and Rebia" "Frank and Rebia's" plural ResEng.P3 human;
[15:31:20] <drbean> This is different than the RGL mkNP.
[15:36:24] <inariksit> yeah ok, so it was about finding a constructor
[15:39:14] <inariksit> ie. the nonExist doesn't really matter in this case, since you want to construct an NP to start with, you don't need the N or CN phase (where nonExist would be needed) at all
[15:49:16] *** Joins: crazydiamond (~crazydiam@178.141.72.208)
[15:56:53] *** Quits: spectre (~fran@213.14.74.69) (Quit: Leaving)
[16:52:24] *** Joins: esg (~emil@esg.xen.prgmr.com)
[17:23:56] *** Quits: LukeG (82f1d795@gateway/web/freenode/ip.130.241.215.149) (Quit: Page closed)
[18:20:41] *** Joins: daherb (~herb@host-78-65-172-177.homerun.telia.com)
[19:02:20] *** Quits: crazydiamond (~crazydiam@178.141.72.208) (*.net *.split)
[19:02:57] *** Joins: crazydiamond (~crazydiam@178.141.72.208)
[19:44:29] *** Quits: jmvanel (~jmvanel@crz75-3-78-193-235-5.fbxo.proxad.net) (Quit: Quitte)
[20:14:30] *** Quits: daherb (~herb@host-78-65-172-177.homerun.telia.com) (Quit: leaving)
[20:47:59] *** Quits: vin-ivar (~vinit@122.169.10.237) (Remote host closed the connection)
[21:38:39] *** Joins: vin-ivar (~vinit@122.169.10.237)