Clarify quantification rules in 'how to read this document'

[zhengj2007]

From [email protected] on February 04, 2013 03:05:06

Are free variable universally quantified? I'd rather not, opting for explicit quantification in all cases.

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