Gargoyle file for scene: ///ipbook/IPBookFig2-17.gargoyle Produced by version 8708.21 Slope: [T 0.0] [F 15.0] [F 30.0] [F 45.0] [F 60.0] [T 90.0] [F 120.0] [F 135.0] [F 150.0] Angle: [F -90.0] [F -60.0] [F -45.0] [F -30.0] [F 0.0] [F 30.0] [F 45.0] [F 60.0] [F 90.0] Radius: [F 14.0] [F 12.0] [F 10.0] [F 9.6] [F 9.5] [F 9.25] [F 7.375] [F 6.5] [F 5.0] [F 4.175] [F 4.0] [F 3.5] [F 3.0] [F 2.361783] [F 2.0] [F 1.75] [F 1.5] [F 1.1875] [F 1.0] [F 0.8] [F 0.75] [F 0.6666667] [F 0.5] [F 0.47] [F 0.4] [F 0.3333333] [F 0.25] [F 0.2] [F 0.1574802] [F 0.15] [F 0.125] [T 0.1147642] [F 0.1111111] [F 0.1012511] [F 0.1] [F 0.0625] [F 5.555556e-2] LineDistance: [F 1.0] [F 0.5] [F 0.25] [F 0.2] [F 0.15] [F 0.1111111] [F 0.1] [F 5.555556e-2] [F 0.0] Midpoints: T Heuristics: T ShowAlignments: T ShowColors: F ScaleUnit: 72.0 DisplayStyle: print Gravity: T GravityExtent: 0.1736111 GravityType: pointsPreferred DefaultFont: xerox/pressfonts/Helvetica-mrr [r1: 0.0 s: [8.000004 8.000004] r2: 0.0] 1.0 1.0 Defaults: [1 0.5] [1 1.0] 1.0 round round Dashed: F Shadows: []F Anchor: F Entities: [80]: Box [141.635,376.3209] [203.9044,422.383] [1.018588 0.0 -17.96774 0.0 0.7553571 -67.47786] strokeWidths: ( 2.0 2.0 2.0 2.0 ) strokeEnds: ( square square square square ) strokeColors: ( [1 1.0] [1 1.0] [1 1.0] [1 1.0] ) fillColor: [] dashes: ( F F F F ) props: ( ( F ) ( F ) ( F ) ( F ) ) Outline fillColor: [0 0.0 0.0 0.0] Trajectories: [1] Traj (open) [9] arrows: 0 j: round e: T round w: 0.0 c: T [0 0.0 0.0 0.0] d: T F [0.0,0.0] (Line ) [306.0001,0.0] (Line ) [612.0001,0.0] (Line ) [612.0001,396.0001] (Line ) [612.0001,792.0002] (Line ) [306.0001,792.0002] (Line ) [0.0,792.0002] (Line ) [0.0,396.0001] (Line ) [0.0,72.0] (Line ) [0.0,0.0] Outline fillColor: [0 0.0 0.0 0.0] Trajectories: [1] Traj (open) [9] arrows: 0 j: round e: T round w: 0.0 c: T [0 0.0 0.0 0.0] d: T F [0.0,0.0] (Line ) [306.0001,0.0] (Line ) [612.0001,0.0] (Line ) [612.0001,396.0001] (Line ) [612.0001,792.0002] (Line ) [306.0001,792.0002] (Line ) [0.0,792.0002] (Line ) [0.0,396.0001] (Line ) [0.0,72.0] (Line ) [0.0,0.0] Outline fillColor: [0 0.0 0.0 0.0] Trajectories: [1] Traj (open) [9] arrows: 0 j: round e: T round w: 0.0 c: T [0 0.0 0.0 0.0] d: T F [0.0,0.0] (Line ) [306.0001,0.0] (Line ) [612.0001,0.0] (Line ) [612.0001,396.0001] (Line ) [612.0001,792.0002] (Line ) [306.0001,792.0002] (Line ) [0.0,792.0002] (Line ) [0.0,396.0001] (Line ) [0.0,72.0] (Line ) [0.0,0.0] Outline fillColor: [0 0.0 0.0 0.0] Trajectories: [1] Traj (open) [9] arrows: 0 j: round e: T round w: 0.0 c: T [0 0.0 0.0 0.0] d: T F [0.0,0.0] (Line ) [306.0001,0.0] (Line ) [612.0001,0.0] (Line ) [612.0001,396.0001] (Line ) [612.0001,792.0002] (Line ) [306.0001,792.0002] (Line ) [0.0,792.0002] (Line ) [0.0,396.0001] (Line ) [0.0,72.0] (Line ) [0.0,0.0] Outline fillColor: [0 0.0 0.0 0.0] Trajectories: [1] Traj (open) [9] arrows: 0 j: round e: T round w: 0.0 c: T [0 0.0 0.0 0.0] d: T F [0.0,0.0] (Line ) [306.0001,0.0] (Line ) [612.0001,0.0] (Line ) [612.0001,396.0001] (Line ) [612.0001,792.0002] (Line ) [306.0001,792.0002] (Line ) [0.0,792.0002] (Line ) [0.0,396.0001] (Line ) [0.0,72.0] (Line ) [0.0,0.0] Outline fillColor: [0 0.0 0.0 0.0] Trajectories: [1] Traj (open) [9] arrows: 0 j: round e: T round w: 0.0 c: T [0 0.0 0.0 0.0] d: T F [0.0,0.0] (Line ) [306.0001,0.0] (Line ) [612.0001,0.0] (Line ) [612.0001,396.0001] (Line ) [612.0001,792.0002] (Line ) [306.0001,792.0002] (Line ) [0.0,792.0002] (Line ) [0.0,396.0001] (Line ) [0.0,72.0] (Line ) [0.0,0.0] Outline fillColor: [0 0.0 0.0 0.0] Trajectories: [1] Traj (open) [9] arrows: 0 j: round e: T round w: 0.0 c: T [0 0.0 0.0 0.0] d: T F [0.0,0.0] (Line ) [306.0001,0.0] (Line ) [612.0001,0.0] (Line ) [612.0001,396.0001] (Line ) [612.0001,792.0002] (Line ) [306.0001,792.0002] (Line ) [0.0,792.0002] (Line ) [0.0,396.0001] (Line ) [0.0,72.0] (Line ) [0.0,0.0] Outline fillColor: [0 0.0 0.0 0.0] Trajectories: [1] Traj (open) [9] arrows: 0 j: round e: T round w: 0.0 c: T [0 0.0 0.0 0.0] d: T F [0.0,0.0] (Line ) [306.0001,0.0] (Line ) [612.0001,0.0] (Line ) [612.0001,396.0001] (Line ) [612.0001,792.0002] (Line ) [306.0001,792.0002] (Line ) [0.0,792.0002] (Line ) [0.0,396.0001] (Line ) [0.0,72.0] (Line ) [0.0,0.0] Outline fillColor: [0 0.0 0.0 0.0] Trajectories: [1] Traj (open) [9] arrows: 0 j: round e: T round w: 0.0 c: T [0 0.0 0.0 0.0] d: T F [0.0,0.0] (Line ) [306.0001,0.0] (Line ) [612.0001,0.0] (Line ) [612.0001,396.0001] (Line ) [612.0001,792.0002] (Line ) [306.0001,792.0002] (Line ) [0.0,792.0002] (Line ) [0.0,396.0001] (Line ) [0.0,72.0] (Line ) [0.0,0.0] Outline fillColor: [0 0.0 0.0 0.0] Trajectories: [1] Traj (open) [9] arrows: 0 j: round e: T round w: 0.0 c: T [0 0.0 0.0 0.0] d: T F [0.0,0.0] (Line ) [306.0001,0.0] (Line ) [612.0001,0.0] (Line ) [612.0001,396.0001] (Line ) [612.0001,792.0002] (Line ) [306.0001,792.0002] (Line ) [0.0,792.0002] (Line ) [0.0,396.0001] (Line ) [0.0,72.0] (Line ) [0.0,0.0] Outline fillColor: [0 0.0 0.0 0.0] Trajectories: [1] Traj (open) [9] arrows: 0 j: round e: T round w: 0.0 c: T [0 0.0 0.0 0.0] d: T F [0.0,0.0] (Line ) [306.0001,0.0] (Line ) [612.0001,0.0] (Line ) [612.0001,396.0001] (Line ) [612.0001,792.0002] (Line ) [306.0001,792.0002] (Line ) [0.0,792.0002] (Line ) [0.0,396.0001] (Line ) [0.0,72.0] (Line ) [0.0,0.0] Outline fillColor: [0 0.0 0.0 0.0] Trajectories: [1] Traj (open) [9] arrows: 0 j: round e: T round w: 0.0 c: T [0 0.0 0.0 0.0] d: T F [0.0,0.0] (Line ) [306.0001,0.0] (Line ) [612.0001,0.0] (Line ) [612.0001,396.0001] (Line ) [612.0001,792.0002] (Line ) [306.0001,792.0002] (Line ) [0.0,792.0002] (Line ) [0.0,396.0001] (Line ) [0.0,72.0] (Line ) [0.0,0.0] Outline fillColor: [0 0.0 0.0 0.0] Trajectories: [1] Traj (open) [9] arrows: 0 j: round e: T round w: 0.0 c: T [0 0.0 0.0 0.0] d: T F [0.0,0.0] (Line ) [306.0001,0.0] (Line ) [612.0001,0.0] (Line ) [612.0001,396.0001] (Line ) [612.0001,792.0002] (Line ) [306.0001,792.0002] (Line ) [0.0,792.0002] (Line ) [0.0,396.0001] (Line ) [0.0,72.0] (Line ) [0.0,0.0] Text T "Figure 2.17" xerox/pressfonts/Helvetica-b [8.000004 0.0 167.6111 0.0 8.000004 55.4945][0 0.0 0.0 0.0] F 1.0 props: ( F ) Outline fillColor: [0 0.0 0.0 0.0] Trajectories: [1] Traj (open) [9] arrows: 0 j: round e: T round w: 0.0 c: T [0 0.0 0.0 0.0] d: T F [0.0,0.0] (Line ) [306.0001,0.0] (Line ) [612.0001,0.0] (Line ) [612.0001,396.0001] (Line ) [612.0001,792.0002] (Line ) [306.0001,792.0002] (Line ) [0.0,792.0002] (Line ) [0.0,396.0001] (Line ) [0.0,72.0] (Line ) [0.0,0.0] Outline fillColor: [0 0.0 0.0 0.0] Trajectories: [1] Traj (open) [9] arrows: 0 j: round e: T round w: 0.0 c: T [0 0.0 0.0 0.0] d: T F [0.0,0.0] (Line ) [306.0001,0.0] (Line ) [612.0001,0.0] (Line ) [612.0001,396.0001] (Line ) [612.0001,792.0002] (Line ) [306.0001,792.0002] (Line ) [0.0,792.0002] (Line ) [0.0,396.0001] (Line ) [0.0,72.0] (Line ) [0.0,0.0] Outline fillColor: [0 0.0 0.0 0.0] Trajectories: [1] Traj (open) [9] arrows: 0 j: round e: T round w: 0.0 c: T [0 0.0 0.0 0.0] d: T F [0.0,0.0] (Line ) [306.0001,0.0] (Line ) [612.0001,0.0] (Line ) [612.0001,396.0001] (Line ) [612.0001,792.0002] (Line ) [306.0001,792.0002] (Line ) [0.0,792.0002] (Line ) [0.0,396.0001] (Line ) [0.0,72.0] (Line ) [0.0,0.0] Outline fillColor: [0 0.0 0.0 0.0] Trajectories: [1] Traj (open) [9] arrows: 0 j: round e: T round w: 0.0 c: T [0 0.0 0.0 0.0] d: T F [0.0,0.0] (Line ) [306.0001,0.0] (Line ) [612.0001,0.0] (Line ) [612.0001,396.0001] (Line ) [612.0001,792.0002] (Line ) [306.0001,792.0002] (Line ) [0.0,792.0002] (Line ) [0.0,396.0001] (Line ) [0.0,72.0] (Line ) [0.0,0.0] Outline fillColor: [0 0.0 0.0 0.0] Trajectories: [1] Traj (open) [9] arrows: 0 j: round e: T round w: 0.0 c: T [0 0.0 0.0 0.0] d: T F [0.0,0.0] (Line ) [306.0001,0.0] (Line ) [612.0001,0.0] (Line ) [612.0001,396.0001] (Line ) [612.0001,792.0002] (Line ) [306.0001,792.0002] (Line ) [0.0,792.0002] (Line ) [0.0,396.0001] (Line ) [0.0,72.0] (Line ) [0.0,0.0] Box [124.9452,389.7448] [234.3386,422.383] [1.018588 0.0 -48.96771 0.0 0.7553571 -109.5613] strokeWidths: ( 2.0 2.0 2.0 2.0 ) strokeEnds: ( square square square square ) strokeColors: ( [1 1.0] [1 1.0] [1 1.0] [1 1.0] ) fillColor: [] dashes: ( F F F F ) props: ( ( F ) ( F ) ( F ) ( F ) ) Outline fillColor: [1 1.0] Trajectories: [1] Traj (fence) [3] arrows: 0 j: round e: T round w: 0.0 c: T [1 1.0] d: T F [156.7703,225.8169] (Line ) [168.3647,228.6194] (Line ) [167.0268,225.8169] (Line ) [168.3647,223.0147] (Line ) Outline fillColor: [1 1.0] Trajectories: [1] Traj (open) [11] arrows: 0 j: round e: T round w: 0.0 c: T [1 1.0] d: T F [531.0,0.0] (Line ) [265.5,0.0] (Line ) [0.0,0.0] (Line ) [0.0,54.0] (Line ) [0.0,558.0] (Line ) [0.0,666.0] (Line ) [36.0,666.0] (Line ) [85.5,666.0] (Line ) [445.5,666.0] (Line ) [531.0,666.0] (Line ) [531.0,333.0] (Line ) [531.0,0.0] Outline fillColor: [1 1.0] Trajectories: [1] Traj (open) [4] arrows: 0 j: round e: T round w: -1.0 c: T [1 1.0] d: T F [-36.0,666.0] (Line 1.0 Tools ) [-9.0,666.0] (Line 0.0 Tools ) [0.0,666.0] (Line 0.0 Tools ) [0.0,675.0] (Line 1.0 Tools ) [0.0,702.0] Outline fillColor: [1 1.0] Trajectories: [1] Traj (open) [4] arrows: 0 j: round e: T round w: -1.0 c: T [1 1.0] d: T F [-36.0,0.0] (Line 1.0 Tools ) [-9.0,0.0] (Line 0.0 Tools ) [0.0,0.0] (Line 0.0 Tools ) [0.0,-9.0] (Line 1.0 Tools ) [0.0,-36.0] Outline fillColor: [1 1.0] Trajectories: [1] Traj (open) [4] arrows: 0 j: round e: T round w: -1.0 c: T [1 1.0] d: T F [531.0,-36.0] (Line 1.0 Tools ) [531.0,-9.0] (Line 0.0 Tools ) [531.0,0.0] (Line 0.0 Tools ) [540.0,0.0] (Line 1.0 Tools ) [567.0,0.0] Outline fillColor: [1 1.0] Trajectories: [1] Traj (open) [4] arrows: 0 j: round e: T round w: -1.0 c: T [1 1.0] d: T F [567.0,666.0] (Line 1.0 Tools ) [540.0,666.0] (Line 0.0 Tools ) [531.0,666.0] (Line 0.0 Tools ) [531.0,675.0] (Line 1.0 Tools ) [531.0,702.0] Box [124.9452,388.6638] [234.3386,422.383] [1.018588 0.0 -48.96771 0.0 0.7553571 -141.5049] strokeWidths: ( 2.0 2.0 2.0 2.0 ) strokeEnds: ( square square square square ) strokeColors: ( [1 1.0] [1 1.0] [1 1.0] [1 1.0] ) fillColor: [] dashes: ( F F F F ) props: ( ( F ) ( F ) ( F ) ( F ) ) Box [124.9452,389.7448] [234.3386,422.383] [1.018588 0.0 -48.96771 0.0 0.7553571 -173.4484] strokeWidths: ( 2.0 2.0 2.0 2.0 ) strokeEnds: ( square square square square ) strokeColors: ( [1 1.0] [1 1.0] [1 1.0] [1 1.0] ) fillColor: [] dashes: ( F F F F ) props: ( ( F ) ( F ) ( F ) ( F ) ) Box [124.9452,389.7448] [234.3386,422.383] [1.018588 0.0 -48.96771 0.0 0.7553571 -205.3921] strokeWidths: ( 2.0 2.0 2.0 2.0 ) strokeEnds: ( square square square square ) strokeColors: ( [1 1.0] [1 1.0] [1 1.0] [1 1.0] ) fillColor: [] dashes: ( F F F F ) props: ( ( F ) ( F ) ( F ) ( F ) ) Text T "composed operator" xerox/pressfonts/Helvetica [8.1 0.0 82.54291 0.0 8.1 199.1009][] F 1.0 props: ( F ) Text T "DO" xerox/pressfonts/Helvetica [8.1 0.0 82.54291 0.0 8.1 190.8379][] F 1.0 props: ( F ) Text T "composed operator" xerox/pressfonts/Helvetica [8.1 0.0 82.54291 0.0 8.1 167.1573][] F 1.0 props: ( F ) Text T "DOSAVE" xerox/pressfonts/Helvetica [8.1 0.0 82.54291 0.0 8.1 158.8943][] F 1.0 props: ( F ) Text T "composed operator" xerox/pressfonts/Helvetica [8.1 0.0 82.54291 0.0 8.1 135.2137][] F 1.0 props: ( F ) Text T "DOSAVEALL" xerox/pressfonts/Helvetica [8.1 0.0 82.54291 0.0 8.1 126.9507][] F 1.0 props: ( F ) Text T "DOSAVESIMPLEBODY" xerox/pressfonts/Helvetica [8.1 0.0 82.54291 0.0 8.1 103.2701][] F 1.0 props: ( F ) Text T "body" xerox/pressfonts/Helvetica [8.1 0.0 82.54291 0.0 8.1 95.00715][] F 1.0 props: ( F ) Outline fillColor: [1 1.0] Trajectories: [1] Traj (fence) [3] arrows: 0 j: round e: T round w: 0.0 c: T [1 1.0] d: T F [167.2703,169.457] (Line ) [178.8647,172.2596] (Line ) [177.5268,169.457] (Line ) [178.8647,166.6548] (Line ) Outline fillColor: [1 1.0] Trajectories: [1] Traj (fence) [3] arrows: 0 j: round e: T round w: 0.0 c: T [1 1.0] d: T F [167.2703,201.4006] (Line ) [178.8647,204.2031] (Line ) [177.5268,201.4006] (Line ) [178.8647,198.5984] (Line ) Outline fillColor: [1 1.0] Trajectories: [1] Traj (fence) [3] arrows: 0 j: round e: T round w: 0.0 c: T [1 1.0] d: T F [167.2703,137.5134] (Line ) [178.8647,140.316] (Line ) [177.5268,137.5134] (Line ) [178.8647,134.7112] (Line ) Outline fillColor: [1 1.0] Trajectories: [1] Traj (fence) [3] arrows: 0 j: round e: T round w: 0.0 c: T [1 1.0] d: T F [172.7703,104.9884] (Line ) [184.3647,107.791] (Line ) [183.0268,104.9884] (Line ) [184.3647,102.1862] (Line ) Outline fillColor: [1 0.5] Trajectories: [1] Traj (open) [1] arrows: 0 j: round e: T round w: 1.0 c: T [1 1.0] d: T F [214.0267,148.5867] (Line ) [214.0267,190.3274] Outline fillColor: [1 0.5] Trajectories: [1] Traj (open) [3] arrows: 0 j: round e: T round w: 1.0 c: T [1 1.0] d: T F [177.5268,105.5018] (Line ) [344.3534,105.5018] (Arc [353.943,111.0385] ) [355.4267,116.5751] (Line ) [355.4267,186.3028] Outline fillColor: [1 0.5] Trajectories: [1] Traj (open) [2] arrows: 0 j: round e: T round w: 1.0 c: T [1 1.0] d: T F [177.5268,137.5134] (Line ) [202.9535,137.5134] (Arc [212.5431,143.0501] ) [214.0267,148.5867] Outline fillColor: [1 0.5] Trajectories: [1] Traj (open) [2] arrows: 0 j: round e: T round w: 1.0 c: T [1 1.0] d: T F [177.5268,169.457] (Line ) [202.9535,169.457] (Arc [212.5431,174.9937] ) [214.0267,180.5303] Outline fillColor: [1 0.5] Trajectories: [1] Traj (open) [1] arrows: 0 j: round e: T round w: 1.0 c: T [1 1.0] d: T F [177.5268,201.4006] (Line ) [239.0,201.4006] Box [122.0,389.7448] [207.8313,422.383] [1.018588 0.0 114.7323 0.0 0.7553571 -105.3227] strokeWidths: ( 2.0 2.0 2.0 2.0 ) strokeEnds: ( square square square square ) strokeColors: ( [1 1.0] [1 1.0] [1 1.0] [1 1.0] ) fillColor: [] dashes: ( F F F F ) props: ( ( F ) ( F ) ( F ) ( F ) ) Outline fillColor: [1 1.0] Trajectories: [1] Traj (fence) [3] arrows: 0 j: round e: T round w: 0.0 c: T [1 1.0] d: T F [286.5,197.3762] (Line ) [298.0944,200.1787] (Line ) [296.7565,197.3762] (Line ) [298.0944,194.574] (Line ) Outline fillColor: [1 0.5] Trajectories: [1] Traj (open) [1] arrows: 0 j: round e: T round w: 1.0 c: T [1 1.0] d: T F [214.0267,190.3274] (Arc [219.5634,200.0507] ) [225.1,201.4006] Text T "MAKESIMPLECO" xerox/pressfonts/Helvetica [8.1 0.0 243.2429 0.0 8.1 203.3395][] F 1.0 props: ( F ) Text T "body" xerox/pressfonts/Helvetica [8.1 0.0 243.2429 0.0 8.1 195.0765][] F 1.0 props: ( F ) Outline fillColor: [1 0.5] Trajectories: [1] Traj (open) [1] arrows: 0 j: round e: T round w: 1.0 c: T [1 1.0] d: T F [296.7565,197.3762] (Line ) [376.5,197.3762] Outline fillColor: [1 0.5] Trajectories: [1] Traj (open) [2] arrows: 0 j: round e: T round w: 1.0 c: T [1 1.0] d: T F [366.5,197.3762] (Arc [360.9634,198.7262] ) [355.4267,208.4496] (Line ) [355.4267,232.5124] Outline fillColor: [1 0.5] Trajectories: [1] Traj (open) [1] arrows: 0 j: round e: T round w: 1.0 c: T [1 1.0] d: T F [366.5,197.3762] (Arc [360.9634,196.0262] ) [355.4267,186.3028] Outline fillColor: [1 0.5] Trajectories: [1] Traj (open) [2] arrows: 0 j: round e: T round w: 1.0 c: T [1 1.0] d: T F [355.4267,232.5124] (Arc [350.0367,238.7755] ) [344.5,240.1254] (Line ) [299.7333,240.1254] Outline fillColor: [1 0.5] Trajectories: [1] Traj (open) [2] arrows: 0 j: round e: T round w: 1.0 c: T [1 1.0] d: T F [355.4267,214.7436] (Arc [349.8901,224.467] ) [344.3534,225.8169] (Line ) [167.0268,225.8169] Text T "number" xerox/pressfonts/Helvetica [8.1 0.0 130.5428 0.0 8.1 241.1844][] F 1.0 props: ( F ) Text T "IF" xerox/pressfonts/Helvetica [8.1 0.0 130.5428 0.0 8.1 232.9214][] F 1.0 props: ( F ) Text T "body" xerox/pressfonts/Helvetica [8.1 0.0 130.5428 0.0 8.1 224.6584][] F 1.0 props: ( F ) Outline fillColor: [1 1.0] Trajectories: [1] Traj (fence) [3] arrows: 0 j: round e: T round w: 0.0 c: T [1 1.0] d: T F [164.2703,243.484] (Line ) [175.8647,246.2865] (Line ) [174.5268,243.484] (Line ) [175.8647,240.6818] (Line ) Outline fillColor: [1 0.5] Trajectories: [1] Traj (open) [1] arrows: 0 j: round e: T round w: 1.0 c: T [1 1.0] d: T F [174.5268,243.484] (Line ) [253.5,243.484] Box [141.635,376.3209] [203.9044,422.383] [1.018588 0.0 109.2323 0.0 0.7553571 -53.1693] strokeWidths: ( 2.0 2.0 2.0 2.0 ) strokeEnds: ( square square square square ) strokeColors: ( [1 1.0] [1 1.0] [1 1.0] [1 1.0] ) fillColor: [] dashes: ( F F F F ) props: ( ( F ) ( F ) ( F ) ( F ) ) Outline fillColor: [1 1.0] Trajectories: [1] Traj (fence) [3] arrows: 0 j: round e: T round w: 0.0 c: T [1 1.0] d: T F [291.4703,240.1254] (Line ) [303.0647,242.9279] (Line ) [301.7268,240.1254] (Line ) [303.0647,237.3232] (Line ) Text T "number" xerox/pressfonts/Helvetica [8.1 0.0 257.7428 0.0 8.1 255.493][] F 1.0 props: ( F ) Text T "IF" xerox/pressfonts/Helvetica [8.1 0.0 257.7428 0.0 8.1 247.23][] F 1.0 props: ( F ) Text T "body" xerox/pressfonts/Helvetica [8.1 0.0 257.7428 0.0 8.1 238.9669][] F 1.0 props: ( F ) Outline fillColor: [1 1.0] Trajectories: [1] Traj (fence) [3] arrows: 0 j: round e: T round w: 0.0 c: T [1 1.0] d: T F [291.4703,257.7926] (Line ) [303.0647,260.5951] (Line ) [301.7268,257.7926] (Line ) [303.0647,254.9904] (Line ) Outline fillColor: [1 0.5] Trajectories: [1] Traj (open) [2] arrows: 0 j: round e: T round w: 1.0 c: T [1 1.0] d: T F [202.9535,243.484] (Arc [212.5431,249.0207] ) [214.0267,254.5573] (Line ) [214.0267,274.5751] Outline fillColor: [1 0.5] Trajectories: [1] Traj (open) [2] arrows: 0 j: round e: T round w: 1.0 c: T [1 1.0] d: T F [376.5,285.6485] (Line ) [225.1,285.6485] (Arc [219.5634,284.2985] ) [214.0267,274.5751] Outline fillColor: [1 0.5] Trajectories: [1] Traj (open) [1] arrows: 0 j: round e: T round w: 1.0 c: T [1 1.0] d: T F [301.7268,257.7926] (Line ) [336.5,257.7926] Outline fillColor: [1 0.5] Trajectories: [1] Traj (open) [2] arrows: 0 j: round e: T round w: 1.0 c: T [1 1.0] d: T F [336.5,257.7926] (Arc [346.0896,263.3293] ) [347.5732,268.8659] (Line ) [347.5732,275.1916] Outline fillColor: [1 0.5] Trajectories: [1] Traj (open) [1] arrows: 0 j: round e: T round w: 1.0 c: T [1 1.0] d: T F [347.5732,274.5753] (Arc [353.1099,284.2986] ) [358.6465,285.6485] Box [122.0,393.7164] [204.3952,422.383] [1.018588 0.0 252.2323 0.0 0.7553571 -22.57473] strokeWidths: ( 2.0 2.0 2.0 2.0 ) strokeEnds: ( square square square square ) strokeColors: ( [1 1.0] [1 1.0] [1 1.0] [1 1.0] ) fillColor: [] dashes: ( F F F F ) props: ( ( F ) ( F ) ( F ) ( F ) ) Box [141.635,376.3209] [177.3971,422.383] [1.018588 0.0 232.2323 0.0 0.7553571 -105.7772] strokeWidths: ( 2.0 2.0 2.0 2.0 ) strokeEnds: ( square square square square ) strokeColors: ( [1 1.0] [1 1.0] [1 1.0] [1 1.0] ) fillColor: [] dashes: ( F F F F ) props: ( ( F ) ( F ) ( F ) ( F ) ) Text T "{" xerox/pressfonts/Helvetica [8.1 0.0 380.7428 0.0 8.1 202.8851][] F 1.0 props: ( F ) Text T "tokens" xerox/pressfonts/Helvetica [8.1 0.0 380.7428 0.0 8.1 194.6221][] F 1.0 props: ( F ) Text T "}" xerox/pressfonts/Helvetica [8.1 0.0 380.7428 0.0 8.1 186.359][] F 1.0 props: ( F ) Text T "boolean expression" xerox/pressfonts/Helvetica [8.1 0.0 380.263 0.0 8.1 284.1485][] F 1.0 props: ( F ) Text T "Using bodies and composed operators." xerox/pressfonts/Helvetica [8.000004 0.0 219.6111 0.0 8.000004 55.4945][] F 1.0 props: ( F )