zhengj2007 / bfo-export

Automatically exported from code.google.com/p/bfo
0 stars 0 forks source link

'has disposition at all times' only has one parent #120

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago
I think if x 'has disposition at all times' (quantifier) d, x 'has disposition 
at some time' (quantifier) d.

Original issue reported on code.google.com by batchelorc@rsc.org on 13 Aug 2012 at 2:44

GoogleCodeExporter commented 9 years ago
Yup. Thanks!

Original comment by alanruttenberg@gmail.com on 14 Aug 2012 at 4:50

GoogleCodeExporter commented 9 years ago
fixed in source

Original comment by alanruttenberg@gmail.com on 10 Sep 2012 at 9:24

GoogleCodeExporter commented 9 years ago
Issue 127 has been merged into this issue.

Original comment by alanruttenberg@gmail.com on 13 Sep 2012 at 11:30