[Attempto] How to construct this syntax?
Joshua TAYLOR
joshuaaaron at gmail.com
Wed Mar 25 21:11:02 CET 2015
On Wed, Mar 25, 2015 at 4:08 PM, Joshua TAYLOR <joshuaaaron at gmail.com> wrote:
> How about something like:
>
> "A distance between a sprinkler's n:deflector and a ceiling must be
> greater than 25.4 mm and must be smaller than 305 mm through the
> sprinkler's n:coverage-area."
That actually only associates the "through the sprinkler's coverage
area" with one of the MUST parts. It's a start though.
--
Joshua Taylor, http://www.cs.rpi.edu/~tayloj/
More information about the attempto
mailing list