<snapdata remixID="9861020"><project name="U2L3-Predicates(template)" app="Snap! 6, https://snap.berkeley.edu" version="1"><notes></notes><thumbnail>data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAKAAAAB4CAYAAAB1ovlvAAADfUlEQVR4Xu2ZoWrWYRxGn79fW1BBcFEtokG7wyuwCQOxeQOCIKxYxGTyEsyGVQ2KYUHbRBAFi2CwCIKY3ffKNA373gfO2Q285/mdA9+3bRljjPjjBSZdYDHASZf32b8XMEBDmHoBA5x6fh83QBuYegEDnHp+HzdAG5h6AQOcen4fN0AbmHqBZfz8PvL5bfL1Q7JeJ6tVsv1gKpSPcy6wjDubIxevJReuJssq+bSXHP5v5OHL5MSKcwmXTrnA/x/B+y+SxzeTR6+Ty9enQPko5wJHA3x6L3n/Krn/LDl3hXMFl067wDI+7o282U32nydnz/vRO00F8+Fl/Pox8uR28uVdcuPuvyssS3J6M9k4lWxt+12Q2caxrF7GrY2Rg4Nk/fvog4e/kJw8k+zsJpe2jgXGR3gX8O+APOdViw2wSgcPxgB5zqsWG2CVDh6MAfKcVy02wCodPBgD5DmvWmyAVTp4MAbIc1612ACrdPBgDJDnvGqxAVbp4MEYIM951WIDrNLBgzFAnvOqxQZYpYMHY4A851WLDbBKBw/GAHnOqxYbYJUOHowB8pxXLTbAKh08GAPkOa9abIBVOngwBshzXrXYAKt08GAMkOe8arEBVungwRggz3nVYgOs0sGDMUCe86rFBlilgwdjgDznVYsNsEoHD8YAec6rFhtglQ4ejAHynFctNsAqHTwYA+Q5r1psgFU6eDAGyHNetdgAq3TwYAyQ57xqsQFW6eDBGCDPedViA6zSwYMxQJ7zqsUGWKWDB2OAPOdViw2wSgcPxgB5zqsWG2CVDh6MAfKcVy02wCodPBgD5DmvWmyAVTp4MAbIc1612ACrdPBgDJDnvGqxAVbp4MEYIM951WIDrNLBgzFAnvOqxQZYpYMHY4A851WLDbBKBw/GAHnOqxYbYJUOHowB8pxXLTbAKh08GAPkOa9abIBVOngwBshzXrXYAKt08GAMkOe8arEBVungwRggz3nVYgOs0sGDMUCe86rFBlilgwdjgDznVYsNsEoHD8YAec6rFhtglQ4ejAHynFctNsAqHTwYA+Q5r1psgFU6eDAGyHNetdgAq3TwYAyQ57xqsQFW6eDBGCDPedViA6zSwYMxQJ7zqsUGWKWDB2OAPOdViw2wSgcPxgB5zqsWG2CVDh6MAfKcVy02wCodPBgD5DmvWnwY4LcqImFQF/gDPPn7jlgEQwcAAAAASUVORK5CYII=</thumbnail><stage name="Stage" width="480" height="360" costume="0" color="255,255,255,1" tempo="60" threadsafe="false" penlog="false" volume="100" pan="0" lines="round" ternary="false" hyperops="true" codify="false" inheritance="true" sublistIDs="false" scheduled="false" id="1"><pentrails>data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAeAAAAFoCAYAAACPNyggAAARbUlEQVR4Xu3dT2jfdx3H8dfn94tMpWGKRPHkHxx4964XQZgM15YeFIQhiDc9ePE0FE+zCOLRf5cpCLOpqIh42smT4EE8VPAwRRhGEe0aWNvf7yNJx5rNbWnS0Bf09xiMdpB8X/k9eMOTZkk64h8CBAgQIEDggQuMB75okAABAgQIEIgAOwICBAgQIFAQEOACukkCBAgQICDAboAAAQIECBQEBLiAbpIAAQIECAiwGyBAgAABAgUBAS6gmyRAgAABAgLsBggQIECAQEFAgAvoJgkQIECAgAC7AQIECBAgUBAQ4AK6SQIECBAgIMBugAABAgQIFAQEuIBukgABAgQICLAbIECAAAECBQEBLqCbJECAAAECAuwGCBAgQIBAQUCAC+gmCRAgQICAALsBAgQIECBQEBDgArpJAgQIECAgwG6AAAECBAgUBAS4gG6SAAECBAgIsBsgQIAAAQIFAQEuoJskQIAAAQIC7AYIECBAgEBBQIAL6CYJECBAgIAAuwECBAgQIFAQEOACukkCBAgQIPCWAZ6Xci7JTm5lJ4vlzuHvMx/LzMzW+vJ4Lv9BSIAAAQIECJxcYMyLi69lnZ2McSewIzuZcyc5/O93vMUjf5dbq8+MX+afJ5/1HgQIECBAYLMFxrywnKcnmH/JXD8+rubPp3+G9yRAgAABApsncFyA95O5l4y9zOxlZC/JVpLPvUo18++MPDV2V7/YPD6vmAABAgQInE5gzPOLbyX5RxbjIK57mau9rLOX7eyNZ3PjjR47zy8vZeT7SR69G+Lx3XH19ldO92F4LwIECBAgsFkCp/4q6Hlh6+PJfD7JnWfMzHF1tdgsPq+WAAECBAicTuBUAZ4X81jm4jfJ+PCR2Z+N3dWl030Y3osAAQIECGyWwIkDPC9ufTJz/jTJe+5SzW+M3fXXN4vOqyVAgAABAqcXOFGA5/nFlzPGt1/5QqyDTzv/NzNfGD9fXTn9h+A9CRAgQIDA5gncU4Dnwf/nvbB1OZlfPUL014zV4+NK/rR5bF4xAQIECBC4P4FjAzyfzLuyWP44yaePfMr5D7m5fmL8Kn+/v3nvTYAAAQIENlPg/wI8P5a35QN5X5L3Z738SBbz6WR89AjPT/LS6kvjt2/8LUqbyehVEyBAgACBkwm8GuB5cfnDJE9lHn5b0Zv8yXh+c+yunz7ZhLcmQIAAAQIEXi9wGNqZLHJhefvNw5t1Rr44rqx+hJAAAQIECBC4f4G7fwK+sDz4oRqfeN0jV0l+n+SZsbu6ev9znkCAAAECBAgcCLzmU83zyeVnM/KdjLz3CM+LyXwmi8Ufs7q9n2Q/W7mRl7OfR3Ij787++F5u4SRAgAABAgTuXeDgL2P4fNa5nozrye3rGVuPZhx+u9Gn7v0xuXkY5jn3Mw6/OOvg10VmHsnMD8bV9eUTPMubEiBAgACBh17guL8N6SwAXh67q7efxYM8gwABAgQIPCwCDyLAL4zd1QcfFjCvgwABAgQInIXAmOeXzybZPvx35Fwy7/w+4+DXc0mW9zw087eMXMvMtWS+kMX4VxarX4/n8uI9P8MbEiBAgACBDRA4/idhPZF3ZrwS6EXOZW5tZ2tuZ2Y7c34oyc2M9fN5Kdf8cI4NuBgvkQABAgTORODYAJ/JiocQIECAAAECrxEQYAdBgAABAgQKAgJcQDdJgAABAgQE2A0QIECAAIGCgAAX0E0SIECAAAEBdgMECBAgQKAgIMAFdJMECBAgQECA3QABAgQIECgICHAB3SQBAgQIEBBgN0CAAAECBAoCAlxAN0mAAAECBATYDRAgQIAAgYKAABfQTRIgQIAAAQF2AwQIECBAoCAgwAV0kwQIECBAQIDdAAECBAgQKAgIcAHdJAECBAgQEGA3QIAAAQIECgICXEA3SYAAAQIEBNgNECBAgACBgoAAF9BNEiBAgAABAXYDBAgQIECgICDABXSTBAgQIEBAgN0AAQIECBAoCAhwAd0kAQIECBAQYDdAgAABAgQKAgJcQDdJgAABAgQE2A0QIECAAIGCgAAX0E0SIECAAAEBdgMECBAgQKAgIMAFdJMECBAgQECA3QABAgQIECgICHAB3SQBAgQIEBBgN0CAAAECBAoCAlxAN0mAAAECBATYDRAgQIAAgYKAABfQTRIgQIAAAQF2AwQIECBAoCAgwAV0kwQIECBAQIDdAAECBAgQKAgIcAHdJAECBAgQEGA3QIAAAQIECgICXEA3SYAAAQIEBNgNECBAgACBgoAAF9BNEiBAgAABAXYDBAgQIECgICDABXSTBAgQIEBAgN0AAQIECBAoCAhwAd0kAQIECBAQYDdAgAABAgQKAgJcQDdJgAABAgQE2A0QIECAAIGCgAAX0E0SIECAAAEBdgMECBAgQKAgIMAFdJMECBAgQECA3QABAgQIECgICHAB3SQBAgQIEBBgN0CAAAECBAoCAlxAN0mAAAECBATYDRAgQIAAgYKAABfQTRIgQIAAAQF2AwQIECBAoCAgwAV0kwQIECBAQIDdAAECBAgQKAgIcAHdJAECBAgQEGA3QIAAAQIECgICXEA3SYAAAQIEBNgNECBAgACBgoAAF9BNEiBAgAABAXYDBAgQIECgICDABXSTBAgQIEBAgN0AAQIECBAoCAhwAd0kAQIECBAQYDdAgAABAgQKAgJcQDdJgAABAgQE2A0QIECAAIGCgAAX0E0SIECAAAEBdgMECBAgQKAgIMAFdJMECBAgQECA3QABAgQIECgICHAB3SQBAgQIEBBgN0CAAAECBAoCAlxAN0mAAAECBATYDRAgQIAAgYKAABfQTRIgQIAAAQF2AwQIECBAoCAgwAV0kwQIECBAQIDdAAECBAgQKAgIcAHdJAECBAgQEGA3QIAAAQIECgICXEA3SYAAAQIEBNgNECBAgACBgoAAF9BNEiBAgAABAXYDBAgQIECgICDABXSTBAgQIEBAgN0AAQIECBAoCAhwAd0kAQIECBAQYDdAgAABAgQKAgJcQDdJgAABAgQE2A0QIECAAIGCgAAX0E0SIECAAAEBdgMECBAgQKAgIMAFdJMECBAgQECA3QABAgQIECgICHAB3SQBAgQIEBBgN0CAAAECBAoCAlxAN0mAAAECBATYDRAgQIAAgYKAABfQTRIgQIAAAQF2AwQIECBAoCAgwAV0kwQIECBAQIDdAAECBAgQKAgIcAHdJAECBAgQEGA3QIAAAQIECgICXEA3SYAAAQIEBNgNECBAgACBgoAAF9BNEiBAgAABAXYDBAgQIECgICDABXSTBAgQIEBAgN0AAQIECBAoCAhwAd0kAQIECBAQYDdAgAABAgQKAgJcQDdJgAABAgQE2A0QIECAAIGCgAAX0E0SIECAAAEBdgMECBAgQKAgIMAFdJMECBAgQECA3QABAgQIECgICHAB3SQBAgQIEBBgN0CAAAECBAoCAlxAN0mAAAECBATYDRAgQIAAgYKAABfQTRIgQIAAAQF2AwQIECBAoCAgwAV0kwQIECBAQIDdAAECBAgQKAgIcAHdJAECBAgQEGA3QIAAAQIECgICXEA3SYAAAQIEBNgNECBAgACBgoAAF9BNEiBAgAABAXYDBAgQIECgICDABXSTBAgQIEBAgN0AAQIECBAoCAhwAd0kAQIECBAQYDdAgAABAgQKAgJcQDdJgAABAgQE2A0QIECAAIGCgAAX0E0SIECAAAEBdgMECBAgQKAgIMAFdJMECBAgQECA3QABAgQIECgICHAB3SQBAgQIEBBgN0CAAAECBAoCAlxAN0mAAAECBATYDRAgQIAAgYKAABfQTRIgQIAAAQF2AwQIECBAoCAgwAV0kwQIECBAQIDdAAECBAgQKAgIcAHdJAECBAgQEGA3QIAAAQIECgICXEA3SYAAAQIEBNgNECBAgACBgoAAF9BNEiBAgAABAXYDBAgQIECgICDABXSTBAgQIEBAgN0AAQIECBAoCAhwAd0kAQIECBAQYDdAgAABAgQKAgJcQDdJgAABAgQE2A0QIECAAIGCgAAX0E0SIECAAAEBdgMECBAgQKAgIMAFdJMECBAgQECA3QABAgQIECgICHAB3SQBAgQIEBBgN0CAAAECBAoCAlxAN0mAAAECBATYDRAgQIAAgYKAABfQTRIgQIAAAQF2AwQIECBAoCAgwAV0kwQIECBAQIDdAAECBAgQKAgIcAHdJAECBAgQEGA3QIAAAQIECgICXEA3SYAAAQIEBNgNECBAgACBgoAAF9BNEiBAgAABAXYDBAgQIECgICDABXSTBAgQIEBAgN0AAQIECBAoCAhwAd0kAQIECBAQYDdAgAABAgQKAgJcQDdJgAABAgQE2A0QIECAAIGCgAAX0E0SIECAAAEBdgMECBAgQKAgIMAFdJMECBAgQECA3QABAgQIECgICHAB3SQBAgQIEBBgN0CAAAECBAoCAlxAN0mAAAECBATYDRAgQIAAgYKAABfQTRIgQIAAAQF2AwQIECBAoCAgwAV0kwQIECBAQIDdAAECBAgQKAgIcAHdJAECBAgQEGA3QIAAAQIECgICXEA3SYAAAQIEBNgNECBAgACBgoAAF9BNEiBAgAABAXYDBAgQIECgICDABXSTBAgQIEBAgN0AAQIECBAoCAhwAd0kAQIECBAQYDdAgAABAgQKAgJcQDdJgAABAgQE2A0QIECAAIGCgAAX0E0SIECAAAEBdgMECBAgQKAgIMAFdJMECBAgQECA3QABAgQIECgICHAB3SQBAgQIEBBgN0CAAAECBAoCAlxAN0mAAAECBATYDRAgQIAAgYKAABfQTRIgQIAAAQF2AwQIECBAoCAgwAV0kwQIECBAQIDdAAECBAgQKAgIcAHdJAECBAgQEGA3QIAAAQIECgICXEA3SYAAAQIEBNgNECBAgACBgoAAF9BNEiBAgAABAXYDBAgQIECgICDABXSTBAgQIEBAgN0AAQIECBAoCAhwAd0kAQIECBAQYDdAgAABAgQKAgJcQDdJgAABAgQE2A0QIECAAIGCgAAX0E0SIECAAAEBdgMECBAgQKAgIMAFdJMECBAgQECA3QABAgQIECgICHAB3SQBAgQIEBBgN0CAAAECBAoCAlxAN0mAAAECBATYDRAgQIAAgYKAABfQTRIgQIAAAQF2AwQIECBAoCAgwAV0kwQIECBAQIDdAAECBAgQKAgIcAHdJAECBAgQEGA3QIAAAQIECgICXEA3SYAAAQIEBNgNECBAgACBgoAAF9BNEiBAgAABAXYDBAgQIECgICDABXSTBAgQIEBAgN0AAQIECBAoCAhwAd0kAQIECBAQYDdAgAABAgQKAgJcQDdJgAABAgQE2A0QIECAAIGCgAAX0E0SIECAAAEBdgMECBAgQKAgIMAFdJMECBAgQECA3QABAgQIECgICHAB3SQBAgQIEBBgN0CAAAECBAoCAlxAN0mAAAECBATYDRAgQIAAgYKAABfQTRIgQIAAAQF2AwQIECBAoCAgwAV0kwQIECBAQIDdAAECBAgQKAgIcAHdJAECBAgQEGA3QIAAAQIECgICXEA3SYAAAQIEBNgNECBAgACBgoAAF9BNEiBAgAABAXYDBAgQIECgICDABXSTBAgQIEBAgN0AAQIECBAoCAhwAd0kAQIECBAQYDdAgAABAgQKAgJcQDdJgAABAgQE2A0QIECAAIGCgAAX0E0SIECAAAEBdgMECBAgQKAgIMAFdJMECBAgQECA3QABAgQIECgICHAB3SQBAgQIEBBgN0CAAAECBAoCAlxAN0mAAAECBATYDRAgQIAAgYKAABfQTRIgQIAAAQF2AwQIECBAoCAgwAV0kwQIECBAQIDdAAECBAgQKAgIcAHdJAECBAgQEGA3QIAAAQIECgICXEA3SYAAAQIEBNgNECBAgACBgoAAF9BNEiBAgAABAXYDBAgQIECgICDABXSTBAgQIEDgfxQpzmmD1fE8AAAAAElFTkSuQmCC</pentrails><costumes><list struct="atomic" id="2"></list></costumes><sounds><list struct="atomic" id="3"></list></sounds><variables></variables><blocks></blocks><scripts></scripts><sprites><sprite name="Sprite" idx="1" x="196.676217765043" y="210.4297994269341" heading="90" scale="1" volume="100" pan="0" rotation="1" draggable="false" costume="0" color="255,82,3,1" pen="tip" id="8"><costumes><list struct="atomic" id="9"></list></costumes><sounds><list struct="atomic" id="10"></list></sounds><blocks></blocks><variables></variables><scripts><comment x="20" y="20" w="188.6666666666667" collapsed="false">Pen size not required by the lab, but makes the writing much easier to see.</comment><script x="20" y="86"><block s="receiveGo"></block><block s="clear"></block><block s="down"></block><block s="setSize"><l>3</l></block><block s="doForever"><script><block s="doIfElse"><block s="reportGreaterThan"><block s="yPosition"></block><l>50</l></block><script><block s="setColor"><color>255,82,3,1</color></block></script><script><block s="doIfElse"><custom-block s="is %s between %s and %s ?"><block s="yPosition"></block><l>-30</l><l>50</l><comment w="53.333333333333336" collapsed="true">2.4</comment></custom-block><script><block s="setColor"><color>0,240,18,1</color></block></script><script><block s="setColor"><color>12,0,241,1</color></block></script></block></script></block><block s="doIfElse"><block s="reportMouseDown"></block><script><block s="down"></block></script><script><block s="up"></block></script></block><block s="doGotoObject"><l><option>mouse-pointer</option></l></block></script></block></script><script x="20" y="494.1666666666664"><block s="clear"></block><block s="down"></block><block s="setSize"><l>3</l></block><block s="doForever"><script><block s="doIfElse"><block s="reportGreaterThan"><block s="yPosition"></block><l>0</l></block><script><block s="setColor"><color>255,35,24,1</color></block></script><script><block s="setColor"><color>12,0,241,1</color></block></script></block><block s="doIfElse"><block s="reportMouseDown"><comment w="53.333333333333336" collapsed="true">1.3</comment></block><script><block s="down"></block></script><script><block s="up"></block></script></block><block s="doGotoObject"><l><option>mouse-pointer</option></l></block></script><comment w="75.33333333333333" collapsed="true">2.3.1.2</comment></block></script><comment x="20" y="794.6666666666664" w="90" collapsed="true">2.2  Inclusive.</comment><script x="20" y="826.6666666666664"><custom-block s="%s ≤ %s"><l></l><l></l><comment w="280.6666666666667" collapsed="true">2.3.  See inside the blocks.  On the next lab page (2.3.3) there is a discussion of several different correct solutions to these.&#xD;&#xD;We&apos;ve learned that students find this exercise difficult.  This may be one of the places where a whole-class discussion would be useful.  &quot;If a&lt;b, is a≤b true?  What if a=b?  What if a&gt;b?&quot;</comment></custom-block></script><script x="20" y="861.6666666666666"><custom-block s="%s ≥ %s"><l></l><l></l></custom-block></script><script x="20" y="894.6666666666666"><custom-block s="%s ≠ %s"><l></l><l></l></custom-block></script><script x="20" y="927.6666666666666"><custom-block s="%b implies %b"><l/><l/><comment w="105.33333333333333" collapsed="true">if P then Q. TFTT</comment></custom-block></script><script x="20" y="962.6666666666669"><custom-block s="%b xor %b"><l/><l/><comment w="117.33333333333333" collapsed="true">exclusive OR. FTTF</comment></custom-block></script></scripts></sprite></sprites></stage><hidden></hidden><headers></headers><code></code><blocks><block-definition s="%&apos;a&apos; ≤ %&apos;b&apos;" type="predicate" category="operators"><header></header><code></code><translations></translations><inputs><input type="%s"></input><input type="%s"></input></inputs><script><block s="doReport"><block s="reportOr"><block s="reportLessThan"><block var="a"/><block var="b"/></block><block s="reportEquals"><block var="a"/><block var="b"/></block></block></block></script></block-definition><block-definition s="%&apos;a&apos; ≥ %&apos;b&apos;" type="predicate" category="operators"><header></header><code></code><translations></translations><inputs><input type="%s"></input><input type="%s"></input></inputs><script><block s="doReport"><block s="reportOr"><block s="reportGreaterThan"><block var="a"/><block var="b"/></block><block s="reportEquals"><block var="a"/><block var="b"/></block></block></block></script></block-definition><block-definition s="%&apos;a&apos; ≠ %&apos;b&apos;" type="predicate" category="operators"><header></header><code></code><translations></translations><inputs><input type="%s"></input><input type="%s"></input></inputs><script><block s="doReport"><block s="reportNot"><block s="reportEquals"><block var="a"/><block var="b"/></block></block></block></script></block-definition><block-definition s="is %&apos;mid&apos; between %&apos;low&apos; and %&apos;high&apos; ?" type="predicate" category="operators"><header></header><code></code><translations></translations><inputs><input type="%s"></input><input type="%s"></input><input type="%s"></input></inputs><script><block s="doReport"><block s="reportAnd"><custom-block s="%s ≥ %s"><block var="mid"/><block var="low"/></custom-block><custom-block s="%s ≤ %s"><block var="mid"/><block var="high"/></custom-block></block></block></script><scripts><comment x="14.666666666666666" y="88.8" w="304.6666666666667" collapsed="false">As the lab says, it&apos;s okay to use &quot;&gt;&quot; and &quot;&lt;&quot; instead of &quot;≥&quot; and &quot;≤.&quot;</comment></scripts></block-definition><block-definition s="%&apos;p&apos; implies %&apos;q&apos;" type="predicate" category="operators"><header></header><code></code><translations></translations><inputs><input type="%b"></input><input type="%b"></input></inputs><script><block s="doReport"><block s="reportOr"><block s="reportNot"><block var="p"/></block><block var="q"/></block></block></script></block-definition><block-definition s="%&apos;p&apos; xor %&apos;q&apos;" type="predicate" category="operators"><header></header><code></code><translations></translations><inputs><input type="%b"></input><input type="%b"></input></inputs><script><block s="doReport"><block s="reportAnd"><block s="reportOr"><block var="p"/><block var="q"/></block><block s="reportNot"><block s="reportAnd"><block var="p"/><block var="q"/></block></block></block></block></script></block-definition></blocks><variables></variables></project><media name="U2L3-Predicates(template)" app="Snap! 6, https://snap.berkeley.edu" version="1"></media></snapdata>