[07:09:08] <drbean> I wasn't able to get HOAS variable binding for quantification in logic, as shown in the tutorial, to work until I looked at the nlg/LogicCnc.gf example.
[07:13:58] <drbean> With the addition of primitive constants, john, mary : Ind, linearized as "john", "mary", it did work.
[07:14:23] <drbean> Interesting.
[11:41:06] *** Joins: jmvanel (~jmvanel@190.103.115.78.rev.sfr.net)
[15:11:00] *** Quits: jmvanel (~jmvanel@190.103.115.78.rev.sfr.net) (Ping timeout: 276 seconds)
[22:38:28] *** Joins: jmvanel (~jmvanel@139.239.24.109.rev.sfr.net)
[23:46:59] *** Quits: jmvanel (~jmvanel@139.239.24.109.rev.sfr.net) (Ping timeout: 246 seconds)