Issue 18591: In 7.3.8 would it also be correct to say allColor = Printer->forAll(p | p.color)? (cvl-ftf)
Source: Microsoft (Mr. Steve Cook, stcook(at)microsoft.com)
Nature: Uncategorized Issue
Severity: 
Summary: In 7.3.8 would it also be correct to say allColor = Printer->forAll(p | p.color)?  If so it might be worth saying so, to emphasize further that color can be thought of as a logical (Boolean) property of each Printer
Resolution: 
Revised Text: 
Actions taken:
March 29, 2013: received issue
Discussion: 

End of Annotations:=====
s is issue # 18591

In 7.3.8 would it also be correct to say allColor = Printer->forAll(p | p.color)?

In 7.3.8 would it also be correct to say allColor = Printer->forAll(p | p.color)?  If so it might be worth saying so, to emphasize further that color can be thought of as a logical (Boolean) property of each Printer