((conc 62 1 (man) ('%') (2) (1)))
((conc 62 2 (woman) ('%') (1) (2 3)))
((conc 62 3 (man) ('%' (Bill)) (3) ()))
((conc 61 1 (number) (! (3)) () (1)))
((conc 61 2 (number) ('%') (1) ()))
((conc 59 1 '+' (60) (1) ()))
((conc 60 1 (person) ('%' (Julian)) (1) ()))
((conc 60 2 (fly) ('%') () (1 2)))
((conc 60 3 (planet) ('%' (Mars)) (2) ()))
((conc 57 1 (r) ('%') () ()))
((conc 56 1 (q) ('%') () ()))
((conc 55 1 (p) ('%') () ()))
((conc 53 1 (lambda x 54) ('%' (15)) () ()))
((conc 54 1 (number) ('%' ('*' x)) () (1)))
((conc 54 2 (number) ('%' (0)) (1) ()))
((conc 52 1 (student) ('%' (Dist '<*' ('*') '*>' '@' (2))) (1) ()))
((conc 52 2 (read) ('%') () (1 2)))
((conc 52 3 (book) ('%' ('<*' ('*') '*>' '@' (3))) (2) ()))
((conc 50 1 (proposition) ('%' (cgr 51)) () ()))
((conc 51 1 (person) ('%' (Norma)) (1) ()))
((conc 51 2 (love) ('%') () (1 2)))
((conc 51 3 (person) ('%' (Joe)) (2) ()))
((conc 49 1 (man) ('%' (Jack)) () (1 4 5)))
((conc 49 4 (girl) ('%' (Sue)) (5 3) ()))
((conc 49 3 (boy) ('%' (Tom)) (4 2) ()))
((conc 49 2 (woman) ('%' (Jill)) (1) (2 3)))
((conc 48 4 (quotient) ('%' ('*' d)) (1) (2)))
((conc 48 6 (sum) ('%' ('*' g)) (2) ()))
((conc 48 5 (squareroot) ('%' ('*' f)) () (2)))
((conc 48 3 (remainder) ('%' ('*' e)) (1) ()))
((conc 48 2 (divisor) ('%' ('*' b)) () (1)))
((conc 48 1 (dividend) ('%' ('*' a)) () (1)))
((conc 47 1 (brick) ('%' ('*' x)) (1) ()))
((conc 47 3 (brick) ('%' ('*' z)) () (1)))
((conc 47 2 (brick) ('%' ('*' y)) () (1)))
((conc 46 1 (eat) ('%') () (1 2 4)))
((conc 46 5 (spoon) ('%') (4) (5)))
((conc 46 4 (shell) ('%') (5 3) ()))
((conc 46 3 (walnut) ('%') (2) (3)))
((conc 46 2 (monkey) ('%' ('#' 1034)) (1) ()))
((conc 42 1 '+' (43) (1) ()))
((conc 43 1 '+' (44) (1) ()))
((conc 44 1 '+' (45) (1) ()))
((conc 45 1 (person) ('%' (Julian)) (1) ()))
((conc 45 2 (fly) ('%') () (1 2)))
((conc 45 3 (planet) ('%' (Mars)) (2) ()))
((conc 41 1 (elephant) ('%' ('*' Jumbo)) (1) ()))
((conc 41 2 (perform) ('%' ('<*' ('*') '*>' () ())) () (1 2)))
((conc 41 3 (circus) ('%' (Barnum_and_Bailey)) (2) ()))
((conc 40 1 (elephant) ('%' ('*' x)) () (1 2 3 4 7 10 12 13)))
((conc 40 14 (live) ('%') (13) (14 15)))
((conc 40 16 (time) ('%' ('@' 50 years)) (15) ()))
((conc 40 15 (continent) ('%' ('<*' (Africa '|' Asia) '*>')) (14) ()))
((conc 40 13 (leg) ('%' ('<*' ('*') '*>' '@' (4))) (12) ()))
((conc 40 11 (tusk) ('%' ('<*' ('*') '*>' '@' (2))) (10) (11)))
((conc 40 12 (ivory) ('%') (11) ()))
((conc 40 8 (ear) ('%' ('<*' ('*') '*>' () ())) (7) (8 9)))
((conc 40 10 (floppy) ('%') (9) ()))
((conc 40 9 (number) ('%' (2)) (8) ()))
((conc 40 5 (nose) ('%') (4) (5 6)))
((conc 40 7 (trunk) ('%') (6) ()))
((conc 40 6 (prehensile) ('%') (5) ()))
((conc 40 4 (dark_grey) ('%') (3) ()))
((conc 40 3 (weight) ('%' ('@' 5400 kg)) (2) ()))
((conc 40 2 (height) ('%' ('@' 3.3 m)) (1) ()))
((conc 39 1 (name) ('%' ('"' 'IV' '"')) (1) ()))
((conc 39 2 (number) ('%' ('#' 234)) () (1 2)))
((conc 39 3 (name) ('%' ('"' '4' '"')) (2) ()))
((conc 38 1 (person) ('%' ('#' 3074)) () (1)))
((conc 38 2 (name) ('%' ('"' Judy '"')) (1) ()))
((conc 37 1 ((0 () '<') number ('<' 100 ())) ('%' (15)) () ()))
((conc 36 1 (number) ('%' ('*' x)) () (1)))
((conc 36 3 (number) ('%' ('*' z)) (1) ()))
((conc 36 2 (number) ('%' ('*' y)) () (1)))
((conc 35 1 (number) ('%' ('*' a)) () (1 3)))
((conc 35 4 (() number ('>' 0 ())) ('%') (3) (4 6)))
((conc 35 5 (number) ('%') (4) (5)))
((conc 35 6 (number) ('%') (5) (6)))
((conc 35 3 (number) ('%' ('*' b)) (6 2) ()))
((conc 35 2 (() number ('=' 0 ())) ('%') (1) (2)))
((conc 34 1 (number) ('%' (3)) () (1)))
((conc 34 2 (number) (?) (1) ()))
((conc 33 1 (elephant) ('%' ('*' x)) (1) ()))
((conc 33 2 (perform) ('%') () (1 2)))
((conc 33 3 (circus) ('%') (2) ()))
((conc 32 1 (act) ('%' ('*' x)) (1) ()))
((conc 32 2 (agent) ('%') () (1 2)))
((conc 32 3 (animate) ('%' ('*' y)) (2) ()))
((conc 31 1 (person) ('%' (John)) (1) ()))
((conc 31 2 (like) ('%') () (1 2)))
((conc 31 3 (circus_elephant) ('%' (Jumbo)) (2) ()))
((conc 30 1 (person) ('%' (John)) (1) ()))
((conc 30 2 (go) ('%') (4) (1 2 3)))
((conc 30 4 (city) ('%' (New_York)) (3) ()))
((conc 30 3 (bus) ('%') (2) ()))
((conc 29 1 (bus) ('%' ('*' x)) (1 6) (4)))
((conc 29 6 (drive) ('%') () (6 7)))
((conc 29 7 (driver) ('%') (7) ()))
((conc 29 4 (passenger) ('%' ('<*' ('*') '*>' () ())) (4 3) (5)))
((conc 29 5 (() number ('~' 50 ())) ('%') (5) ()))
((conc 29 2 (travel) ('%') () (1 2 3)))
((conc 29 3 (() speed ('<=' 55 mph)) ('%') (2) ()))
((conc 28 1 (person) ('%' (Sue)) (1) ()))
((conc 28 2 (eat) ('%') () (1 2)))
((conc 28 3 (pie) ('%') (2) ()))
((conc 27 1 (girl) ('%') (1) ()))
((conc 27 2 (eat) ('%') () (1 2)))
((conc 27 3 (fast) ('%') (2) ()))
((conc 24 1 '-' (25) () ()))
((conc 25 1 (person) ('%' ('*' x) ('*' y)) () ()))
((conc 23 1 (person) ('%' ('*' y)) () ()))
((conc 22 1 (person) ('%' ('*' x)) () ()))
((conc 17 1 '-' (18 19) () ()))
((conc 19 1 '-' (20) () ()))
((conc 20 1 (man) ('%' ('*' x)) (1) ()))
((conc 20 2 (love) ('%') () (1 2)))
((conc 20 3 (woman) ('%' ('*' y)) (2) ()))
((conc 18 1 (man) ('%' ('*' x)) () ()))
((conc 16 1 (woman) ('%' ('*' y)) () ()))
((conc 13 1 '-' (14) () ()))
((conc 14 1 (man) ('%' ('*' x)) (1) ()))
((conc 14 2 (love) ('%') () (1 2)))
((conc 14 3 (woman) ('%') (2) ()))
((conc 12 1 (man) ('%' ('*' x)) () ()))
((conc 9 1 '-' (10) () ()))
((conc 10 1 (person) ('%' (Rosann) (Rosalie)) () ()))
((conc 8 1 (person) ('%' (Rosalie)) () ()))
((conc 5 1 '-' (6) () ()))
((conc 6 1 (r) ('%') () ()))
((conc 3 1 '-' (4) () ()))
((conc 4 1 (q) ('%') () ()))
((conc 1 1 '-' (2) () ()))
((conc 2 1 (p) ('%') () ()))
((conc 7 1 '-' (1 3 5) () ()))
((conc 11 1 '+' (8 9) () ()))
((conc 15 1 '-' (12 13) () ()))
((conc 21 1 '+' (16 17) () ()))
((conc 26 1 '+' (22 23 24) () ()))
((conc 58 1 '+' (55 56 57) () ()))
((reln 62 1 rel wife (1) (2)))
((reln 62 3 rel son (2) (3)))
((reln 62 2 rel employer (2) (1)))
((reln 61 1 act factorial (1) (2)))
((reln 59 1 rel psbl () (1)))
((reln 60 1 rel agnt (2) (1)))
((reln 60 2 rel dest (2) (3)))
((reln 54 1 rel greater (1) (2)))
((reln 52 1 rel agnt (2) (1)))
((reln 52 2 rel obj (2) (3)))
((reln 51 1 rel expr (2) (1)))
((reln 51 2 rel obj (2) (3)))
((reln 49 5 rel daughter (1) (4)))
((reln 49 4 rel son (1) (3)))
((reln 49 1 rel wife (1) (2)))
((reln 49 3 rel daughter (2) (4)))
((reln 49 2 rel son (2) (3)))
((reln 48 1 act divide ((1 1) (2 2)) ((3 3) (4 4))))
((reln 48 2 act plus ((1 4) (2 5)) (6)))
((reln 47 1 rel betw ((1 2) (2 3)) (1)))
((reln 46 4 rel inst (1) (5)))
((reln 46 5 rel matr (5) (4)))
((reln 46 2 rel obj (1) (3)))
((reln 46 3 rel part (3) (4)))
((reln 46 1 rel agnt (1) (2)))
((reln 42 1 rel past () (1)))
((reln 43 1 rel neg () (1)))
((reln 44 1 rel psbl () (1)))
((reln 45 1 rel agnt (2) (1)))
((reln 45 2 rel dest (2) (3)))
((reln 41 1 rel agnt (2) (1)))
((reln 41 2 rel loc (2) (3)))
((reln 40 13 rel stat (1) (14)))
((reln 40 15 rel dur (14) (16)))
((reln 40 14 rel loc (14) (15)))
((reln 40 12 rel part (1) (13)))
((reln 40 10 rel part (1) (11)))
((reln 40 11 rel matr (11) (12)))
((reln 40 7 rel part (1) (8)))
((reln 40 9 rel attr (8) (10)))
((reln 40 8 rel qty (8) (9)))
((reln 40 4 rel part (1) (5)))
((reln 40 6 rel idnt (5) (7)))
((reln 40 5 rel attr (5) (6)))
((reln 40 3 rel colr (1) (4)))
((reln 40 2 rel chrc (1) (3)))
((reln 40 1 rel chrc (1) (2)))
((reln 39 1 rel name (2) (1)))
((reln 39 2 rel name (2) (3)))
((reln 38 1 rel name (1) (2)))
((reln 36 1 act times ((1 1) (2 2)) (3)))
((reln 35 3 act ident (1) (4)))
((reln 35 4 act sub1 (4) (5)))
((reln 35 5 act factorial (5) (6)))
((reln 35 6 act multiply ((1 6) (2 4)) (3)))
((reln 35 1 act ident (1) (2)))
((reln 35 2 act add1 (2) (3)))
((reln 34 1 act factorial (1) (2)))
((reln 33 1 rel agnt (2) (1)))
((reln 33 2 rel loc (2) (3)))
((reln 32 1 rel link (2) (1)))
((reln 32 2 rel link (2) (3)))
((reln 31 1 rel agnt (2) (1)))
((reln 31 2 rel obj (2) (3)))
((reln 30 1 rel agnt (2) (1)))
((reln 30 4 rel past () (2)))
((reln 30 3 rel dest (2) (4)))
((reln 30 2 rel inst (2) (3)))
((reln 29 6 rel obj (6) (1)))
((reln 29 7 rel agnt (6) (7)))
((reln 29 4 rel cont (1) (4)))
((reln 29 5 rel qty (4) (5)))
((reln 29 1 rel inst (2) (1)))
((reln 29 3 rel agnt (2) (4)))
((reln 29 2 rel rate (2) (3)))
((reln 28 1 rel agnt (2) (1)))
((reln 28 2 rel obj (2) (3)))
((reln 27 1 rel agnt (2) (1)))
((reln 27 2 rel manr (2) (3)))
((reln 20 1 rel expr (2) (1)))
((reln 20 2 rel obj (2) (3)))
((reln 14 1 rel expr (2) (1)))
((reln 14 2 rel obj (2) (3)))
((abstr graph logic_or () 7))
((abstr graph identity () 11))
((abstr graph every1 () 15))
((abstr graph every2 () 21))
((abstr graph people2 () 26))
((abstr graph eat1 () 27))
((abstr graph eat2 () 28))
((abstr schema bus (x) 29))
((abstr graph John () 30))
((abstr graph expand_ex () 31))
((abstr relation agnt (x y) 32))
((abstr type circus_elephant (x) 33))
((abstr graph fact1 () 34))
((abstr actor factorial ((a) (b)) 35))
((abstr actor multiply ((x y) (z)) 36))
((abstr graph subrange () 37))
((abstr graph name1 () 38))
((abstr graph name2 () 39))
((abstr prototype elephant (x) 40))
((abstr individual circus_elephant (Jumbo) 41))
((abstr graph psbl2 () 42))
((abstr individual monkey ('#' 1034) 46))
((abstr graph between () 47))
((abstr graph data_flow () 48))
((abstr graph loops () 49))
((abstr graph prop () 50))
((abstr graph student () 52))
((abstr graph lambda () 53))
((abstr graph logic_and () 58))
((abstr graph psbl1 () 59))
((abstr graph factorial2 () 61))
((abstr graph loop2 () 62))