search

zhengj2007 / bfo-trunk

0 stars 0 forks source link

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

Open zhengj2007 opened 9 years ago

zhengj2007 commented 9 years ago

From batchelorc@rsc.org on August 13, 2012 10:44:16

I think if x 'has disposition at all times' (quantifier) d, x 'has disposition at some time' (quantifier) d.

Original issue: http://code.google.com/p/bfo/issues/detail?id=120

zhengj2007 commented 9 years ago

From alanruttenberg@gmail.com on August 13, 2012 21:50:40

Yup. Thanks!

Status: Accepted
Owner: alanruttenberg@gmail.com

zhengj2007 commented 9 years ago

From alanruttenberg@gmail.com on September 10, 2012 14:24:23

fixed in source

Status: Submitter-Review

zhengj2007 commented 9 years ago

From alanruttenberg@gmail.com on September 13, 2012 16:30:16

Issue 127 has been merged into this issue.