[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