1 LOGIC: (^ (Some (\x1 Some (\e1 N-aD:city e1 x1) (\z True)) (\z True)) (Some (\a1 Equal a1 (\v1 Some (\e1 N-aD:city e1 v1) (\z True))) (\a1 ^ (N-b{N-aD}:a (\x101 ^ (Some (\e102 N-aD:city e102 x101) (\z True)) (^ (BCOPU-aN-b{A-aN}:be x101) (a1 x101))) (\x ^ (Some (\e105 N-aD:place e105 x) (\z True)) (\r \s N-aD-b{N-aD}:many (\x107 Some (\e108 N-aD:person e108 x107) (\z True)) (\x109 Some (\e109 ^ (B-aN:live e109 x109) (^ (Some (\e106 A-aN-rN:where e106 e109 x) (\z True)) (Some (\e110 A-aN:together e110 e109) (\z True)))) (\z True))))) (Some (\a108 Equal a108 (\v108 Some (\x101 ^ (Some (\e102 N-aD:city e102 x101) (\z True)) (^ (BCOPU-aN-b{A-aN}:be x101) (a1 x101))) (\x ^ (Some (\e105 N-aD:place e105 x) (\z True)) (\r \s ^ (Some (\e108 N-aD:person e108 v108) (\z True)) (Some (\e109 ^ (B-aN:live e109 v108) (^ (Some (\e106 A-aN-rN:where e106 e109 x) (\z True)) (Some (\e110 A-aN:together e110 e109) (\z True)))) (\z True)))))) (\a108 Some (\a102 Equal a102 (\v102 ^ (^ (Some (\e102 N-aD:city e102 v102) (\z True)) (^ (BCOPU-aN-b{A-aN}:be v102) (a1 v102))) (^ (Some (\e105 N-aD:place e105 v102) (\z True)) (\r \s N-aD-b{N-aD}:many (\x107 Some (\e108 N-aD:person e108 x107) (\z True)) (\x109 Some (\e109 ^ (B-aN:live e109 x109) (^ (Some (\e106 A-aN-rN:where e106 e109 v102) (\z True)) (Some (\e110 A-aN:together e110 e109) (\z True)))) (\z True)))))) (\a102 ^ (N-b{N-aD}:a (\x201 ^ (Some (\e202 N-aD:city e202 x201) (\z True)) (a102 x201)) (\x203 N-aD-b{N-aD}:many (\x204 ^ (Some (\e205 N-aD:building e205 x204) (\z True)) (Some (\e207 N-aD:street e207 x204) (\z True))) (\y203 Some (\e203 B-aN-bN:have e203 x203 y203) (\z True)))) (Some (\a205 Equal a205 (\v205 Some (\x201 ^ (Some (\e202 N-aD:city e202 x201) (\z True)) (a102 x201)) (\x203 ^ (^ (Some (\e205 N-aD:building e205 v205) (\z True)) (Some (\e207 N-aD:street e207 v205) (\z True))) (Some (\e203 B-aN-bN:have e203 x203 v205) (\z True))))) (\a205 Some (\a202 Equal a202 (\v202 ^ (^ (Some (\e202 N-aD:city e202 v202) (\z True)) (a102 v202)) (N-aD-b{N-aD}:many (\x204 ^ (Some (\e205 N-aD:building e205 x204) (\z True)) (Some (\e207 N-aD:street e207 x204) (\z True))) (\y203 Some (\e203 B-aN-bN:have e203 v202 y203) (\z True))))) (\a202 ^ (Gen (\z301 ^ (Some (\e301 NNGEN:it e301 z301) (\z True)) (a202 z301)) (\x302 Some (\a301 Equal a301 (\v301 Equal v301 x302)) (\a301 N-aD-b{N-aD}:many (\x307 ^ (Some (\e308 N-aD:person e308 x307) (\z True)) (a108 x307)) (\xx308 Some (\a308 Equal a308 (\v308 Equal v308 xx308)) (\a308 ^ (^ (Some (\x303 ^ (Some (\e303 N-aD:house e303 x303) (\z True)) (a205 x303)) (\zz304 ^ (Some (\e310 ^ (B-aN:live e310 xx308) (^ (I-aN-b{B-aN}:to e310) (^ (\u ^ (zz304 e310) (u e310)) (True) (\z True)))) (\x306 Some (\e306 F-bI:for e306 x306) (\z True))) (Some (\e302 B-aN-bN:have e302 x302 zz304) (\z True)))) (Some (\x305 ^ (Some (\e305 N-aD:apartment e305 x305) (\z True)) (a205 x305)) (\zz304 ^ (Some (\e310 ^ (B-aN:live e310 xx308) (^ (I-aN-b{B-aN}:to e310) (^ (\u ^ (zz304 e310) (u e310)) (True) (\z True)))) (\x306 Some (\e306 F-bI:for e306 x306) (\z True))) (Some (\e302 B-aN-bN:have e302 x302 zz304) (\z True))))) (^ (Some (\x312 ^ (Some (\e312 N-aD:shop e312 x312) (\z True)) (a205 x312)) (\zz312 ^ (\r \s Some (\z314 ^ (Some (\e314 N:they e314 z314) (\z True)) (a308 z314)) (\x316 Some (\x317 Some (\e317 N-aD:thing e317 x317) (\z True)) (\y316 Some (\e316 ^ (B-aN-bN:buy e316 x316 y316) (^ (B-aN-b{B-aN}:may e316) (Some (\e313 A-aN-rN:where e313 e316 zz312) (\z True)))) (\z True)))) (Some (\e302 B-aN-bN:have e302 x302 zz312) (\z True)))) (^ (Gen (\x319 ^ (Some (\e319 NNGEN-aD:place e319 x319) (\z True)) (^ (a205 x319) (Some (\x321 ^ (Some (\e321 N-aD:person e321 x321) (\z True)) (Some (\z True) (\x323 Some (\e323 B-aN:work e323 x323) (\y322 Some (\e322 A-aN-bN:to e322 x321 y322) (\z True))))) (\y320 Some (\e320 A-aN-bN:for e320 x319 y320) (\z True))))) (\y302 Some (\e302 B-aN-bN:have e302 x302 y302) (\z True))) (N-b{N-aD}:a (\x325 Some (\z True) (\x327 ^ (B-aN:organise x325 x327) (^ (^ (N-b{N-aD}:the (\x330 ^ (Some (\e331 N-aD:city e331 x330) (\z True)) (a301 x330)) (\y329 Some (\e329 ^ (B-aN-bN:run e329 x325 y329) (I-aN-b{B-aN}:to e329)) (\z True))) (^ (Some (\x336 Some (\e336 N-aD:law e336 x336) (\z True)) (\y335 Some (\e335 ^ (B-aN-bN:keep e335 x325 y335) (^ (I-aN-b{B-aN}:to e335) (N-b{N-aD}:the (\x340 ^ (Some (\e341 N-aD:city e341 x340) (\z True)) (a301 x340)) (\y339 Some (\e339 A-aN-bN:in e339 e335 y339) (\z True))))) (\z True))) (Some (\z True) (\x338 Some (\e338 B-aN:order e338 x338) (\y335 Some (\e335 ^ (B-aN-bN:keep e335 x325 y335) (^ (I-aN-b{B-aN}:to e335) (N-b{N-aD}:the (\x340 ^ (Some (\e341 N-aD:city e341 x340) (\z True)) (a301 x340)) (\y339 Some (\e339 A-aN-bN:in e339 e335 y339) (\z True))))) (\z True)))))) (Some (\e326 N-aD:government e326 x325) (\z True))))) (\y302 Some (\e302 B-aN-bN:have e302 x302 y302) (\z True)))))))))) (Some (\a341 Equal a341 (\v341 Some (\z301 ^ (Some (\e301 NNGEN:it e301 z301) (\z True)) (a202 z301)) (\x302 Some (\a301 Equal a301 (\v301 Equal v301 x302)) (\a301 Some (\x307 ^ (Some (\e308 N-aD:person e308 x307) (\z True)) (a108 x307)) (\xx308 Some (\a308 Equal a308 (\v308 Equal v308 xx308)) (\a308 ^ (^ (Some (\x303 ^ (Some (\e303 N-aD:house e303 x303) (\z True)) (a205 x303)) (\zz304 ^ (Some (\e310 ^ (B-aN:live e310 xx308) (^ (I-aN-b{B-aN}:to e310) (^ (\u ^ (zz304 e310) (u e310)) (True) (\z True)))) (\x306 Some (\e306 F-bI:for e306 x306) (\z True))) (Some (\e302 B-aN-bN:have e302 x302 zz304) (\z True)))) (Some (\x305 ^ (Some (\e305 N-aD:apartment e305 x305) (\z True)) (a205 x305)) (\zz304 ^ (Some (\e310 ^ (B-aN:live e310 xx308) (^ (I-aN-b{B-aN}:to e310) (^ (\u ^ (zz304 e310) (u e310)) (True) (\z True)))) (\x306 Some (\e306 F-bI:for e306 x306) (\z True))) (Some (\e302 B-aN-bN:have e302 x302 zz304) (\z True))))) (^ (Some (\x312 ^ (Some (\e312 N-aD:shop e312 x312) (\z True)) (a205 x312)) (\zz312 ^ (\r \s Some (\z314 ^ (Some (\e314 N:they e314 z314) (\z True)) (a308 z314)) (\x316 Some (\x317 Some (\e317 N-aD:thing e317 x317) (\z True)) (\y316 Some (\e316 ^ (B-aN-bN:buy e316 x316 y316) (^ (B-aN-b{B-aN}:may e316) (Some (\e313 A-aN-rN:where e313 e316 zz312) (\z True)))) (\z True)))) (Some (\e302 B-aN-bN:have e302 x302 zz312) (\z True)))) (^ (Some (\x319 ^ (Some (\e319 NNGEN-aD:place e319 x319) (\z True)) (^ (a205 x319) (Some (\x321 ^ (Some (\e321 N-aD:person e321 x321) (\z True)) (Some (\z True) (\x323 Some (\e323 B-aN:work e323 x323) (\y322 Some (\e322 A-aN-bN:to e322 x321 y322) (\z True))))) (\y320 Some (\e320 A-aN-bN:for e320 x319 y320) (\z True))))) (\y302 Some (\e302 B-aN-bN:have e302 x302 y302) (\z True))) (Some (\x325 Some (\z True) (\x327 ^ (B-aN:organise x325 x327) (^ (^ (N-b{N-aD}:the (\x330 ^ (Some (\e331 N-aD:city e331 x330) (\z True)) (a301 x330)) (\y329 Some (\e329 ^ (B-aN-bN:run e329 x325 y329) (I-aN-b{B-aN}:to e329)) (\z True))) (^ (Some (\x336 Some (\e336 N-aD:law e336 x336) (\z True)) (\y335 Some (\e335 ^ (B-aN-bN:keep e335 x325 y335) (^ (I-aN-b{B-aN}:to e335) (^ (^ (Some (\e341 N-aD:city e341 v341) (\z True)) (a301 v341)) (Some (\e339 A-aN-bN:in e339 e335 v341) (\z True))))) (\z True))) (Some (\z True) (\x338 Some (\e338 B-aN:order e338 x338) (\y335 Some (\e335 ^ (B-aN-bN:keep e335 x325 y335) (^ (I-aN-b{B-aN}:to e335) (^ (^ (Some (\e341 N-aD:city e341 v341) (\z True)) (a301 v341)) (Some (\e339 A-aN-bN:in e339 e335 v341) (\z True))))) (\z True)))))) (Some (\e326 N-aD:government e326 x325) (\z True))))) (\y302 Some (\e302 B-aN-bN:have e302 x302 y302) (\z True))))))))))) (\a341 Some (\a321 Equal a321 (\v321 Some (\z301 ^ (Some (\e301 NNGEN:it e301 z301) (\z True)) (a202 z301)) (\x302 Some (\a301 Equal a301 (\v301 Equal v301 x302)) (\a301 Some (\x307 ^ (Some (\e308 N-aD:person e308 x307) (\z True)) (a108 x307)) (\xx308 Some (\a308 Equal a308 (\v308 Equal v308 xx308)) (\a308 ^ (^ (Some (\x303 ^ (Some (\e303 N-aD:house e303 x303) (\z True)) (a205 x303)) (\zz304 ^ (Some (\e310 ^ (B-aN:live e310 xx308) (^ (I-aN-b{B-aN}:to e310) (^ (\u ^ (zz304 e310) (u e310)) (True) (\z True)))) (\x306 Some (\e306 F-bI:for e306 x306) (\z True))) (Some (\e302 B-aN-bN:have e302 x302 zz304) (\z True)))) (Some (\x305 ^ (Some (\e305 N-aD:apartment e305 x305) (\z True)) (a205 x305)) (\zz304 ^ (Some (\e310 ^ (B-aN:live e310 xx308) (^ (I-aN-b{B-aN}:to e310) (^ (\u ^ (zz304 e310) (u e310)) (True) (\z True)))) (\x306 Some (\e306 F-bI:for e306 x306) (\z True))) (Some (\e302 B-aN-bN:have e302 x302 zz304) (\z True))))) (^ (Some (\x312 ^ (Some (\e312 N-aD:shop e312 x312) (\z True)) (a205 x312)) (\zz312 ^ (\r \s Some (\z314 ^ (Some (\e314 N:they e314 z314) (\z True)) (a308 z314)) (\x316 Some (\x317 Some (\e317 N-aD:thing e317 x317) (\z True)) (\y316 Some (\e316 ^ (B-aN-bN:buy e316 x316 y316) (^ (B-aN-b{B-aN}:may e316) (Some (\e313 A-aN-rN:where e313 e316 zz312) (\z True)))) (\z True)))) (Some (\e302 B-aN-bN:have e302 x302 zz312) (\z True)))) (^ (Some (\x319 ^ (Some (\e319 NNGEN-aD:place e319 x319) (\z True)) (^ (a205 x319) (^ (^ (Some (\e321 N-aD:person e321 v321) (\z True)) (Some (\z True) (\x323 Some (\e323 B-aN:work e323 x323) (\y322 Some (\e322 A-aN-bN:to e322 v321 y322) (\z True))))) (Some (\e320 A-aN-bN:for e320 x319 v321) (\z True))))) (\y302 Some (\e302 B-aN-bN:have e302 x302 y302) (\z True))) (Some (\x325 Some (\z True) (\x327 ^ (B-aN:organise x325 x327) (^ (^ (N-b{N-aD}:the (\x330 ^ (Some (\e331 N-aD:city e331 x330) (\z True)) (a301 x330)) (\y329 Some (\e329 ^ (B-aN-bN:run e329 x325 y329) (I-aN-b{B-aN}:to e329)) (\z True))) (^ (Some (\x336 Some (\e336 N-aD:law e336 x336) (\z True)) (\y335 Some (\e335 ^ (B-aN-bN:keep e335 x325 y335) (^ (I-aN-b{B-aN}:to e335) (N-b{N-aD}:the (\x340 ^ (Some (\e341 N-aD:city e341 x340) (\z True)) (a301 x340)) (\y339 Some (\e339 A-aN-bN:in e339 e335 y339) (\z True))))) (\z True))) (Some (\z True) (\x338 Some (\e338 B-aN:order e338 x338) (\y335 Some (\e335 ^ (B-aN-bN:keep e335 x325 y335) (^ (I-aN-b{B-aN}:to e335) (N-b{N-aD}:the (\x340 ^ (Some (\e341 N-aD:city e341 x340) (\z True)) (a301 x340)) (\y339 Some (\e339 A-aN-bN:in e339 e335 y339) (\z True))))) (\z True)))))) (Some (\e326 N-aD:government e326 x325) (\z True))))) (\y302 Some (\e302 B-aN-bN:have e302 x302 y302) (\z True))))))))))) (\a321 ^ (N-aD-b{N-aD}:many (\x401 ^ (Some (\e402 N-aD:person e402 x401) (\z True)) (a321 x401)) (\x403 Some (\a402 Equal a402 (\v402 Equal v402 x403)) (\a402 Some (\e403 ^ (B-aN:live e403 x403) (^ (Some (\e406 A-aN-bV:because e406 e403 (Intension (N-b{N-aD}:the (\x416 Some (\e417 N-aD:thing e417 x416) (\z True)) (\zz417 ^ (Some (\a411 Equal a411 (\v411 ^ (^ (^ (Some (\e411 N:them e411 v411) (\z True)) (a402 v411)) (Some (\e413 ^ (B-aN-bN:find e413 v411 zz417) (^ (I-aN-b{B-aN}:to e413) (Some (\e420 A-aN:there e420 e413) (\z True)))) (\x410 Some (\e410 F-bI:for e410 x410) (\x409 Some (\e409 ^ (A-aN:easy e409 x409) (BCOPU-aN-b{A-aN}:be e409)) (\z True))))) (^ (^ (Some (\e411 N:them e411 v411) (\z True)) (a402 v411)) (Some (\e415 ^ (B-aN-bN:do e415 v411 zz417) (^ (I-aN-b{B-aN}:to e415) (Some (\e420 A-aN:there e420 e415) (\z True)))) (\x410 Some (\e410 F-bI:for e410 x410) (\x409 Some (\e409 ^ (A-aN:easy e409 x409) (BCOPU-aN-b{A-aN}:be e409)) (\z True))))))) (\a411 Some (\z418 ^ (Some (\e418 N:they e418 z418) (\z True)) (a411 z418)) (\x419 Some (\e419 B-aN-bN:want e419 x419 zz417) (\z True)))) (^ (Some (\z411 ^ (Some (\e411 N:them e411 z411) (\z True)) (a402 z411)) (\x413 Some (\e413 ^ (B-aN-bN:find e413 x413 zz417) (^ (I-aN-b{B-aN}:to e413) (Some (\e420 A-aN:there e420 e413) (\z True)))) (\x410 Some (\e410 F-bI:for e410 x410) (\x409 Some (\e409 ^ (A-aN:easy e409 x409) (BCOPU-aN-b{A-aN}:be e409)) (\z True))))) (Some (\z411 ^ (Some (\e411 N:them e411 z411) (\z True)) (a402 z411)) (\x415 Some (\e415 ^ (B-aN-bN:do e415 x415 zz417) (^ (I-aN-b{B-aN}:to e415) (Some (\e420 A-aN:there e420 e415) (\z True)))) (\x410 Some (\e410 F-bI:for e410 x410) (\x409 Some (\e409 ^ (A-aN:easy e409 x409) (BCOPU-aN-b{A-aN}:be e409)) (\z True)))))))))) (\z True)) (Some (\x405 ^ (Some (\e405 N-aD:city e405 x405) (\z True)) (a341 x405)) (\y404 Some (\e404 A-aN-bN:in e404 e403 y404) (\z True))))) (\z True)))) (Some (\a405 Equal a405 (\v405 Some (\x401 ^ (Some (\e402 N-aD:person e402 x401) (\z True)) (a321 x401)) (\x403 Some (\a402 Equal a402 (\v402 Equal v402 x403)) (\a402 Some (\e403 ^ (B-aN:live e403 x403) (^ (Some (\e406 A-aN-bV:because e406 e403 (Intension (N-b{N-aD}:the (\x416 Some (\e417 N-aD:thing e417 x416) (\z True)) (\zz417 ^ (Some (\a411 Equal a411 (\v411 ^ (^ (^ (Some (\e411 N:them e411 v411) (\z True)) (a402 v411)) (Some (\e413 ^ (B-aN-bN:find e413 v411 zz417) (^ (I-aN-b{B-aN}:to e413) (Some (\e420 A-aN:there e420 e413) (\z True)))) (\x410 Some (\e410 F-bI:for e410 x410) (\x409 Some (\e409 ^ (A-aN:easy e409 x409) (BCOPU-aN-b{A-aN}:be e409)) (\z True))))) (^ (^ (Some (\e411 N:them e411 v411) (\z True)) (a402 v411)) (Some (\e415 ^ (B-aN-bN:do e415 v411 zz417) (^ (I-aN-b{B-aN}:to e415) (Some (\e420 A-aN:there e420 e415) (\z True)))) (\x410 Some (\e410 F-bI:for e410 x410) (\x409 Some (\e409 ^ (A-aN:easy e409 x409) (BCOPU-aN-b{A-aN}:be e409)) (\z True))))))) (\a411 Some (\z418 ^ (Some (\e418 N:they e418 z418) (\z True)) (a411 z418)) (\x419 Some (\e419 B-aN-bN:want e419 x419 zz417) (\z True)))) (^ (Some (\z411 ^ (Some (\e411 N:them e411 z411) (\z True)) (a402 z411)) (\x413 Some (\e413 ^ (B-aN-bN:find e413 x413 zz417) (^ (I-aN-b{B-aN}:to e413) (Some (\e420 A-aN:there e420 e413) (\z True)))) (\x410 Some (\e410 F-bI:for e410 x410) (\x409 Some (\e409 ^ (A-aN:easy e409 x409) (BCOPU-aN-b{A-aN}:be e409)) (\z True))))) (Some (\z411 ^ (Some (\e411 N:them e411 z411) (\z True)) (a402 z411)) (\x415 Some (\e415 ^ (B-aN-bN:do e415 x415 zz417) (^ (I-aN-b{B-aN}:to e415) (Some (\e420 A-aN:there e420 e415) (\z True)))) (\x410 Some (\e410 F-bI:for e410 x410) (\x409 Some (\e409 ^ (A-aN:easy e409 x409) (BCOPU-aN-b{A-aN}:be e409)) (\z True)))))))))) (\z True)) (^ (^ (Some (\e405 N-aD:city e405 v405) (\z True)) (a341 v405)) (Some (\e404 A-aN-bN:in e404 e403 v405) (\z True))))) (\z True))))) (\a405 ^ (N-b{N-aD}:a (\x501 ^ (Some (\e502 N-aD:city e502 x501) (\z True)) (a405 x501)) (\x504 ^ (N-b{N-aD}:a (\x505 ^ (Some (\e508 N-aD:centre e508 x505) (\z True)) (Some (\e507 N-aD:city e507 x505) (\z True))) (\zz508 ^ (\r \s ^ (Some (\z True) (\x511 Some (\e511 B-aN:govern e511 x511) (\x514 Some (\z True) (\y514 Some (\e514 ^ (BPRED1-aN-bPplace:take e514 x514 y514) (Some (\e510 A-aN-rN:where e510 e514 zz508) (\z True))) (\z True))))) (Some (\z True) (\x513 Some (\e513 A-aN:busy e513 x513) (\x514 Some (\z True) (\y514 Some (\e514 ^ (BPRED1-aN-bPplace:take e514 x514 y514) (Some (\e510 A-aN-rN:where e510 e514 zz508) (\z True))) (\z True)))))) (Some (\e504 ^ (B-aN-bN:have e504 x504 zz508) (Some (\e503 A-aN:usual e503 e504) (\z True))) (\z True)))) (Some (\a508 Equal a508 (\v508 ^ (^ (Some (\e508 N-aD:centre e508 v508) (\z True)) (Some (\e507 N-aD:city e507 v508) (\z True))) (^ (\r \s ^ (Some (\z True) (\x511 Some (\e511 B-aN:govern e511 x511) (\x514 Some (\z True) (\y514 Some (\e514 ^ (BPRED1-aN-bPplace:take e514 x514 y514) (Some (\e510 A-aN-rN:where e510 e514 v508) (\z True))) (\z True))))) (Some (\z True) (\x513 Some (\e513 A-aN:busy e513 x513) (\x514 Some (\z True) (\y514 Some (\e514 ^ (BPRED1-aN-bPplace:take e514 x514 y514) (Some (\e510 A-aN-rN:where e510 e514 v508) (\z True))) (\z True)))))) (Some (\e504 ^ (B-aN-bN:have e504 x504 v508) (Some (\e503 A-aN:usual e503 e504) (\z True))) (\z True))))) (\a508 N-b{N-aD}:the (\x528 ^ (Some (\e529 N-aD:centre e529 x528) (\z True)) (a508 x528)) (\xx529 N-b{N-aD}:the (\x525 Some (\e526 N-aD-bO:outside e526 x525 xx529) (\z True)) (\xx526 Some (\x518 ^ (Some (\e518 N-aD:place e518 x518) (\z True)) (^ (Some (\e524 A-aN-bN:around e524 x518 xx526) (\z True)) (Some (\z True) (\x519 Some (\e519 B-aN-bA:call e519 x519 (Intension (Some (\e520 N-aD:suburb e520 x518) (\z True)))) (\z True))))) (\zz518 ^ (\r \s Some (\x522 Some (\e522 N-aD:person e522 x522) (\z True)) (\x523 Some (\e523 ^ (B-aN:live e523 x523) (Some (\e521 A-aN-rN:where e521 e523 zz518) (\z True))) (\z True))) (Some (\e504 ^ (B-aN-bN:have e504 x504 zz518) (Some (\e503 A-aN:usual e503 e504) (\z True))) (\z True))))))))) (Some (\z True) (\x601 Some (\z True) (\y601 Some (\e601 BXEXI-aD-bO:define e601 x601 y601) (\z True)))))))))))))))))) 2 LOGIC: (^ (Some (\x1 Some (\e1 N-aD:time e1 x1) (\z True)) (\z True)) (Some (\a1 Equal a1 (\v1 Some (\e1 N-aD:time e1 v1) (\z True))) (\a1 ^ (Gen (\x103 ^ (Some (\e103 NNGEN-aD:time e103 x103) (\z True)) (a1 x103)) (\xx103 Some (\x106 Some (\e106 NNEXI-aD:event e106 x106) (\z True)) (\xx106 Some (\a106 Equal a106 (\v106 Equal v106 xx106)) (\a106 Some (\z101 Some (\e101 N:we e101 z101) (\z True)) (\x102 Some (\e102 ^ (B-aN-bN:use e102 x102 xx103) (^ (Some (\e105 ^ (B-aN-bN:sequence e105 e102 xx106) (I-aN-b{B-aN}:to e105)) (\z True)) (^ (^ (Some (\x111 Some (\z110 ^ (Some (\e110 N:they e110 z110) (\z True)) (a106 z110)) (\z111 Some (\e111 NNRELEXI-aD:duration e111 x111 z111) (\z True))) (\y109 Some (\e109 ^ (B-aN-bN:compare e109 e102 y109) (I-aN-b{B-aN}:to e109)) (\z True))) (Some (\a110 Equal a110 (\v110 Some (\x111 ^ (^ (Some (\e110 N:they e110 v110) (\z True)) (a106 v110)) (Some (\e111 NNRELEXI-aD:duration e111 x111 v110) (\z True))) (\y109 Some (\e109 ^ (B-aN-bN:compare e109 e102 y109) (I-aN-b{B-aN}:to e109)) (\z True)))) (\a110 N-b{N-aD}:the (\x113 ^ (Some (\e114 N-aD:interval e114 x113) (\z True)) (Some (\z116 ^ (Some (\e116 N:them e116 z116) (\z True)) (a110 z116)) (\y115 Some (\e115 A-aN-bN:between e115 x113 y115) (\z True)))) (\y109 Some (\e109 ^ (B-aN-bN:compare e109 e102 y109) (I-aN-b{B-aN}:to e109)) (\z True))))) (N-b{N-aD}:the (\x121 Some (\e122 N-aD:speed e122 x121) (\z True)) (\zz122 ^ (\r \s ^ (Some (\x125 Some (\e125 N-aD:object e125 x125) (\z True)) (\x126 Some (\e126 ^ (B-aN:move e126 x126) (Some (\e124 N-rN:which e124 zz122) (\y123 Some (\e123 A-aN-bN:at e123 e126 y123) (\z True)))) (\z True))) (Some (\x128 Some (\e128 N-aD:thing e128 x128) (\z True)) (\x129 Some (\e129 ^ (B-aN:change e129 x129) (Some (\e124 N-rN:which e124 zz122) (\y123 Some (\e123 A-aN-bN:at e123 e129 y123) (\z True)))) (\z True)))) (Some (\e120 ^ (B-aN-bN:quantify e120 e102 zz122) (I-aN-b{B-aN}:to e120)) (\z True))))))) (\z True)))))) (Some (\a101 Equal a101 (\v101 Some (\x103 ^ (Some (\e103 NNGEN-aD:time e103 x103) (\z True)) (a1 x103)) (\xx103 Some (\x106 Some (\e106 NNEXI-aD:event e106 x106) (\z True)) (\xx106 Some (\a106 Equal a106 (\v106 Equal v106 xx106)) (\a106 ^ (Some (\e101 N:we e101 v101) (\z True)) (Some (\e102 ^ (B-aN-bN:use e102 v101 xx103) (^ (Some (\e105 ^ (B-aN-bN:sequence e105 e102 xx106) (I-aN-b{B-aN}:to e105)) (\z True)) (^ (^ (Some (\x111 Some (\z110 ^ (Some (\e110 N:they e110 z110) (\z True)) (a106 z110)) (\z111 Some (\e111 NNRELEXI-aD:duration e111 x111 z111) (\z True))) (\y109 Some (\e109 ^ (B-aN-bN:compare e109 e102 y109) (I-aN-b{B-aN}:to e109)) (\z True))) (Some (\a110 Equal a110 (\v110 Some (\x111 ^ (^ (Some (\e110 N:they e110 v110) (\z True)) (a106 v110)) (Some (\e111 NNRELEXI-aD:duration e111 x111 v110) (\z True))) (\y109 Some (\e109 ^ (B-aN-bN:compare e109 e102 y109) (I-aN-b{B-aN}:to e109)) (\z True)))) (\a110 N-b{N-aD}:the (\x113 ^ (Some (\e114 N-aD:interval e114 x113) (\z True)) (Some (\z116 ^ (Some (\e116 N:them e116 z116) (\z True)) (a110 z116)) (\y115 Some (\e115 A-aN-bN:between e115 x113 y115) (\z True)))) (\y109 Some (\e109 ^ (B-aN-bN:compare e109 e102 y109) (I-aN-b{B-aN}:to e109)) (\z True))))) (N-b{N-aD}:the (\x121 Some (\e122 N-aD:speed e122 x121) (\z True)) (\zz122 ^ (\r \s ^ (Some (\x125 Some (\e125 N-aD:object e125 x125) (\z True)) (\x126 Some (\e126 ^ (B-aN:move e126 x126) (Some (\e124 N-rN:which e124 zz122) (\y123 Some (\e123 A-aN-bN:at e123 e126 y123) (\z True)))) (\z True))) (Some (\x128 Some (\e128 N-aD:thing e128 x128) (\z True)) (\x129 Some (\e129 ^ (B-aN:change e129 x129) (Some (\e124 N-rN:which e124 zz122) (\y123 Some (\e123 A-aN-bN:at e123 e129 y123) (\z True)))) (\z True)))) (Some (\e120 ^ (B-aN-bN:quantify e120 e102 zz122) (I-aN-b{B-aN}:to e120)) (\z True))))))) (\z True))))))) (\a101 Some (\a103 Equal a103 (\v103 ^ (^ (Some (\e103 NNGEN-aD:time e103 v103) (\z True)) (a1 v103)) (Some (\x106 Some (\e106 NNEXI-aD:event e106 x106) (\z True)) (\xx106 Some (\a106 Equal a106 (\v106 Equal v106 xx106)) (\a106 Some (\z101 Some (\e101 N:we e101 z101) (\z True)) (\x102 Some (\e102 ^ (B-aN-bN:use e102 x102 v103) (^ (Some (\e105 ^ (B-aN-bN:sequence e105 e102 xx106) (I-aN-b{B-aN}:to e105)) (\z True)) (^ (^ (Some (\x111 Some (\z110 ^ (Some (\e110 N:they e110 z110) (\z True)) (a106 z110)) (\z111 Some (\e111 NNRELEXI-aD:duration e111 x111 z111) (\z True))) (\y109 Some (\e109 ^ (B-aN-bN:compare e109 e102 y109) (I-aN-b{B-aN}:to e109)) (\z True))) (Some (\a110 Equal a110 (\v110 Some (\x111 ^ (^ (Some (\e110 N:they e110 v110) (\z True)) (a106 v110)) (Some (\e111 NNRELEXI-aD:duration e111 x111 v110) (\z True))) (\y109 Some (\e109 ^ (B-aN-bN:compare e109 e102 y109) (I-aN-b{B-aN}:to e109)) (\z True)))) (\a110 N-b{N-aD}:the (\x113 ^ (Some (\e114 N-aD:interval e114 x113) (\z True)) (Some (\z116 ^ (Some (\e116 N:them e116 z116) (\z True)) (a110 z116)) (\y115 Some (\e115 A-aN-bN:between e115 x113 y115) (\z True)))) (\y109 Some (\e109 ^ (B-aN-bN:compare e109 e102 y109) (I-aN-b{B-aN}:to e109)) (\z True))))) (N-b{N-aD}:the (\x121 Some (\e122 N-aD:speed e122 x121) (\z True)) (\zz122 ^ (\r \s ^ (Some (\x125 Some (\e125 N-aD:object e125 x125) (\z True)) (\x126 Some (\e126 ^ (B-aN:move e126 x126) (Some (\e124 N-rN:which e124 zz122) (\y123 Some (\e123 A-aN-bN:at e123 e126 y123) (\z True)))) (\z True))) (Some (\x128 Some (\e128 N-aD:thing e128 x128) (\z True)) (\x129 Some (\e129 ^ (B-aN:change e129 x129) (Some (\e124 N-rN:which e124 zz122) (\y123 Some (\e123 A-aN-bN:at e123 e129 y123) (\z True)))) (\z True)))) (Some (\e120 ^ (B-aN-bN:quantify e120 e102 zz122) (I-aN-b{B-aN}:to e120)) (\z True))))))) (\z True))))))) (\a103 ^ (Gen (\z205 ^ (Some (\e205 NNGEN:we e205 z205) (\z True)) (a101 z205)) (\x207 Some (\z208 Some (\e208 N:anything e208 z208) (\z True)) (\zz208 Some (\a208 Equal a208 (\v208 Equal v208 zz208)) (\a208 ^ (Some (\z211 ^ (Some (\e211 N:itself e211 z211) (\z True)) (a208 z211)) (\y210 Some (\e210 ^ (B-aN-bN:repeat e210 zz208 y210) (Some (\e212 A-aN:regular e212 e210) (\z True))) (\z True))) (Some (\e207 ^ (B-aN-bN:use e207 x207 zz208) (^ (B-aN-b{B-aN}:can e207) (Some (\x203 ^ (Some (\e203 N-aD:time e203 x203) (\z True)) (a103 x203)) (\y202 Some (\e202 ^ (B-aN-bN:measure e202 e207 y202) (I-aN-b{B-aN}:to e202)) (\z True))))) (\z True)))))) (^ (Some (\x302 ^ (Some (\e302 N-aD:example e302 x302) (\z True)) (^ (BCOPU-aN-b{A-aN}:be x302) (Some (\e301 A-aN:one e301 x302) (\z True)))) (\x N-b{N-aD}:a (\x307 ^ (Some (\e309 N-aD:day e309 x307) (\z True)) (^ (Some (\e311 A-aN-bV:as e311 x307 (Intension (Some (\x312 Some (\e312 NNEXI-aD:earth e312 x312) (\z True)) (\x313 Some (\e313 ^ (B-aN:rotate e313 x313) (Some (\x316 Some (\e316 NNNREL-aD:axis e316 x316) (\z True)) (\y314 Some (\e314 A-aN-bN:on e314 e313 y314) (\z True)))) (\z True))))) (\z True)) (Some (\e308 A-aN:new e308 x307) (\z True)))) (\xx309 Some (\e305 N-aD-bO:dawn e305 x xx309) (\z True)))) (^ (N-b{N-aD}:the (\x421 Some (\e422 N-aD:year e422 x421) (\z True)) (\xx422 Some (\z True) (\x402 True))) (Some (\a422 Equal a422 (\v422 ^ (Some (\e422 N-aD:year e422 v422) (\z True)) (Some (\z True) (\x402 True)))) (\a422 ^ (Gen (\x506 Some (\e506 NNGEN-aD:person e506 x506) (\z True)) (\x507 Some (\x508 Some (\e508 N-aD:calendar e508 x508) (\z True)) (\zz508 ^ (Some (\z True) (\x510 Some (\x516 Some (\e516 N-aD:day e516 x516) (\z True)) (\xx516 N-b{N-aD}:the (\x513 Some (\e514 N-aD-bO:number e514 x513 xx516) (\z True)) (\y510 Some (\z True) (\z510 Some (\e510 ^ (BPRED12-aN-bO-bPtrack:keep e510 x510 y510 z510) (^ (^ (I-aN-b{B-aN}:to e510) (^ (\u ^ (zz508 e510) (u e510)) (True) (\z True))) (N-b{N-aD}:a (\x518 ^ (Some (\e519 N-aD:year e519 x518) (\z True)) (a422 x518)) (\y517 Some (\e517 A-aN-bN:in e517 e510 y517) (\z True))))) (\z True)))))) (Some (\e507 ^ (B-aN-bN:develop e507 x507 zz508) (Some (\x504 ^ (Some (\e504 N-aD:time e504 x504) (\z True)) (Some (\e503 A-aN:ancient e503 x504) (\z True))) (\y502 Some (\e502 ^ (A-aN-bN:in e502 e507 y502) (Some (\e501 A-aN:even e501 e502) (\z True))) (\z True)))) (\z True))))) (Some (\a506 Equal a506 (\v506 ^ (Some (\e506 NNGEN-aD:person e506 v506) (\z True)) (Some (\x508 Some (\e508 N-aD:calendar e508 x508) (\z True)) (\zz508 ^ (Some (\z True) (\x510 Some (\x516 Some (\e516 N-aD:day e516 x516) (\z True)) (\xx516 N-b{N-aD}:the (\x513 Some (\e514 N-aD-bO:number e514 x513 xx516) (\z True)) (\y510 Some (\z True) (\z510 Some (\e510 ^ (BPRED12-aN-bO-bPtrack:keep e510 x510 y510 z510) (^ (^ (I-aN-b{B-aN}:to e510) (^ (\u ^ (zz508 e510) (u e510)) (True) (\z True))) (N-b{N-aD}:a (\x518 ^ (Some (\e519 N-aD:year e519 x518) (\z True)) (a422 x518)) (\y517 Some (\e517 A-aN-bN:in e517 e510 y517) (\z True))))) (\z True)))))) (Some (\e507 ^ (B-aN-bN:develop e507 v506 zz508) (Some (\x504 ^ (Some (\e504 N-aD:time e504 x504) (\z True)) (Some (\e503 A-aN:ancient e503 x504) (\z True))) (\y502 Some (\e502 ^ (A-aN-bN:in e502 e507 y502) (Some (\e501 A-aN:even e501 e502) (\z True))) (\z True)))) (\z True)))))) (\a506 Gen (\z601 ^ (Some (\e601 NNGEN:they e601 z601) (\z True)) (a506 z601)) (\x603 Some (\x604 Some (\e604 N-aD:sundial e604 x604) (\z True)) (\zz604 ^ (N-b{N-aD}:the (\x607 ^ (Some (\e609 N-aD:shadow e609 x607) (\z True)) (^ (Some (\z True) (\x610 Some (\e610 ^ (B-aN-bN:cast e610 x610 x607) (^ (N-b{N-aD}:the (\x615 Some (\e616 N-aD:day e616 x615) (\z True)) (\y614 Some (\e614 A-aN-bN:through e614 e610 y614) (\z True))) (N-b{N-aD}:the (\x612 Some (\e613 N-aD:sun e613 x612) (\z True)) (\y611 Some (\e611 A-aN-bN:by e611 e610 y611) (\z True))))) (\z True))) (Some (\e608 B-aN:move e608 x607) (\z True)))) (\y606 Some (\e606 ^ (B-aN-bN:use e606 zz604 y606) (Some (\x619 ^ (Some (\e619 N-aD:time e619 x619) (\z True)) (N-b{N-aD}:a (\x622 Some (\e623 N-aD:day e623 x622) (\z True)) (\xh623? More (\z620 Some (\e A-aN-b{Cthan-g{V-aN}}:smallnessContains e x619 z620) (\z True)) (\z620 Some (\e A-aN-b{Cthan-g{V-aN}}:smallnessContains e xh623? z620) (\z True))))) (\y618 Some (\e618 ^ (B-aN-bN:measure e618 e606 y618) (I-aN-b{B-aN}:to e618)) (\z True)))) (\z True))) (Some (\e603 ^ (B-aN-bN:develop e603 x603 zz604) (Some (\e602 A-aN:also e602 e603) (\z True))) (\z True)))))))))))))))) 3 LOGIC: (^ (Some (\x1 Some (\e1 N-aD:may e1 x1) (\z True)) (\z True)) (Some (\a1 Equal a1 (\v1 Some (\e1 N-aD:may e1 v1) (\z True))) (\a1 ^ (N-b{N-aD}:the (\x107 Some (\e108 N-aD:year e108 x107) (\z True)) (\xx108 Some (\x101 ^ (Some (\e101 N-aD:may e101 x101) (\z True)) (^ (BCOPU-aN-b{A-aN}:be x101) (a1 x101))) (\x \r \s Some (\x104 ^ (^ (Some (\e105 N-aD:month e105 x104) (\z True)) (^ (^ (Some (\x112 Some (\e112 NNEXI-aD:april e112 x112) (\z True)) (\y111 Some (\e111 ^ (A-aN-bN:between e111 x104 y111) (BCOPU-aN-b{A-aN}:come e111)) (\z True))) (Some (\x114 Some (\e114 NNEXI-aD:june e114 x114) (\z True)) (\y111 Some (\e111 ^ (A-aN-bN:between e111 x104 y111) (BCOPU-aN-b{A-aN}:come e111)) (\z True)))) (^ (A-aN-bN:of x104 x104 xx108) (^ (Some (\x112 Some (\e112 NNEXI-aD:april e112 x112) (\z True)) (\y111 Some (\e111 ^ (A-aN-bN:between e111 x104 y111) (BCOPU-aN-b{A-aN}:come e111)) (\z True))) (Some (\x114 Some (\e114 NNEXI-aD:june e114 x114) (\z True)) (\y111 Some (\e111 ^ (A-aN-bN:between e111 x104 y111) (BCOPU-aN-b{A-aN}:come e111)) (\z True))))))) (NNORD-aD-b{N-aD}:fifthMinusOne (\y104 ^ (Some (\e105 N-aD:month e105 y104) (\z True)) (^ (^ (Some (\x112 Some (\e112 NNEXI-aD:april e112 x112) (\z True)) (\y111 Some (\e111 ^ (A-aN-bN:between e111 y104 y111) (BCOPU-aN-b{A-aN}:come e111)) (\z True))) (Some (\x114 Some (\e114 NNEXI-aD:june e114 x114) (\z True)) (\y111 Some (\e111 ^ (A-aN-bN:between e111 y104 y111) (BCOPU-aN-b{A-aN}:come e111)) (\z True)))) (^ (A-aN-bN:of y104 y104 xx108) (^ (Some (\x112 Some (\e112 NNEXI-aD:april e112 x112) (\z True)) (\y111 Some (\e111 ^ (A-aN-bN:between e111 y104 y111) (BCOPU-aN-b{A-aN}:come e111)) (\z True))) (Some (\x114 Some (\e114 NNEXI-aD:june e114 x114) (\z True)) (\y111 Some (\e111 ^ (A-aN-bN:between e111 y104 y111) (BCOPU-aN-b{A-aN}:come e111)) (\z True))))))) (\y104 Prec x104 y104))) (\y Equal y x)))) (Some (\a101 Equal a101 (\v101 Some (\x107 Some (\e108 N-aD:year e108 x107) (\z True)) (\xx108 ^ (^ (Some (\e101 N-aD:may e101 v101) (\z True)) (^ (BCOPU-aN-b{A-aN}:be v101) (a1 v101))) (\r \s Some (\x104 ^ (^ (Some (\e105 N-aD:month e105 x104) (\z True)) (^ (^ (Some (\x112 Some (\e112 NNEXI-aD:april e112 x112) (\z True)) (\y111 Some (\e111 ^ (A-aN-bN:between e111 x104 y111) (BCOPU-aN-b{A-aN}:come e111)) (\z True))) (Some (\x114 Some (\e114 NNEXI-aD:june e114 x114) (\z True)) (\y111 Some (\e111 ^ (A-aN-bN:between e111 x104 y111) (BCOPU-aN-b{A-aN}:come e111)) (\z True)))) (^ (A-aN-bN:of x104 x104 xx108) (^ (Some (\x112 Some (\e112 NNEXI-aD:april e112 x112) (\z True)) (\y111 Some (\e111 ^ (A-aN-bN:between e111 x104 y111) (BCOPU-aN-b{A-aN}:come e111)) (\z True))) (Some (\x114 Some (\e114 NNEXI-aD:june e114 x114) (\z True)) (\y111 Some (\e111 ^ (A-aN-bN:between e111 x104 y111) (BCOPU-aN-b{A-aN}:come e111)) (\z True))))))) (NNORD-aD-b{N-aD}:fifthMinusOne (\y104 ^ (Some (\e105 N-aD:month e105 y104) (\z True)) (^ (^ (Some (\x112 Some (\e112 NNEXI-aD:april e112 x112) (\z True)) (\y111 Some (\e111 ^ (A-aN-bN:between e111 y104 y111) (BCOPU-aN-b{A-aN}:come e111)) (\z True))) (Some (\x114 Some (\e114 NNEXI-aD:june e114 x114) (\z True)) (\y111 Some (\e111 ^ (A-aN-bN:between e111 y104 y111) (BCOPU-aN-b{A-aN}:come e111)) (\z True)))) (^ (A-aN-bN:of y104 y104 xx108) (^ (Some (\x112 Some (\e112 NNEXI-aD:april e112 x112) (\z True)) (\y111 Some (\e111 ^ (A-aN-bN:between e111 y104 y111) (BCOPU-aN-b{A-aN}:come e111)) (\z True))) (Some (\x114 Some (\e114 NNEXI-aD:june e114 x114) (\z True)) (\y111 Some (\e111 ^ (A-aN-bN:between e111 y104 y111) (BCOPU-aN-b{A-aN}:come e111)) (\z True))))))) (\y104 Prec x104 y104))) (\y Equal y v101))))) (\a101 ^ (Gen (\z201 ^ (Some (\e201 NNGEN:it e201 z201) (\z True)) (a101 z201)) (\x202 N-aD-b{N-aD}:31 (\x203 Some (\e204 N-aD:day e204 x203) (\z True)) (\y202 Some (\e202 B-aN-bN:have e202 x202 y202) (\z True)))) (Some (\a201 Equal a201 (\v201 ^ (^ (Some (\e201 NNGEN:it e201 v201) (\z True)) (a101 v201)) (N-aD-b{N-aD}:31 (\x203 Some (\e204 N-aD:day e204 x203) (\z True)) (\y202 Some (\e202 B-aN-bN:have e202 v201 y202) (\z True))))) (\a201 ^ (Some (\x304 Some (\a302 Equal a302 (\v302 Some (\a304 Equal a304 (\v304 Equal v304 x304)) (\a304 ^ (^ (Some (\e302 N-aD-bO:month e302 v302 x304) (\z True)) (a201 v302)) (Some (\z True) (\x308 Some (\e308 ^ (B-aN-bN:name e308 x308 v302) (^ (^ (BCOPU-aN-b{A-aN}:be e308) (^ (B-aN-b{L-aN}:have e308) (B-aN-b{B-aN}:might e308))) (^ (N-b{N-aD}:the (\x310 ^ (Some (\e312 N-aD:goddess e312 x310) (\z True)) (^ (Some (\e313 N-aD:maia e313 x310) (\z True)) (Some (\e311 N-aD:roman e311 x310) (\z True)))) (\y309 Some (\e309 A-aN-bN:for e309 e308 y309) (\z True))) (Some (\x322 Some (\e322 N-aD:fertility e322 x322) (\z True)) (\xx322 N-b{N-aD}:the (\x318 ^ (Some (\e320 N-aD-bO:goddess e320 x318 xx322) (\z True)) (^ (^ (Some (\e317 A-aN:like e317 x318) (\z True)) (^ (Some (\e324 N-aD:dea e324 x318) (\z True)) (Some (\e323 N-aD:bona e323 x318) (\z True)))) (Some (\e319 N-aD:roman e319 x318) (\z True)))) (\zz320 ^ (Some (\x327 Some (\e327 N-aD:festival e327 x327) (\z True)) (\xx327 Some (\z True) (\x329 Some (\e329 ^ (B-aN-bN:hold e329 x329 xx327) (^ (BCOPU-aN-b{A-aN}:be e329) (Some (\x331 ^ (Some (\e331 N-aD:may e331 x331) (\z True)) (a304 x331)) (\y330 Some (\e330 A-aN-bN:in e330 e329 y330) (\z True))))) (\z True)))) (Some (\e309 A-aN-bN:for e309 e308 zz320) (\z True)))))))) (\z True)))))) (\a302 ^ (Some (\e304 N-aD:may e304 x304) (\z True)) (a302 x304))) (\xx304 Some (\a304 Equal a304 (\v304 Equal v304 xx304)) (\a304 N-b{N-aD}:the (\x301 ^ (Some (\e302 N-aD-bO:month e302 x301 xx304) (\z True)) (a201 x301)) (\zz308 Some (\z True) (\x308 Some (\e308 ^ (B-aN-bN:name e308 x308 zz308) (^ (^ (BCOPU-aN-b{A-aN}:be e308) (^ (B-aN-b{L-aN}:have e308) (B-aN-b{B-aN}:might e308))) (^ (N-b{N-aD}:the (\x310 ^ (Some (\e312 N-aD:goddess e312 x310) (\z True)) (^ (Some (\e313 N-aD:maia e313 x310) (\z True)) (Some (\e311 N-aD:roman e311 x310) (\z True)))) (\y309 Some (\e309 A-aN-bN:for e309 e308 y309) (\z True))) (Some (\x322 Some (\e322 N-aD:fertility e322 x322) (\z True)) (\xx322 N-b{N-aD}:the (\x318 ^ (Some (\e320 N-aD-bO:goddess e320 x318 xx322) (\z True)) (^ (^ (Some (\e317 A-aN:like e317 x318) (\z True)) (^ (Some (\e324 N-aD:dea e324 x318) (\z True)) (Some (\e323 N-aD:bona e323 x318) (\z True)))) (Some (\e319 N-aD:roman e319 x318) (\z True)))) (\zz320 ^ (Some (\x327 Some (\e327 N-aD:festival e327 x327) (\z True)) (\xx327 Some (\z True) (\x329 Some (\e329 ^ (B-aN-bN:hold e329 x329 xx327) (^ (BCOPU-aN-b{A-aN}:be e329) (Some (\x331 ^ (Some (\e331 N-aD:may e331 x331) (\z True)) (a304 x331)) (\y330 Some (\e330 A-aN-bN:in e330 e329 y330) (\z True))))) (\z True)))) (Some (\e309 A-aN-bN:for e309 e308 zz320) (\z True)))))))) (\z True)))))) (Some (\a331 Equal a331 (\v331 Some (\x304 Some (\a302 Equal a302 (\v302 Some (\a304 Equal a304 (\v304 Equal v304 x304)) (\a304 ^ (^ (Some (\e302 N-aD-bO:month e302 v302 x304) (\z True)) (a201 v302)) (Some (\z True) (\x308 Some (\e308 ^ (B-aN-bN:name e308 x308 v302) (^ (^ (BCOPU-aN-b{A-aN}:be e308) (^ (B-aN-b{L-aN}:have e308) (B-aN-b{B-aN}:might e308))) (^ (N-b{N-aD}:the (\x310 ^ (Some (\e312 N-aD:goddess e312 x310) (\z True)) (^ (Some (\e313 N-aD:maia e313 x310) (\z True)) (Some (\e311 N-aD:roman e311 x310) (\z True)))) (\y309 Some (\e309 A-aN-bN:for e309 e308 y309) (\z True))) (Some (\x322 Some (\e322 N-aD:fertility e322 x322) (\z True)) (\xx322 N-b{N-aD}:the (\x318 ^ (Some (\e320 N-aD-bO:goddess e320 x318 xx322) (\z True)) (^ (^ (Some (\e317 A-aN:like e317 x318) (\z True)) (^ (Some (\e324 N-aD:dea e324 x318) (\z True)) (Some (\e323 N-aD:bona e323 x318) (\z True)))) (Some (\e319 N-aD:roman e319 x318) (\z True)))) (\zz320 ^ (Some (\x327 Some (\e327 N-aD:festival e327 x327) (\z True)) (\xx327 Some (\z True) (\x329 Some (\e329 ^ (B-aN-bN:hold e329 x329 xx327) (^ (BCOPU-aN-b{A-aN}:be e329) (^ (^ (Some (\e331 N-aD:may e331 v331) (\z True)) (a304 v331)) (Some (\e330 A-aN-bN:in e330 e329 v331) (\z True))))) (\z True)))) (Some (\e309 A-aN-bN:for e309 e308 zz320) (\z True)))))))) (\z True)))))) (\a302 ^ (Some (\e304 N-aD:may e304 x304) (\z True)) (a302 x304))) (\xx304 Some (\a304 Equal a304 (\v304 Equal v304 xx304)) (\a304 Some (\x301 ^ (Some (\e302 N-aD-bO:month e302 x301 xx304) (\z True)) (a201 x301)) (\zz308 Some (\z True) (\x308 Some (\e308 ^ (B-aN-bN:name e308 x308 zz308) (^ (^ (BCOPU-aN-b{A-aN}:be e308) (^ (B-aN-b{L-aN}:have e308) (B-aN-b{B-aN}:might e308))) (^ (N-b{N-aD}:the (\x310 ^ (Some (\e312 N-aD:goddess e312 x310) (\z True)) (^ (Some (\e313 N-aD:maia e313 x310) (\z True)) (Some (\e311 N-aD:roman e311 x310) (\z True)))) (\y309 Some (\e309 A-aN-bN:for e309 e308 y309) (\z True))) (Some (\x322 Some (\e322 N-aD:fertility e322 x322) (\z True)) (\xx322 N-b{N-aD}:the (\x318 ^ (Some (\e320 N-aD-bO:goddess e320 x318 xx322) (\z True)) (^ (^ (Some (\e317 A-aN:like e317 x318) (\z True)) (^ (Some (\e324 N-aD:dea e324 x318) (\z True)) (Some (\e323 N-aD:bona e323 x318) (\z True)))) (Some (\e319 N-aD:roman e319 x318) (\z True)))) (\zz320 ^ (Some (\x327 Some (\e327 N-aD:festival e327 x327) (\z True)) (\xx327 Some (\z True) (\x329 Some (\e329 ^ (B-aN-bN:hold e329 x329 xx327) (^ (BCOPU-aN-b{A-aN}:be e329) (^ (^ (Some (\e331 N-aD:may e331 v331) (\z True)) (a304 v331)) (Some (\e330 A-aN-bN:in e330 e329 v331) (\z True))))) (\z True)))) (Some (\e309 A-aN-bN:for e309 e308 zz320) (\z True)))))))) (\z True))))))) (\a331 ^ (Some (\x403 ^ (Some (\x401 ^ (Some (\e401 N-aD:may e401 x401) (\z True)) (a331 x401)) (\z403 ^ (Some (\e403 NNASSOC-aD:flower e403 x403 z403) (\z True)) (Assoc x403 z403))) (BCOPU-aN-b{A-aN}:be x403)) (\x N-b{N-aD}:the (\x408 Some (\e409 N-aD:valley e409 x408) (\z True)) (\xx409 Some (\e406 N-aD-bO:lily e406 x xx409) (\z True)))) (Some (\a401 Equal a401 (\v401 Some (\x403 ^ (^ (^ (Some (\e401 N-aD:may e401 v401) (\z True)) (a331 v401)) (^ (Some (\e403 NNASSOC-aD:flower e403 x403 v401) (\z True)) (Assoc x403 v401))) (BCOPU-aN-b{A-aN}:be x403)) (\x Some (\x408 Some (\e409 N-aD:valley e409 x408) (\z True)) (\xx409 Some (\e406 N-aD-bO:lily e406 x xx409) (\z True))))) (\a401 ^ (Some (\x502 ^ (Some (\z501 ^ (Some (\e501 N:it e501 z501) (\z True)) (a401 z501)) (\z502 ^ (Some (\e502 NNASSOC-aD:birthstone e502 x502 z502) (\z True)) (Assoc x502 z502))) (BCOPU-aN-b{A-aN}:be x502)) (\x Some (\e505 N-aD:emerald e505 x) (\z True))) (Some (\a502 Equal a502 (\v502 ^ (^ (Some (\z501 ^ (Some (\e501 N:it e501 z501) (\z True)) (a401 z501)) (\z502 ^ (Some (\e502 NNASSOC-aD:birthstone e502 v502 z502) (\z True)) (Assoc v502 z502))) (BCOPU-aN-b{A-aN}:be v502)) (Some (\e505 N-aD:emerald e505 v502) (\z True)))) (\a502 N-b{N-aD}:the (\x604 ^ (Some (\e605 N-aD:emerald e605 x604) (\z True)) (a502 x604)) (\xx605 N-b{N-aD}:the (\x601 ^ (Some (\e602 N-aD-bO:meaning e602 x601 xx605) (\z True)) (BCOPU-aN-b{A-aN}:be x601)) (\x ^ (Some (\e607 N-aD:success e607 x) (\z True)) (Some (\x609 Some (\e609 N-aD:love e609 x609) (\z True)) (\y608 Some (\e608 A-aN-bN:in e608 x y608) (\z True)))))))))))))))))) 4 LOGIC: (^ (Some (\x1 Some (\e1 N-aD:world e1 x1) (\z True)) (\z True)) (Some (\a1 Equal a1 (\v1 Some (\e1 N-aD:world e1 v1) (\z True))) (\a1 ^ (Some (\x101 ^ (Some (\e101 N-aD:world e101 x101) (\z True)) (a1 x101)) (\x103 N-b{N-aD}:a (\x104 Some (\e105 N-aD:planet e105 x104) (\z True)) (\y103 Some (\e103 ^ (B-aN-bN:mean e103 x103 y103) (Some (\e102 A-aN:usual e102 e103) (\z True))) (\z True)))) (Some (\a105 Equal a105 (\v105 Some (\x101 ^ (Some (\e101 N-aD:world e101 x101) (\z True)) (a1 x101)) (\x103 ^ (Some (\e105 N-aD:planet e105 v105) (\z True)) (Some (\e103 ^ (B-aN-bN:mean e103 x103 v105) (Some (\e102 A-aN:usual e102 e103) (\z True))) (\z True))))) (\a105 Some (\a101 Equal a101 (\v101 ^ (^ (Some (\e101 N-aD:world e101 v101) (\z True)) (a1 v101)) (N-b{N-aD}:a (\x104 Some (\e105 N-aD:planet e105 x104) (\z True)) (\y103 Some (\e103 ^ (B-aN-bN:mean e103 v101 y103) (Some (\e102 A-aN:usual e102 e103) (\z True))) (\z True))))) (\a101 ^ (Some (\z208 Some (\a202 Equal a202 (\v202 AntecTmp 213 Some (\x211 ^ (Some (\e212 N-aD:planet e212 x211) (\z True)) (^ (a105 x211) (Some (\a212 Equal a212 (\v212 a105 v212)) (\a212 ^ (Some (\e213 N-aD:earth e213 x211) (\z True)) (a212 x211))))) (\y210 Some (\e210 ^ (B-aN-bN:mean e210 z208 y210) (Some (\e209 A-aN:usual e209 e210) (\z True))) (\zz210 \r \s ^ (Some (\e202 N-aD:person e202 v202) (\z True)) (N-b{N-aD}:the (\x205 ^ (Some (\e206 N-aD:world e206 x205) (\z True)) (a101 x205)) (\y203 Some (\e203 ^ (B-aN-bN:say e203 v202 y203) (Some (\e201 A-aN-rN:when e201 e203 zz210) (\z True))) (\z True))))))) (\a202 ^ (Some (\e208 N:they e208 z208) (\z True)) (a202 z208))) (\x210 AntecTmp 213 N-b{N-aD}:the (\x211 ^ (Some (\e212 N-aD:planet e212 x211) (\z True)) (^ (a105 x211) (Some (\a212 Equal a212 (\v212 a105 v212)) (\a212 ^ (Some (\e213 N-aD:earth e213 x211) (\z True)) (a212 x211))))) (\y210 Some (\e210 ^ (B-aN-bN:mean e210 x210 y210) (Some (\e209 A-aN:usual e209 e210) (\z True))) (\zz210 \r \s Some (\x202 Some (\e202 N-aD:person e202 x202) (\z True)) (\x203 N-b{N-aD}:the (\x205 ^ (Some (\e206 N-aD:world e206 x205) (\z True)) (a101 x205)) (\y203 Some (\e203 ^ (B-aN-bN:say e203 x203 y203) (Some (\e201 A-aN-rN:when e201 e203 zz210) (\z True))) (\z True))))))) (Some (\a206 Equal a206 (\v206 Some (\z208 Some (\a202 Equal a202 (\v202 AntecTmp 213 Some (\x211 ^ (Some (\e212 N-aD:planet e212 x211) (\z True)) (^ (a105 x211) (Some (\a212 Equal a212 (\v212 a105 v212)) (\a212 ^ (Some (\e213 N-aD:earth e213 x211) (\z True)) (a212 x211))))) (\y210 Some (\e210 ^ (B-aN-bN:mean e210 z208 y210) (Some (\e209 A-aN:usual e209 e210) (\z True))) (\zz210 \r \s ^ (Some (\e202 N-aD:person e202 v202) (\z True)) (^ (^ (Some (\e206 N-aD:world e206 v206) (\z True)) (a101 v206)) (Some (\e203 ^ (B-aN-bN:say e203 v202 v206) (Some (\e201 A-aN-rN:when e201 e203 zz210) (\z True))) (\z True))))))) (\a202 ^ (Some (\e208 N:they e208 z208) (\z True)) (a202 z208))) (\x210 AntecTmp 213 Some (\x211 ^ (Some (\e212 N-aD:planet e212 x211) (\z True)) (^ (a105 x211) (Some (\a212 Equal a212 (\v212 a105 v212)) (\a212 ^ (Some (\e213 N-aD:earth e213 x211) (\z True)) (a212 x211))))) (\y210 Some (\e210 ^ (B-aN-bN:mean e210 x210 y210) (Some (\e209 A-aN:usual e209 e210) (\z True))) (\zz210 \r \s Some (\x202 Some (\e202 N-aD:person e202 x202) (\z True)) (\x203 ^ (^ (Some (\e206 N-aD:world e206 v206) (\z True)) (a101 v206)) (Some (\e203 ^ (B-aN-bN:say e203 x203 v206) (Some (\e201 A-aN-rN:when e201 e203 zz210) (\z True))) (\z True)))))))) (\a206 Some (\a202 Equal a202 (\v202 Some (\z208 Some (\a202 Equal a202 (\v202 AntecTmp 213 Some (\x211 ^ (Some (\e212 N-aD:planet e212 x211) (\z True)) (^ (a105 x211) (Some (\a212 Equal a212 (\v212 a105 v212)) (\a212 ^ (Some (\e213 N-aD:earth e213 x211) (\z True)) (a212 x211))))) (\y210 Some (\e210 ^ (B-aN-bN:mean e210 z208 y210) (Some (\e209 A-aN:usual e209 e210) (\z True))) (\zz210 \r \s ^ (Some (\e202 N-aD:person e202 v202) (\z True)) (N-b{N-aD}:the (\x205 ^ (Some (\e206 N-aD:world e206 x205) (\z True)) (a101 x205)) (\y203 Some (\e203 ^ (B-aN-bN:say e203 v202 y203) (Some (\e201 A-aN-rN:when e201 e203 zz210) (\z True))) (\z True))))))) (\a202 ^ (Some (\e208 N:they e208 z208) (\z True)) (a202 z208))) (\x210 AntecTmp 213 Some (\x211 ^ (Some (\e212 N-aD:planet e212 x211) (\z True)) (^ (a105 x211) (Some (\a212 Equal a212 (\v212 a105 v212)) (\a212 ^ (Some (\e213 N-aD:earth e213 x211) (\z True)) (a212 x211))))) (\y210 Some (\e210 ^ (B-aN-bN:mean e210 x210 y210) (Some (\e209 A-aN:usual e209 e210) (\z True))) (\zz210 \r \s ^ (Some (\e202 N-aD:person e202 v202) (\z True)) (N-b{N-aD}:the (\x205 ^ (Some (\e206 N-aD:world e206 x205) (\z True)) (a101 x205)) (\y203 Some (\e203 ^ (B-aN-bN:say e203 v202 y203) (Some (\e201 A-aN-rN:when e201 e203 zz210) (\z True))) (\z True)))))))) (\a202 Some (\a213 Equal a213 (\v213 Some (\z208 Some (\a202 Equal a202 (\v202 ^ (^ (Some (\e212 N-aD:planet e212 v213) (\z True)) (^ (a105 v213) (Some (\a212 Equal a212 (\v212 a105 v212)) (\a212 ^ (Some (\e213 N-aD:earth e213 v213) (\z True)) (a212 v213))))) (Some (\e210 ^ (B-aN-bN:mean e210 z208 v213) (Some (\e209 A-aN:usual e209 e210) (\z True))) (\zz210 \r \s ^ (Some (\e202 N-aD:person e202 v202) (\z True)) (N-b{N-aD}:the (\x205 ^ (Some (\e206 N-aD:world e206 x205) (\z True)) (a101 x205)) (\y203 Some (\e203 ^ (B-aN-bN:say e203 v202 y203) (Some (\e201 A-aN-rN:when e201 e203 zz210) (\z True))) (\z True))))))) (\a202 ^ (Some (\e208 N:they e208 z208) (\z True)) (a202 z208))) (\x210 ^ (^ (Some (\e212 N-aD:planet e212 v213) (\z True)) (^ (a105 v213) (Some (\a212 Equal a212 (\v212 a105 v212)) (\a212 ^ (Some (\e213 N-aD:earth e213 v213) (\z True)) (a212 v213))))) (Some (\e210 ^ (B-aN-bN:mean e210 x210 v213) (Some (\e209 A-aN:usual e209 e210) (\z True))) (\zz210 \r \s Some (\x202 Some (\e202 N-aD:person e202 x202) (\z True)) (\x203 N-b{N-aD}:the (\x205 ^ (Some (\e206 N-aD:world e206 x205) (\z True)) (a101 x205)) (\y203 Some (\e203 ^ (B-aN-bN:say e203 x203 y203) (Some (\e201 A-aN-rN:when e201 e203 zz210) (\z True))) (\z True)))))))) (\a213 ^ (^ (Some (\x301 Some (\e301 N-aD:human e301 x301) (\z True)) (\x304 Some (\e304 ^ (B-aN:live e304 x304) (N-b{N-aD}:the (\x306 ^ (Some (\e307 N-aD:world e307 x306) (\z True)) (a213 x306)) (\y305 Some (\e305 A-aN-bN:in e305 e304 y305) (\z True)))) (\z True))) (Some (\x303 Some (\e303 N-aD:animal e303 x303) (\z True)) (\x304 Some (\e304 ^ (B-aN:live e304 x304) (N-b{N-aD}:the (\x306 ^ (Some (\e307 N-aD:world e307 x306) (\z True)) (a213 x306)) (\y305 Some (\e305 A-aN-bN:in e305 e304 y305) (\z True)))) (\z True)))) (Some (\a307 Equal a307 (\v307 ^ (Some (\x301 Some (\e301 N-aD:human e301 x301) (\z True)) (\x304 Some (\e304 ^ (B-aN:live e304 x304) (^ (^ (Some (\e307 N-aD:world e307 v307) (\z True)) (a213 v307)) (Some (\e305 A-aN-bN:in e305 e304 v307) (\z True)))) (\z True))) (Some (\x303 Some (\e303 N-aD:animal e303 x303) (\z True)) (\x304 Some (\e304 ^ (B-aN:live e304 x304) (^ (^ (Some (\e307 N-aD:world e307 v307) (\z True)) (a213 v307)) (Some (\e305 A-aN-bN:in e305 e304 v307) (\z True)))) (\z True))))) (\a307 ^ (Some (\z408 ^ (Some (\e408 N:we e408 z408) (\z True)) (a202 z408)) (\xx408 N-b{N-aD}:the (\x401 ^ (Some (\e402 N-aD:earth e402 x401) (\z True)) (^ (BCOPU-aN-b{A-aN}:be x401) (a307 x401))) (\x Some (\x406 ^ (Some (\e406 N-aD:planet e406 x406) (\z True)) (Some (\e405 A-aN:only e405 x406) (\z True))) (\zz406 ^ (Some (\e409 B-aN-bO:know e409 xx408 zz406) (\z True)) (^ (Some (\z True) (\x413 Some (\e413 B-aN:live e413 x413) (\y412 Some (\e412 B-aN-bN:have e412 zz406 y412) (\z True)))) (Equal zz406 x)))))) (Some (\a402 Equal a402 (\v402 Some (\z408 ^ (Some (\e408 N:we e408 z408) (\z True)) (a202 z408)) (\xx408 ^ (^ (Some (\e402 N-aD:earth e402 v402) (\z True)) (^ (BCOPU-aN-b{A-aN}:be v402) (a307 v402))) (Some (\x406 ^ (Some (\e406 N-aD:planet e406 x406) (\z True)) (Some (\e405 A-aN:only e405 x406) (\z True))) (\zz406 ^ (Some (\e409 B-aN-bO:know e409 xx408 zz406) (\z True)) (^ (Some (\z True) (\x413 Some (\e413 B-aN:live e413 x413) (\y412 Some (\e412 B-aN-bN:have e412 zz406 y412) (\z True)))) (Equal zz406 v402))))))) (\a402 Some (\a408 Equal a408 (\v408 ^ (^ (Some (\e408 N:we e408 v408) (\z True)) (a202 v408)) (N-b{N-aD}:the (\x401 ^ (Some (\e402 N-aD:earth e402 x401) (\z True)) (^ (BCOPU-aN-b{A-aN}:be x401) (a307 x401))) (\x Some (\x406 ^ (Some (\e406 N-aD:planet e406 x406) (\z True)) (Some (\e405 A-aN:only e405 x406) (\z True))) (\zz406 ^ (Some (\e409 B-aN-bO:know e409 v408 zz406) (\z True)) (^ (Some (\z True) (\x413 Some (\e413 B-aN:live e413 x413) (\y412 Some (\e412 B-aN-bN:have e412 zz406 y412) (\z True)))) (Equal zz406 x))))))) (\a408 ^ (Some (\z510 Some (\a502 Equal a502 (\v502 Some (\x514 ^ (Some (\e514 N-aD:world e514 x514) (\z True)) (a206 x514)) (\y512 Some (\e512 ^ (B-aN-bN:use e512 z510 y512) (^ (^ (Some (\e501 A-aN-bV:before e501 e512 (Intension (^ (^ (Some (\e502 NNGEN-aD:person e502 v502) (\z True)) (a408 v502)) (Some (\e503 B-aN-bC:discover e503 v502 (Intension (Some (\x505 ^ (Some (\e505 NNEXI-aD:earth e505 x505) (\z True)) (^ (BCOPU-aN-b{A-aN}:be x505) (a402 x505))) (\x Some (\e508 N-aD:planet e508 x) (\z True))))) (\z True))))) (\z True)) (Some (\e511 A-aN:often e511 e512) (\z True))) (Some (\x519 Some (\e519 N-aD:universe e519 x519) (\z True)) (\y517 Some (\e517 ^ (B-aN-bN:mean e517 e512 y517) (I-aN-b{B-aN}:to e517)) (\z True))))) (\z True)))) (\a502 ^ (Some (\e510 N:they e510 z510) (\z True)) (a502 z510))) (\x512 Some (\x514 ^ (Some (\e514 N-aD:world e514 x514) (\z True)) (a206 x514)) (\y512 Some (\e512 ^ (B-aN-bN:use e512 x512 y512) (^ (^ (Some (\e501 A-aN-bV:before e501 e512 (Intension (Gen (\x502 ^ (Some (\e502 NNGEN-aD:person e502 x502) (\z True)) (a408 x502)) (\x503 Some (\e503 B-aN-bC:discover e503 x503 (Intension (Some (\x505 ^ (Some (\e505 NNEXI-aD:earth e505 x505) (\z True)) (^ (BCOPU-aN-b{A-aN}:be x505) (a402 x505))) (\x Some (\e508 N-aD:planet e508 x) (\z True))))) (\z True))))) (\z True)) (Some (\e511 A-aN:often e511 e512) (\z True))) (Some (\x519 Some (\e519 N-aD:universe e519 x519) (\z True)) (\y517 Some (\e517 ^ (B-aN-bN:mean e517 e512 y517) (I-aN-b{B-aN}:to e517)) (\z True))))) (\z True)))) (Some (\a514 Equal a514 (\v514 Some (\z510 Some (\a502 Equal a502 (\v502 ^ (^ (Some (\e514 N-aD:world e514 v514) (\z True)) (a206 v514)) (Some (\e512 ^ (B-aN-bN:use e512 z510 v514) (^ (^ (Some (\e501 A-aN-bV:before e501 e512 (Intension (^ (^ (Some (\e502 NNGEN-aD:person e502 v502) (\z True)) (a408 v502)) (Some (\e503 B-aN-bC:discover e503 v502 (Intension (Some (\x505 ^ (Some (\e505 NNEXI-aD:earth e505 x505) (\z True)) (^ (BCOPU-aN-b{A-aN}:be x505) (a402 x505))) (\x Some (\e508 N-aD:planet e508 x) (\z True))))) (\z True))))) (\z True)) (Some (\e511 A-aN:often e511 e512) (\z True))) (Some (\x519 Some (\e519 N-aD:universe e519 x519) (\z True)) (\y517 Some (\e517 ^ (B-aN-bN:mean e517 e512 y517) (I-aN-b{B-aN}:to e517)) (\z True))))) (\z True)))) (\a502 ^ (Some (\e510 N:they e510 z510) (\z True)) (a502 z510))) (\x512 ^ (^ (Some (\e514 N-aD:world e514 v514) (\z True)) (a206 v514)) (Some (\e512 ^ (B-aN-bN:use e512 x512 v514) (^ (^ (Some (\e501 A-aN-bV:before e501 e512 (Intension (Gen (\x502 ^ (Some (\e502 NNGEN-aD:person e502 x502) (\z True)) (a408 x502)) (\x503 Some (\e503 B-aN-bC:discover e503 x503 (Intension (Some (\x505 ^ (Some (\e505 NNEXI-aD:earth e505 x505) (\z True)) (^ (BCOPU-aN-b{A-aN}:be x505) (a402 x505))) (\x Some (\e508 N-aD:planet e508 x) (\z True))))) (\z True))))) (\z True)) (Some (\e511 A-aN:often e511 e512) (\z True))) (Some (\x519 Some (\e519 N-aD:universe e519 x519) (\z True)) (\y517 Some (\e517 ^ (B-aN-bN:mean e517 e512 y517) (I-aN-b{B-aN}:to e517)) (\z True))))) (\z True))))) (\a514 Some (\a510 Equal a510 (\v510 ^ (Some (\a502 Equal a502 (\v502 Some (\x514 ^ (Some (\e514 N-aD:world e514 x514) (\z True)) (a206 x514)) (\y512 Some (\e512 ^ (B-aN-bN:use e512 v510 y512) (^ (^ (Some (\e501 A-aN-bV:before e501 e512 (Intension (^ (^ (Some (\e502 NNGEN-aD:person e502 v502) (\z True)) (a408 v502)) (Some (\e503 B-aN-bC:discover e503 v502 (Intension (Some (\x505 ^ (Some (\e505 NNEXI-aD:earth e505 x505) (\z True)) (^ (BCOPU-aN-b{A-aN}:be x505) (a402 x505))) (\x Some (\e508 N-aD:planet e508 x) (\z True))))) (\z True))))) (\z True)) (Some (\e511 A-aN:often e511 e512) (\z True))) (Some (\x519 Some (\e519 N-aD:universe e519 x519) (\z True)) (\y517 Some (\e517 ^ (B-aN-bN:mean e517 e512 y517) (I-aN-b{B-aN}:to e517)) (\z True))))) (\z True)))) (\a502 ^ (Some (\e510 N:they e510 v510) (\z True)) (a502 v510))) (Some (\x514 ^ (Some (\e514 N-aD:world e514 x514) (\z True)) (a206 x514)) (\y512 Some (\e512 ^ (B-aN-bN:use e512 v510 y512) (^ (^ (Some (\e501 A-aN-bV:before e501 e512 (Intension (Gen (\x502 ^ (Some (\e502 NNGEN-aD:person e502 x502) (\z True)) (a408 x502)) (\x503 Some (\e503 B-aN-bC:discover e503 x503 (Intension (Some (\x505 ^ (Some (\e505 NNEXI-aD:earth e505 x505) (\z True)) (^ (BCOPU-aN-b{A-aN}:be x505) (a402 x505))) (\x Some (\e508 N-aD:planet e508 x) (\z True))))) (\z True))))) (\z True)) (Some (\e511 A-aN:often e511 e512) (\z True))) (Some (\x519 Some (\e519 N-aD:universe e519 x519) (\z True)) (\y517 Some (\e517 ^ (B-aN-bN:mean e517 e512 y517) (I-aN-b{B-aN}:to e517)) (\z True))))) (\z True))))) (\a510 Gen (\z605 ^ (Some (\e605 NNGEN:it e605 z605) (\z True)) (a514 z605)) (\xx605 Some (\z601 ^ (Some (\e601 N:they e601 z601) (\z True)) (a510 z601)) (\x604 Some (\e604 ^ (B-aN-bN:use e604 x604 xx605) (^ (^ (Some (\e602 A-aN:still e602 e604) (\z True)) (Some (\e603 A-aN:sometimes e603 e604) (\z True))) (^ (Some (\x609 ^ (Some (\e609 N-aD:human e609 x609) (\z True)) (Some (\e608 A-aN:all e608 x609) (\z True))) (\y607 Some (\e607 ^ (B-aN-bN:mean e607 e604 y607) (I-aN-b{B-aN}:to e607)) (\z True))) (Some (\x612 ^ (Some (\e612 N-aD:civilization e612 x612) (\z True)) (Some (\e611 A-aN:all e611 x612) (\z True))) (\y607 Some (\e607 ^ (B-aN-bN:mean e607 e604 y607) (I-aN-b{B-aN}:to e607)) (\z True)))))) (\z True))))))))))))))))))))) 5 LOGIC: (^ (Some (\x1 Some (\e1 N-aD:american e1 x1) (\z True)) (\z True)) (Some (\a1 Equal a1 (\v1 Some (\e1 N-aD:american e1 v1) (\z True))) (\a1 ^ (N-b{N-aD}:the (\x101 ^ (Some (\e103 N-aD:american e103 x101) (\z True)) (^ (a1 x101) (Some (\e102 N-aD:word e102 x101) (\z True)))) (\zz105 Some (\z True) (\x105 Some (\e105 ^ (B-aN-bN:use e105 x105 zz105) (^ (BCOPU-aN-b{A-aN}:be e105) (^ (N-b{N-aD}:a (\x108 ^ (Some (\e109 N-aD:person e109 x108) (\z True)) (N-b{N-aD}:any (\x114 ^ (Some (\e115 N-aD:country e115 x114) (\z True)) (N-b{N-aD}:the (\x119 Some (\e120 N-aD:america e120 x119) (\z True)) (\xx120 Some (\a120 Equal a120 (\v120 Equal v120 xx120)) (\a120 N-bO:any (\x117 ^ (^ (^ (Some (\e123 N-aD:america e123 xx120) (\z True)) (^ (a120 xx120) (Some (\e122 A-aN:north e122 xx120) (\z True)))) (^ (^ (Some (\e126 N-aD:america e126 xx120) (\z True)) (^ (a120 xx120) (Some (\e125 N-aD:central e125 xx120) (\z True)))) (^ (Some (\e130 N-aD:america e130 xx120) (\z True)) (^ (a120 xx120) (Some (\e129 A-aN:south e129 xx120) (\z True)))))) (Equal xx120 x117)) (\y116 Some (\e116 A-aN-bN:in e116 x114 y116) (\z True)))))) (\y113 Some (\e113 A-aN-bN:from e113 x108 y113) (\z True)))) (\y107 Some (\e107 ^ (B-aN-bN:mean e107 e105 y107) (I-aN-b{B-aN}:to e107)) (\z True))) (N-b{N-aD}:a (\x111 ^ (Some (\e112 N-aD:thing e112 x111) (\z True)) (N-b{N-aD}:any (\x114 ^ (Some (\e115 N-aD:country e115 x114) (\z True)) (N-b{N-aD}:the (\x119 Some (\e120 N-aD:america e120 x119) (\z True)) (\xx120 Some (\a120 Equal a120 (\v120 Equal v120 xx120)) (\a120 N-bO:any (\x117 ^ (^ (^ (Some (\e123 N-aD:america e123 xx120) (\z True)) (^ (a120 xx120) (Some (\e122 A-aN:north e122 xx120) (\z True)))) (^ (^ (Some (\e126 N-aD:america e126 xx120) (\z True)) (^ (a120 xx120) (Some (\e125 N-aD:central e125 xx120) (\z True)))) (^ (Some (\e130 N-aD:america e130 xx120) (\z True)) (^ (a120 xx120) (Some (\e129 A-aN:south e129 xx120) (\z True)))))) (Equal xx120 x117)) (\y116 Some (\e116 A-aN-bN:in e116 x114 y116) (\z True)))))) (\y113 Some (\e113 A-aN-bN:from e113 x111 y113) (\z True)))) (\y107 Some (\e107 ^ (B-aN-bN:mean e107 e105 y107) (I-aN-b{B-aN}:to e107)) (\z True)))))) (\z True)))) (Some (\a128 Equal a128 (\v128 Some (\x101 ^ (Some (\e103 N-aD:american e103 x101) (\z True)) (^ (a1 x101) (Some (\e102 N-aD:word e102 x101) (\z True)))) (\zz105 Some (\z True) (\x105 Some (\e105 ^ (B-aN-bN:use e105 x105 zz105) (^ (BCOPU-aN-b{A-aN}:be e105) (^ (N-b{N-aD}:a (\x108 ^ (Some (\e109 N-aD:person e109 x108) (\z True)) (N-b{N-aD}:any (\x114 ^ (Some (\e115 N-aD:country e115 x114) (\z True)) (N-b{N-aD}:the (\x119 Some (\e120 N-aD:america e120 x119) (\z True)) (\xx120 Some (\a120 Equal a120 (\v120 Equal v120 xx120)) (\a120 N-bO:any (\x117 ^ (^ (^ (Some (\e123 N-aD:america e123 xx120) (\z True)) (^ (a120 xx120) (Some (\e122 A-aN:north e122 xx120) (\z True)))) (^ (^ (Some (\e126 N-aD:america e126 xx120) (\z True)) (^ (a120 xx120) (Some (\e125 N-aD:central e125 xx120) (\z True)))) (^ (Some (\e130 N-aD:america e130 xx120) (\z True)) (^ (a120 xx120) (Some (\e129 A-aN:south e129 xx120) (\z True)))))) (Equal xx120 x117)) (\y116 Some (\e116 A-aN-bN:in e116 x114 y116) (\z True)))))) (\y113 Some (\e113 A-aN-bN:from e113 x108 y113) (\z True)))) (\y107 Some (\e107 ^ (B-aN-bN:mean e107 e105 y107) (I-aN-b{B-aN}:to e107)) (\z True))) (N-b{N-aD}:a (\x111 ^ (Some (\e112 N-aD:thing e112 x111) (\z True)) (N-b{N-aD}:any (\x114 ^ (Some (\e115 N-aD:country e115 x114) (\z True)) (N-b{N-aD}:the (\x119 Some (\e120 N-aD:america e120 x119) (\z True)) (\xx120 Some (\a120 Equal a120 (\v120 Equal v120 xx120)) (\a120 N-bO:any (\x117 ^ (^ (^ (Some (\e123 N-aD:america e123 xx120) (\z True)) (^ (a120 xx120) (Some (\e122 A-aN:north e122 xx120) (\z True)))) (^ (^ (Some (\e126 N-aD:america e126 xx120) (\z True)) (^ (a120 xx120) (Some (\e125 N-aD:central e125 xx120) (\z True)))) (^ (Some (\e130 N-aD:america e130 xx120) (\z True)) (^ (a120 xx120) (Some (\e129 A-aN:south e129 xx120) (\z True)))))) (Equal xx120 x117)) (\y116 Some (\e116 A-aN-bN:in e116 x114 y116) (\z True)))))) (\y113 Some (\e113 A-aN-bN:from e113 x111 y113) (\z True)))) (\y107 Some (\e107 ^ (B-aN-bN:mean e107 e105 y107) (I-aN-b{B-aN}:to e107)) (\z True)))))) (\z True))))) (\a128 Some (\a103 Equal a103 (\v103 ^ (^ (Some (\e103 N-aD:american e103 v103) (\z True)) (^ (a1 v103) (Some (\e102 N-aD:word e102 v103) (\z True)))) (Some (\z True) (\x105 Some (\e105 ^ (B-aN-bN:use e105 x105 v103) (^ (BCOPU-aN-b{A-aN}:be e105) (^ (N-b{N-aD}:a (\x108 ^ (Some (\e109 N-aD:person e109 x108) (\z True)) (N-b{N-aD}:any (\x114 ^ (Some (\e115 N-aD:country e115 x114) (\z True)) (N-b{N-aD}:the (\x119 Some (\e120 N-aD:america e120 x119) (\z True)) (\xx120 Some (\a120 Equal a120 (\v120 Equal v120 xx120)) (\a120 N-bO:any (\x117 ^ (^ (^ (Some (\e123 N-aD:america e123 xx120) (\z True)) (^ (a120 xx120) (Some (\e122 A-aN:north e122 xx120) (\z True)))) (^ (^ (Some (\e126 N-aD:america e126 xx120) (\z True)) (^ (a120 xx120) (Some (\e125 N-aD:central e125 xx120) (\z True)))) (^ (Some (\e130 N-aD:america e130 xx120) (\z True)) (^ (a120 xx120) (Some (\e129 A-aN:south e129 xx120) (\z True)))))) (Equal xx120 x117)) (\y116 Some (\e116 A-aN-bN:in e116 x114 y116) (\z True)))))) (\y113 Some (\e113 A-aN-bN:from e113 x108 y113) (\z True)))) (\y107 Some (\e107 ^ (B-aN-bN:mean e107 e105 y107) (I-aN-b{B-aN}:to e107)) (\z True))) (N-b{N-aD}:a (\x111 ^ (Some (\e112 N-aD:thing e112 x111) (\z True)) (N-b{N-aD}:any (\x114 ^ (Some (\e115 N-aD:country e115 x114) (\z True)) (N-b{N-aD}:the (\x119 Some (\e120 N-aD:america e120 x119) (\z True)) (\xx120 Some (\a120 Equal a120 (\v120 Equal v120 xx120)) (\a120 N-bO:any (\x117 ^ (^ (^ (Some (\e123 N-aD:america e123 xx120) (\z True)) (^ (a120 xx120) (Some (\e122 A-aN:north e122 xx120) (\z True)))) (^ (^ (Some (\e126 N-aD:america e126 xx120) (\z True)) (^ (a120 xx120) (Some (\e125 N-aD:central e125 xx120) (\z True)))) (^ (Some (\e130 N-aD:america e130 xx120) (\z True)) (^ (a120 xx120) (Some (\e129 A-aN:south e129 xx120) (\z True)))))) (Equal xx120 x117)) (\y116 Some (\e116 A-aN-bN:in e116 x114 y116) (\z True)))))) (\y113 Some (\e113 A-aN-bN:from e113 x111 y113) (\z True)))) (\y107 Some (\e107 ^ (B-aN-bN:mean e107 e105 y107) (I-aN-b{B-aN}:to e107)) (\z True)))))) (\z True))))) (\a103 ^ (N-b{N-aD}:this (\x209 ^ (Some (\e210 N-aD:word e210 x209) (\z True)) (a103 x209)) (\xx210 N-b{N-aD}:the (\x204 Some (\z True) (\x207 ^ (B-aN-bN:use x204 x207 xx210) (^ (Some (\e205 A-aN:most e205 x204) (\z True)) (Some (\e206 A-aN:common e206 x204) (\z True))))) (\x213 ^ (N-b{N-aD}:a (\x214 ^ (Some (\e215 N-aD:person e215 x214) (\z True)) (N-b{N-aD}:the (\x220 ^ (Some (\e222 N-aD:state e222 x220) (\z True)) (Some (\z True) (\x221 Some (\e221 B-aN-bN:unite e221 x221 x220) (\z True)))) (\y219 Some (\e219 A-aN-bN:from e219 x214 y219) (\z True)))) (\y213 Some (\e213 ^ (B-aN-bN:mean e213 x213 y213) (^ (I-aN-b{B-aN}:to e213) (^ (BCOPU-aN-b{A-aN}:be e213) (Some (\x202 Some (\e202 NNEXI-aD:english e202 x202) (\z True)) (\y201 Some (\e201 A-aN-bN:in e201 e213 y201) (\z True)))))) (\z True))) (N-b{N-aD}:a (\x217 ^ (Some (\e218 N-aD:thing e218 x217) (\z True)) (N-b{N-aD}:the (\x220 ^ (Some (\e222 N-aD:state e222 x220) (\z True)) (Some (\z True) (\x221 Some (\e221 B-aN-bN:unite e221 x221 x220) (\z True)))) (\y219 Some (\e219 A-aN-bN:from e219 x217 y219) (\z True)))) (\y213 Some (\e213 ^ (B-aN-bN:mean e213 x213 y213) (^ (I-aN-b{B-aN}:to e213) (^ (BCOPU-aN-b{A-aN}:be e213) (Some (\x202 Some (\e202 NNEXI-aD:english e202 x202) (\z True)) (\y201 Some (\e201 A-aN-bN:in e201 e213 y201) (\z True)))))) (\z True)))))) (Some (\a202 Equal a202 (\v202 Some (\x209 ^ (Some (\e210 N-aD:word e210 x209) (\z True)) (a103 x209)) (\xx210 Some (\x204 Some (\z True) (\x207 ^ (B-aN-bN:use x204 x207 xx210) (^ (Some (\e205 A-aN:most e205 x204) (\z True)) (Some (\e206 A-aN:common e206 x204) (\z True))))) (\x213 ^ (Some (\x214 ^ (Some (\e215 N-aD:person e215 x214) (\z True)) (N-b{N-aD}:the (\x220 ^ (Some (\e222 N-aD:state e222 x220) (\z True)) (Some (\z True) (\x221 Some (\e221 B-aN-bN:unite e221 x221 x220) (\z True)))) (\y219 Some (\e219 A-aN-bN:from e219 x214 y219) (\z True)))) (\y213 Some (\e213 ^ (B-aN-bN:mean e213 x213 y213) (^ (I-aN-b{B-aN}:to e213) (^ (BCOPU-aN-b{A-aN}:be e213) (^ (Some (\e202 NNEXI-aD:english e202 v202) (\z True)) (Some (\e201 A-aN-bN:in e201 e213 v202) (\z True)))))) (\z True))) (Some (\x217 ^ (Some (\e218 N-aD:thing e218 x217) (\z True)) (N-b{N-aD}:the (\x220 ^ (Some (\e222 N-aD:state e222 x220) (\z True)) (Some (\z True) (\x221 Some (\e221 B-aN-bN:unite e221 x221 x220) (\z True)))) (\y219 Some (\e219 A-aN-bN:from e219 x217 y219) (\z True)))) (\y213 Some (\e213 ^ (B-aN-bN:mean e213 x213 y213) (^ (I-aN-b{B-aN}:to e213) (^ (BCOPU-aN-b{A-aN}:be e213) (^ (Some (\e202 NNEXI-aD:english e202 v202) (\z True)) (Some (\e201 A-aN-bN:in e201 e213 v202) (\z True)))))) (\z True))))))) (\a202 Some (\a210 Equal a210 (\v210 ^ (^ (Some (\e210 N-aD:word e210 v210) (\z True)) (a103 v210)) (N-b{N-aD}:the (\x204 Some (\z True) (\x207 ^ (B-aN-bN:use x204 x207 v210) (^ (Some (\e205 A-aN:most e205 x204) (\z True)) (Some (\e206 A-aN:common e206 x204) (\z True))))) (\x213 ^ (N-b{N-aD}:a (\x214 ^ (Some (\e215 N-aD:person e215 x214) (\z True)) (N-b{N-aD}:the (\x220 ^ (Some (\e222 N-aD:state e222 x220) (\z True)) (Some (\z True) (\x221 Some (\e221 B-aN-bN:unite e221 x221 x220) (\z True)))) (\y219 Some (\e219 A-aN-bN:from e219 x214 y219) (\z True)))) (\y213 Some (\e213 ^ (B-aN-bN:mean e213 x213 y213) (^ (I-aN-b{B-aN}:to e213) (^ (BCOPU-aN-b{A-aN}:be e213) (Some (\x202 Some (\e202 NNEXI-aD:english e202 x202) (\z True)) (\y201 Some (\e201 A-aN-bN:in e201 e213 y201) (\z True)))))) (\z True))) (N-b{N-aD}:a (\x217 ^ (Some (\e218 N-aD:thing e218 x217) (\z True)) (N-b{N-aD}:the (\x220 ^ (Some (\e222 N-aD:state e222 x220) (\z True)) (Some (\z True) (\x221 Some (\e221 B-aN-bN:unite e221 x221 x220) (\z True)))) (\y219 Some (\e219 A-aN-bN:from e219 x217 y219) (\z True)))) (\y213 Some (\e213 ^ (B-aN-bN:mean e213 x213 y213) (^ (I-aN-b{B-aN}:to e213) (^ (BCOPU-aN-b{A-aN}:be e213) (Some (\x202 Some (\e202 NNEXI-aD:english e202 x202) (\z True)) (\y201 Some (\e201 A-aN-bN:in e201 e213 y201) (\z True)))))) (\z True))))))) (\a210 ^ (Gen (\x315 Some (\e315 NNGEN-aD:person e315 x315) (\z True)) (\zz315 ^ (Some (\e316 N-rN:who e316 zz315) (\xx316 Some (\x318 ^ (Some (\e318 NNEXI-aD:english e318 x318) (\z True)) (a202 x318)) (\y317 Some (\e317 B-aN-bN:speak e317 xx316 y317) (\z True)))) (BMDL-aN-b{B-aN}:not (\xx320 True) (\e Some (\d Equal d e) (\xx320 N-b{N-aD}:the (\x323 ^ (Some (\e324 N-aD:word e324 x323) (\z True)) (^ (Some (\e326 N-aD:american e326 x323) (\z True)) (a210 x323))) (\y322 Some (\e322 ^ (B-aN-bN:use e322 zz315 y322) (^ (^ (^ (Equal e322 xx320) (^ (B-aN-b{B-aN}:do e322) (Some (\e302 ^ (A-aN-bV:though e302 e322 (Intension (N-b{N-aD}:the (\x303 ^ (Some (\e304 N-aD:island e304 x303) (\z True)) (N-b{N-aD}:the (\x306 ^ (Some (\e308 N-aD:sea e308 x306) (\z True)) (Some (\e307 A-aN:caribbean e307 x306) (\z True))) (\y305 Some (\e305 A-aN-bN:in e305 x303 y305) (\z True)))) (\x310 Some (\e310 ^ (A-aN:close e310 x310) (^ (BCOPU-aN-b{A-aN}:be e310) (N-b{N-aD}:the (\x312 ^ (Some (\e313 N-aD:america e313 x312) (\z True)) (a128 x312)) (\y311 Some (\e311 A-aN-bN:to e311 e310 y311) (\z True))))) (\z True))))) (Some (\e301 A-aN:even e301 e302) (\z True))) (\z True)))) (Some (\e321 A-aN:usual e321 e322) (\z True))) (Some (\a304 Equal a304 (\v304 ^ (^ (Equal e322 xx320) (^ (B-aN-b{B-aN}:do e322) (Some (\e302 ^ (A-aN-bV:though e302 e322 (Intension (^ (^ (Some (\e304 N-aD:island e304 v304) (\z True)) (N-b{N-aD}:the (\x306 ^ (Some (\e308 N-aD:sea e308 x306) (\z True)) (Some (\e307 A-aN:caribbean e307 x306) (\z True))) (\y305 Some (\e305 A-aN-bN:in e305 v304 y305) (\z True)))) (Some (\e310 ^ (A-aN:close e310 v304) (^ (BCOPU-aN-b{A-aN}:be e310) (N-b{N-aD}:the (\x312 ^ (Some (\e313 N-aD:america e313 x312) (\z True)) (a128 x312)) (\y311 Some (\e311 A-aN-bN:to e311 e310 y311) (\z True))))) (\z True))))) (Some (\e301 A-aN:even e301 e302) (\z True))) (\z True)))) (Some (\e321 A-aN:usual e321 e322) (\z True)))) (\a304 N-b{N-aD}:these (\x333 ^ (Some (\e334 N-aD:island e334 x333) (\z True)) (a304 x333)) (\xx334 ^ (Some (\x329 ^ (Some (\e329 N-aD:person e329 x329) (\z True)) (Some (\e332 A-aN-bN:from e332 x329 xx334) (\z True))) (\y328 Some (\e328 A-aN-bN:for e328 e322 y328) (\z True))) (Some (\x331 ^ (Some (\e331 N-aD:thing e331 x331) (\z True)) (Some (\e332 A-aN-bN:from e332 x331 xx334) (\z True))) (\y328 Some (\e328 A-aN-bN:for e328 e322 y328) (\z True)))))))) (\z True))))))) (Some (\a313 Equal a313 (\v313 Some (\x315 Some (\e315 NNGEN-aD:person e315 x315) (\z True)) (\zz315 ^ (Some (\e316 N-rN:who e316 zz315) (\xx316 Some (\x318 ^ (Some (\e318 NNEXI-aD:english e318 x318) (\z True)) (a202 x318)) (\y317 Some (\e317 B-aN-bN:speak e317 xx316 y317) (\z True)))) (Some (\xx320 True) (\e Some (\d Equal d e) (\xx320 Some (\x323 ^ (Some (\e324 N-aD:word e324 x323) (\z True)) (^ (Some (\e326 N-aD:american e326 x323) (\z True)) (a210 x323))) (\y322 Some (\e322 ^ (B-aN-bN:use e322 zz315 y322) (^ (^ (^ (Equal e322 xx320) (^ (B-aN-b{B-aN}:do e322) (Some (\e302 ^ (A-aN-bV:though e302 e322 (Intension (N-b{N-aD}:the (\x303 ^ (Some (\e304 N-aD:island e304 x303) (\z True)) (N-b{N-aD}:the (\x306 ^ (Some (\e308 N-aD:sea e308 x306) (\z True)) (Some (\e307 A-aN:caribbean e307 x306) (\z True))) (\y305 Some (\e305 A-aN-bN:in e305 x303 y305) (\z True)))) (\x310 Some (\e310 ^ (A-aN:close e310 x310) (^ (BCOPU-aN-b{A-aN}:be e310) (^ (^ (Some (\e313 N-aD:america e313 v313) (\z True)) (a128 v313)) (Some (\e311 A-aN-bN:to e311 e310 v313) (\z True))))) (\z True))))) (Some (\e301 A-aN:even e301 e302) (\z True))) (\z True)))) (Some (\e321 A-aN:usual e321 e322) (\z True))) (Some (\a304 Equal a304 (\v304 ^ (^ (Equal e322 xx320) (^ (B-aN-b{B-aN}:do e322) (Some (\e302 ^ (A-aN-bV:though e302 e322 (Intension (^ (^ (Some (\e304 N-aD:island e304 v304) (\z True)) (N-b{N-aD}:the (\x306 ^ (Some (\e308 N-aD:sea e308 x306) (\z True)) (Some (\e307 A-aN:caribbean e307 x306) (\z True))) (\y305 Some (\e305 A-aN-bN:in e305 v304 y305) (\z True)))) (Some (\e310 ^ (A-aN:close e310 v304) (^ (BCOPU-aN-b{A-aN}:be e310) (^ (^ (Some (\e313 N-aD:america e313 v313) (\z True)) (a128 v313)) (Some (\e311 A-aN-bN:to e311 e310 v313) (\z True))))) (\z True))))) (Some (\e301 A-aN:even e301 e302) (\z True))) (\z True)))) (Some (\e321 A-aN:usual e321 e322) (\z True)))) (\a304 N-b{N-aD}:these (\x333 ^ (Some (\e334 N-aD:island e334 x333) (\z True)) (a304 x333)) (\xx334 ^ (Some (\x329 ^ (Some (\e329 N-aD:person e329 x329) (\z True)) (Some (\e332 A-aN-bN:from e332 x329 xx334) (\z True))) (\y328 Some (\e328 A-aN-bN:for e328 e322 y328) (\z True))) (Some (\x331 ^ (Some (\e331 N-aD:thing e331 x331) (\z True)) (Some (\e332 A-aN-bN:from e332 x331 xx334) (\z True))) (\y328 Some (\e328 A-aN-bN:for e328 e322 y328) (\z True)))))))) (\z True)))))))) (\a313 Some (\a326 Equal a326 (\v326 Some (\x315 Some (\e315 NNGEN-aD:person e315 x315) (\z True)) (\zz315 ^ (Some (\e316 N-rN:who e316 zz315) (\xx316 Some (\x318 ^ (Some (\e318 NNEXI-aD:english e318 x318) (\z True)) (a202 x318)) (\y317 Some (\e317 B-aN-bN:speak e317 xx316 y317) (\z True)))) (Some (\xx320 True) (\e Some (\d Equal d e) (\xx320 ^ (^ (Some (\e324 N-aD:word e324 v326) (\z True)) (^ (Some (\e326 N-aD:american e326 v326) (\z True)) (a210 v326))) (Some (\e322 ^ (B-aN-bN:use e322 zz315 v326) (^ (^ (^ (Equal e322 xx320) (^ (B-aN-b{B-aN}:do e322) (Some (\e302 ^ (A-aN-bV:though e302 e322 (Intension (N-b{N-aD}:the (\x303 ^ (Some (\e304 N-aD:island e304 x303) (\z True)) (N-b{N-aD}:the (\x306 ^ (Some (\e308 N-aD:sea e308 x306) (\z True)) (Some (\e307 A-aN:caribbean e307 x306) (\z True))) (\y305 Some (\e305 A-aN-bN:in e305 x303 y305) (\z True)))) (\x310 Some (\e310 ^ (A-aN:close e310 x310) (^ (BCOPU-aN-b{A-aN}:be e310) (N-b{N-aD}:the (\x312 ^ (Some (\e313 N-aD:america e313 x312) (\z True)) (a128 x312)) (\y311 Some (\e311 A-aN-bN:to e311 e310 y311) (\z True))))) (\z True))))) (Some (\e301 A-aN:even e301 e302) (\z True))) (\z True)))) (Some (\e321 A-aN:usual e321 e322) (\z True))) (Some (\a304 Equal a304 (\v304 ^ (^ (Equal e322 xx320) (^ (B-aN-b{B-aN}:do e322) (Some (\e302 ^ (A-aN-bV:though e302 e322 (Intension (^ (^ (Some (\e304 N-aD:island e304 v304) (\z True)) (N-b{N-aD}:the (\x306 ^ (Some (\e308 N-aD:sea e308 x306) (\z True)) (Some (\e307 A-aN:caribbean e307 x306) (\z True))) (\y305 Some (\e305 A-aN-bN:in e305 v304 y305) (\z True)))) (Some (\e310 ^ (A-aN:close e310 v304) (^ (BCOPU-aN-b{A-aN}:be e310) (N-b{N-aD}:the (\x312 ^ (Some (\e313 N-aD:america e313 x312) (\z True)) (a128 x312)) (\y311 Some (\e311 A-aN-bN:to e311 e310 y311) (\z True))))) (\z True))))) (Some (\e301 A-aN:even e301 e302) (\z True))) (\z True)))) (Some (\e321 A-aN:usual e321 e322) (\z True)))) (\a304 N-b{N-aD}:these (\x333 ^ (Some (\e334 N-aD:island e334 x333) (\z True)) (a304 x333)) (\xx334 ^ (Some (\x329 ^ (Some (\e329 N-aD:person e329 x329) (\z True)) (Some (\e332 A-aN-bN:from e332 x329 xx334) (\z True))) (\y328 Some (\e328 A-aN-bN:for e328 e322 y328) (\z True))) (Some (\x331 ^ (Some (\e331 N-aD:thing e331 x331) (\z True)) (Some (\e332 A-aN-bN:from e332 x331 xx334) (\z True))) (\y328 Some (\e328 A-aN-bN:for e328 e322 y328) (\z True)))))))) (\z True)))))))) (\a326 ^ (N-b{N-aD}:a (\x401 ^ (Some (\e403 N-aD:american e403 x401) (\z True)) (^ (^ (BCOPU-aN-b{A-aN}:be x401) (a1 x401)) (Some (\e402 A-aN:native e402 x401) (\z True)))) (\x ^ (Some (\e405 N:someone e405 x) (\z True)) (Some (\e406 N-rN:who e406 x) (\xx406 Some (\z True) (\x409 Some (\e409 ^ (B-aN-bN:descend e409 x409 xx406) (^ (^ (BCOPU-aN-b{A-aN}:be e409) (Some (\e408 A-aN:most e408 e409) (\z True))) (N-b{N-aD}:the (\x411 Some (\e412 N-aD:person e412 x411) (\z True)) (\zz412 ^ (Some (\e413 N-rN:who e413 zz412) (\xx413 Some (\e414 ^ (B-aN:live e414 xx413) (^ (Some (\e418 A-aN-bV:before e418 e414 (Intension (N-b{N-aD}:the (\x419 Some (\e420 N-aD:european e420 x419) (\z True)) (\x421 Some (\e421 B-aN:arrive e421 x421) (\z True))))) (\z True)) (N-b{N-aD}:the (\x416 ^ (Some (\e417 N-aD:america e417 x416) (\z True)) (a313 x416)) (\y415 Some (\e415 A-aN-bN:in e415 e414 y415) (\z True))))) (\z True))) (Some (\e410 A-aN-bN:from e410 e409 zz412) (\z True)))))) (\z True)))))) (Some (\a403 Equal a403 (\v403 ^ (^ (Some (\e403 N-aD:american e403 v403) (\z True)) (^ (^ (BCOPU-aN-b{A-aN}:be v403) (a1 v403)) (Some (\e402 A-aN:native e402 v403) (\z True)))) (^ (Some (\e405 N:someone e405 v403) (\z True)) (Some (\e406 N-rN:who e406 v403) (\xx406 Some (\z True) (\x409 Some (\e409 ^ (B-aN-bN:descend e409 x409 xx406) (^ (^ (BCOPU-aN-b{A-aN}:be e409) (Some (\e408 A-aN:most e408 e409) (\z True))) (N-b{N-aD}:the (\x411 Some (\e412 N-aD:person e412 x411) (\z True)) (\zz412 ^ (Some (\e413 N-rN:who e413 zz412) (\xx413 Some (\e414 ^ (B-aN:live e414 xx413) (^ (Some (\e418 A-aN-bV:before e418 e414 (Intension (N-b{N-aD}:the (\x419 Some (\e420 N-aD:european e420 x419) (\z True)) (\x421 Some (\e421 B-aN:arrive e421 x421) (\z True))))) (\z True)) (N-b{N-aD}:the (\x416 ^ (Some (\e417 N-aD:america e417 x416) (\z True)) (a313 x416)) (\y415 Some (\e415 A-aN-bN:in e415 e414 y415) (\z True))))) (\z True))) (Some (\e410 A-aN-bN:from e410 e409 zz412) (\z True)))))) (\z True))))))) (\a403 ^ (Gen (\x502 ^ (Some (\e502 NNGEN-aD:american e502 x502) (\z True)) (^ (a403 x502) (Some (\e501 A-aN:native e501 x502) (\z True)))) (\zz505 Some (\z True) (\x505 Some (\e505 ^ (B-aN-bA:call e505 x505 (Intension (^ (^ (Some (\e507 N-aD:nation e507 zz505) (\z True)) (Some (\e506 A-aN:first e506 zz505) (\z True))) (Some (\e510 N-aD:indian e510 zz505) (\z True))))) (^ (BCOPU-aN-b{A-aN}:be e505) (Some (\e504 A-aN:also e504 e505) (\z True)))) (\z True)))) (N-b{N-aD}:no (\x603 ^ (Some (\e604 N-aD:language e604 x603) (\z True)) (^ (Some (\e606 N-aD:american e606 x603) (\z True)) (a326 x603))) (\x601 Some (\e601 ^ (A-aN:there e601 x601) (BCOPU-aN-b{A-aN}:be e601)) (\z True))))))))))))))))) 6 LOGIC: (^ (Some (\x1 Some (\e1 N-aD:name e1 x1) (\z True)) (\z True)) (Some (\a1 Equal a1 (\v1 Some (\e1 N-aD:name e1 v1) (\z True))) (\a1 ^ (Gen (\x101 ^ (Some (\e101 NNGEN-aD:name e101 x101) (\z True)) (^ (BCOPU-aN-b{A-aN}:be x101) (a1 x101))) (\x ^ (^ (Some (\e104 N-aD:word e104 x) (\z True)) (Some (\z True) (\x112 Some (\e112 ^ (B-aN-bN:give e112 x112 x) (^ (Some (\x114 Some (\e114 N-aD:thing e114 x114) (\z True)) (\y113 Some (\e113 A-aN-bN:to e113 e112 y113) (\z True))) (Some (\x116 Some (\e116 N-aD:person e116 x116) (\z True)) (\y113 Some (\e113 A-aN-bN:to e113 e112 y113) (\z True))))) (\z True)))) (^ (Some (\e108 N-aD:set e108 x) (\z True)) (^ (Some (\z True) (\x112 Some (\e112 ^ (B-aN-bN:give e112 x112 x) (^ (Some (\x114 Some (\e114 N-aD:thing e114 x114) (\z True)) (\y113 Some (\e113 A-aN-bN:to e113 e112 y113) (\z True))) (Some (\x116 Some (\e116 N-aD:person e116 x116) (\z True)) (\y113 Some (\e113 A-aN-bN:to e113 e112 y113) (\z True))))) (\z True))) (Some (\x110 Some (\e110 NNEXI-aD:word e110 x110) (\z True)) (\y109 Some (\e109 A-aN-bN:of e109 x y109) (\z True))))))) (Some (\a101 Equal a101 (\v101 ^ (^ (Some (\e101 NNGEN-aD:name e101 v101) (\z True)) (^ (BCOPU-aN-b{A-aN}:be v101) (a1 v101))) (^ (^ (Some (\e104 N-aD:word e104 v101) (\z True)) (Some (\z True) (\x112 Some (\e112 ^ (B-aN-bN:give e112 x112 v101) (^ (Some (\x114 Some (\e114 N-aD:thing e114 x114) (\z True)) (\y113 Some (\e113 A-aN-bN:to e113 e112 y113) (\z True))) (Some (\x116 Some (\e116 N-aD:person e116 x116) (\z True)) (\y113 Some (\e113 A-aN-bN:to e113 e112 y113) (\z True))))) (\z True)))) (^ (Some (\e108 N-aD:set e108 v101) (\z True)) (^ (Some (\z True) (\x112 Some (\e112 ^ (B-aN-bN:give e112 x112 v101) (^ (Some (\x114 Some (\e114 N-aD:thing e114 x114) (\z True)) (\y113 Some (\e113 A-aN-bN:to e113 e112 y113) (\z True))) (Some (\x116 Some (\e116 N-aD:person e116 x116) (\z True)) (\y113 Some (\e113 A-aN-bN:to e113 e112 y113) (\z True))))) (\z True))) (Some (\x110 Some (\e110 NNEXI-aD:word e110 x110) (\z True)) (\y109 Some (\e109 A-aN-bN:of e109 v101 y109) (\z True)))))))) (\a101 ^ (Gen (\x205 ^ (Some (\e205 NNGEN-aD:cat e205 x205) (\z True)) (^ (^ (BCOPU-aN-b{A-aN}:be x205) (Some (\x202 Some (\e202 N-aD:example e202 x202) (\z True)) (\y201 Some (\e201 A-aN-bN:for e201 x205 y201) (\z True)))) (a101 x205))) (\x Some (\x214 Some (\e214 N-aD:animal e214 x214) (\z True)) (\xx214 N-b{N-aD}:a (\x211 Some (\e212 N-aD-bO:kind e212 x211 xx214) (\z True)) (\xx212 Some (\e209 N-aD-bO:name e209 x xx212) (\z True))))) (^ (Gen (\x302 ^ (Some (\e302 NNGEN-aD:ryan e302 x302) (\z True)) (^ (BCOPU-aN-b{A-aN}:be x302) (a101 x302))) (\x N-b{N-aD}:a (\x308 ^ (Some (\e309 N-aD:person e309 x308) (\z True)) (^ (Some (\e311 A-aN:usual e311 x308) (\z True)) (Some (\e313 N-aD:male e313 x308) (\z True)))) (\xx309 Some (\e306 N-aD-bO:name e306 x xx309) (\z True)))) (^ (Gen (\x402 ^ (Some (\e402 NNGEN-aD:julia e402 x402) (\z True)) (^ (BCOPU-aN-b{A-aN}:be x402) (a101 x402))) (\x ^ (Some (\e408 N-aD:name e408 x) (\z True)) (^ (Some (\e406 A-aN:common e406 x) (\z True)) (Some (\e407 A-aN:female e407 x) (\z True))))) (^ (N-b{N-aD}:the (\x501 ^ (Some (\e502 N-aD:word e502 x501) (\z True)) (^ (a1 x501) (Some (\e504 N-aD:name e504 x501) (\z True)))) (\zz509 Some (\z True) (\x509 Some (\e509 ^ (B-aN-bN:use e509 x509 zz509) (^ (^ (BCOPU-aN-b{A-aN}:be e509) (^ (B-aN-b{B-aN}:can e509) (Some (\e507 A-aN:also e507 e509) (\z True)))) (N-b{N-aD}:a (\x511 Some (\e512 N-aD:verb e512 x511) (\z True)) (\y510 Some (\e510 A-aN-bN:as e510 e509 y510) (\z True))))) (\z True)))) (Some (\z607 Some (\a603 Equal a603 (\v603 Some (\z True) (\x602 ^ (Some (\e603 NNGEN:something e603 v603) (\z True)) (Some (\e602 ^ (B-aN-bN:name e602 x602 v603) (^ (I-aN-b{B-aN}:to e602) (BCOPU-aN-b{A-aN}:be e602))) (\x Some (\z True) (\x606 N-b{N-aD}:a (\x608 ^ (Some (\e609 N-aD:name e609 x608) (\z True)) (a101 x608)) (\y606 ^ (B-aN-bN-bN:give x x606 y606 z607) (I-aN-b{B-aN}:to x)))))))) (\a603 ^ (Some (\e607 N:it e607 z607) (\z True)) (a603 z607))) (\xx607 Some (\z True) (\x602 Gen (\z603 Some (\e603 NNGEN:something e603 z603) (\z True)) (\y602 Some (\e602 ^ (B-aN-bN:name e602 x602 y602) (^ (I-aN-b{B-aN}:to e602) (BCOPU-aN-b{A-aN}:be e602))) (\x Some (\z True) (\x606 N-b{N-aD}:a (\x608 ^ (Some (\e609 N-aD:name e609 x608) (\z True)) (a101 x608)) (\y606 ^ (B-aN-bN-bN:give x x606 y606 xx607) (I-aN-b{B-aN}:to x)))))))))))))))) 7 LOGIC: (^ (Some (\x1 Some (\e1 N-aD:movie e1 x1) (\z True)) (\z True)) (Some (\a1 Equal a1 (\v1 Some (\e1 N-aD:movie e1 v1) (\z True))) (\a1 ^ (Gen (\x101 ^ (Some (\e101 NNGEN-aD:movie e101 x101) (\z True)) (^ (^ (BCOPU-aN-b{A-aN}:be x101) (a1 x101)) (Some (\z True) (\x104 Some (\e104 ^ (B-aN-bN:know e104 x104 x101) (^ (Some (\e103 A-aN:also e103 e104) (\z True)) (Some (\x106 Some (\e106 N-aD:film e106 x106) (\z True)) (\y105 Some (\e105 A-aN-bN:as e105 e104 y105) (\z True))))) (\z True))))) (\x Some (\z True) (\x113 Some (\e113 ^ (B-aN:communicate e113 x113) (Some (\e112 A-aN:visual e112 e113) (\z True))) (\xx113 ^ (Some (\e110 N-aD-bO:type e110 x xx113) (\z True)) (Some (\e114 N-rN:which e114 x) (\xx114 ^ (Some (\x117 ^ (Some (\e117 N-aD:picture e117 x117) (\z True)) (Some (\e116 B-aN:move e116 x117) (\z True))) (\y115 Some (\e115 ^ (B-aN-bN:use e115 xx114 y115) (^ (Some (\x122 Some (\e122 N-aD:story e122 x122) (\z True)) (\y121 Some (\e121 ^ (B-aN-bN:tell e121 e115 y121) (I-aN-b{B-aN}:to e121)) (\z True))) (^ (Some (\z True) (\y124 Some (\e124 ^ (B-aN-bN:inform e124 e115 y124) (I-aN-b{B-aN}:to e124)) (\z True))) (Some (\e126 ^ (B-aN-bI:help e126 e115 (Intension (Some (\x127 Some (\e127 N-aD:person e127 x127) (\z True)) (\x129 Some (\z True) (\y129 Some (\e129 ^ (B-aN-bN:learn e129 x129 y129) (I-aN-b{B-aN}:to e129)) (\z True)))))) (I-aN-b{B-aN}:to e126)) (\z True))))) (\z True))) (Some (\z True) (\x119 Some (\e119 B-aN:sound e119 x119) (\y115 Some (\e115 ^ (B-aN-bN:use e115 xx114 y115) (^ (Some (\x122 Some (\e122 N-aD:story e122 x122) (\z True)) (\y121 Some (\e121 ^ (B-aN-bN:tell e121 e115 y121) (I-aN-b{B-aN}:to e121)) (\z True))) (^ (Some (\z True) (\y124 Some (\e124 ^ (B-aN-bN:inform e124 e115 y124) (I-aN-b{B-aN}:to e124)) (\z True))) (Some (\e126 ^ (B-aN-bI:help e126 e115 (Intension (Some (\x127 Some (\e127 N-aD:person e127 x127) (\z True)) (\x129 Some (\z True) (\y129 Some (\e129 ^ (B-aN-bN:learn e129 x129 y129) (I-aN-b{B-aN}:to e129)) (\z True)))))) (I-aN-b{B-aN}:to e126)) (\z True))))) (\z True)))))))))) (Some (\a101 Equal a101 (\v101 ^ (^ (Some (\e101 NNGEN-aD:movie e101 v101) (\z True)) (^ (^ (BCOPU-aN-b{A-aN}:be v101) (a1 v101)) (Some (\z True) (\x104 Some (\e104 ^ (B-aN-bN:know e104 x104 v101) (^ (Some (\e103 A-aN:also e103 e104) (\z True)) (Some (\x106 Some (\e106 N-aD:film e106 x106) (\z True)) (\y105 Some (\e105 A-aN-bN:as e105 e104 y105) (\z True))))) (\z True))))) (Some (\z True) (\x113 Some (\e113 ^ (B-aN:communicate e113 x113) (Some (\e112 A-aN:visual e112 e113) (\z True))) (\xx113 ^ (Some (\e110 N-aD-bO:type e110 v101 xx113) (\z True)) (Some (\e114 N-rN:which e114 v101) (\xx114 ^ (Some (\x117 ^ (Some (\e117 N-aD:picture e117 x117) (\z True)) (Some (\e116 B-aN:move e116 x117) (\z True))) (\y115 Some (\e115 ^ (B-aN-bN:use e115 xx114 y115) (^ (Some (\x122 Some (\e122 N-aD:story e122 x122) (\z True)) (\y121 Some (\e121 ^ (B-aN-bN:tell e121 e115 y121) (I-aN-b{B-aN}:to e121)) (\z True))) (^ (Some (\z True) (\y124 Some (\e124 ^ (B-aN-bN:inform e124 e115 y124) (I-aN-b{B-aN}:to e124)) (\z True))) (Some (\e126 ^ (B-aN-bI:help e126 e115 (Intension (Some (\x127 Some (\e127 N-aD:person e127 x127) (\z True)) (\x129 Some (\z True) (\y129 Some (\e129 ^ (B-aN-bN:learn e129 x129 y129) (I-aN-b{B-aN}:to e129)) (\z True)))))) (I-aN-b{B-aN}:to e126)) (\z True))))) (\z True))) (Some (\z True) (\x119 Some (\e119 B-aN:sound e119 x119) (\y115 Some (\e115 ^ (B-aN-bN:use e115 xx114 y115) (^ (Some (\x122 Some (\e122 N-aD:story e122 x122) (\z True)) (\y121 Some (\e121 ^ (B-aN-bN:tell e121 e115 y121) (I-aN-b{B-aN}:to e121)) (\z True))) (^ (Some (\z True) (\y124 Some (\e124 ^ (B-aN-bN:inform e124 e115 y124) (I-aN-b{B-aN}:to e124)) (\z True))) (Some (\e126 ^ (B-aN-bI:help e126 e115 (Intension (Some (\x127 Some (\e127 N-aD:person e127 x127) (\z True)) (\x129 Some (\z True) (\y129 Some (\e129 ^ (B-aN-bN:learn e129 x129 y129) (I-aN-b{B-aN}:to e129)) (\z True)))))) (I-aN-b{B-aN}:to e126)) (\z True))))) (\z True))))))))))) (\a101 ^ (N-b{N-aD}:the (\x206 Some (\e207 N-aD:world e207 x206) (\z True)) (\xx207 N-b{N-aD}:every (\x203 Some (\e204 N-aD-bO:part e204 x203 xx207) (\z True)) (\xx204 Some (\x201 ^ (Some (\e201 N-aD:person e201 x201) (\z True)) (Some (\e202 A-aN-bN:in e202 x201 xx204) (\z True))) (\x208 Some (\x209 ^ (Some (\e209 N-aD:movie e209 x209) (\z True)) (a101 x209)) (\y208 Some (\e208 ^ (B-aN-bN:watch e208 x208 y208) (Some (\z True) (\x214 Some (\e214 B-aN:entertain e214 x214) (\xx214 Some (\a214 Equal a214 (\v214 Equal v214 xx214)) (\a214 N-b{N-aD}:a (\x211 ^ (Some (\e212 N-aD-bO:type e212 x211 xx214) (\z True)) (^ (Some (\e217 N-aD:way e217 x211) (\z True)) (^ (a214 x211) (Some (\x220 Some (\e220 N-aD:fun e220 x220) (\z True)) (\y219 Some (\e219 ^ (B-aN-bN:have e219 x211 y219) (I-aN-b{B-aN}:to e219)) (\z True)))))) (\y210 Some (\e210 A-aN-bN:as e210 e208 y210) (\z True))))))) (\z True)))))) (Some (\a209 Equal a209 (\v209 Some (\x206 Some (\e207 N-aD:world e207 x206) (\z True)) (\xx207 Some (\x203 Some (\e204 N-aD-bO:part e204 x203 xx207) (\z True)) (\xx204 Some (\x201 ^ (Some (\e201 N-aD:person e201 x201) (\z True)) (Some (\e202 A-aN-bN:in e202 x201 xx204) (\z True))) (\x208 ^ (^ (Some (\e209 N-aD:movie e209 v209) (\z True)) (a101 v209)) (Some (\e208 ^ (B-aN-bN:watch e208 x208 v209) (Some (\z True) (\x214 Some (\e214 B-aN:entertain e214 x214) (\xx214 Some (\a214 Equal a214 (\v214 Equal v214 xx214)) (\a214 N-b{N-aD}:a (\x211 ^ (Some (\e212 N-aD-bO:type e212 x211 xx214) (\z True)) (^ (Some (\e217 N-aD:way e217 x211) (\z True)) (^ (a214 x211) (Some (\x220 Some (\e220 N-aD:fun e220 x220) (\z True)) (\y219 Some (\e219 ^ (B-aN-bN:have e219 x211 y219) (I-aN-b{B-aN}:to e219)) (\z True)))))) (\y210 Some (\e210 A-aN-bN:as e210 e208 y210) (\z True))))))) (\z True))))))) (\a209 Some (\a201 Equal a201 (\v201 Some (\x206 Some (\e207 N-aD:world e207 x206) (\z True)) (\xx207 Some (\x203 Some (\e204 N-aD-bO:part e204 x203 xx207) (\z True)) (\xx204 ^ (^ (Some (\e201 N-aD:person e201 v201) (\z True)) (Some (\e202 A-aN-bN:in e202 v201 xx204) (\z True))) (Some (\x209 ^ (Some (\e209 N-aD:movie e209 x209) (\z True)) (a101 x209)) (\y208 Some (\e208 ^ (B-aN-bN:watch e208 v201 y208) (Some (\z True) (\x214 Some (\e214 B-aN:entertain e214 x214) (\xx214 Some (\a214 Equal a214 (\v214 Equal v214 xx214)) (\a214 N-b{N-aD}:a (\x211 ^ (Some (\e212 N-aD-bO:type e212 x211 xx214) (\z True)) (^ (Some (\e217 N-aD:way e217 x211) (\z True)) (^ (a214 x211) (Some (\x220 Some (\e220 N-aD:fun e220 x220) (\z True)) (\y219 Some (\e219 ^ (B-aN-bN:have e219 x211 y219) (I-aN-b{B-aN}:to e219)) (\z True)))))) (\y210 Some (\e210 A-aN-bN:as e210 e208 y210) (\z True))))))) (\z True))))))) (\a201 ^ (^ (Some (\x306 ^ (Some (\e306 N-aD:movie e306 x306) (\z True)) (Some (\e305 N-aD:fun e305 x306) (\z True))) (\x308 Some (\x309 ^ (Some (\e309 N-aD:movie e309 x309) (\z True)) (a209 x309)) (\zz309 ^ (Some (\a303 Equal a303 (\v303 Some (\e308 ^ (B-aN-bN:mean e308 x308 zz309) (^ (B-aN-b{B-aN}:can e308) (^ (^ (Some (\e303 N-aD:person e303 v303) (\z True)) (a201 v303)) (Some (\e301 A-aN-bN:for e301 e308 v303) (\z True))))) (\z True))) (\a303 Some (\e311 B-aN-bB:make e311 zz309 (Intension (Some (\z312 ^ (Some (\e312 N:them e312 z312) (\z True)) (a303 z312)) (\x313 Some (\e313 B-aN:laugh e313 x313) (\z True))))) (\z True))) (Some (\e308 ^ (B-aN-bN:mean e308 x308 zz309) (^ (B-aN-b{B-aN}:can e308) (N-b{N-aD}:some (\x302 ^ (Some (\e303 N-aD:person e303 x302) (\z True)) (a201 x302)) (\y301 Some (\e301 A-aN-bN:for e301 e308 y301) (\z True))))) (\z True))))) (Some (\a306 Equal a306 (\v306 ^ (^ (Some (\e306 N-aD:movie e306 v306) (\z True)) (Some (\e305 N-aD:fun e305 v306) (\z True))) (Some (\x309 ^ (Some (\e309 N-aD:movie e309 x309) (\z True)) (a209 x309)) (\zz309 ^ (Some (\a303 Equal a303 (\v303 Some (\e308 ^ (B-aN-bN:mean e308 v306 zz309) (^ (B-aN-b{B-aN}:can e308) (^ (^ (Some (\e303 N-aD:person e303 v303) (\z True)) (a201 v303)) (Some (\e301 A-aN-bN:for e301 e308 v303) (\z True))))) (\z True))) (\a303 Some (\e311 B-aN-bB:make e311 zz309 (Intension (Some (\z312 ^ (Some (\e312 N:them e312 z312) (\z True)) (a303 z312)) (\x313 Some (\e313 B-aN:laugh e313 x313) (\z True))))) (\z True))) (Some (\e308 ^ (B-aN-bN:mean e308 v306 zz309) (^ (B-aN-b{B-aN}:can e308) (N-b{N-aD}:some (\x302 ^ (Some (\e303 N-aD:person e303 x302) (\z True)) (a201 x302)) (\y301 Some (\e301 A-aN-bN:for e301 e308 y301) (\z True))))) (\z True)))))) (\a306 Some (\z318 ^ (Some (\e318 N:it e318 z318) (\z True)) (a306 z318)) (\x320 Some (\x321 ^ (Some (\e321 N-aD:movie e321 x321) (\z True)) (a209 x321)) (\zz321 ^ (Some (\a317 Equal a317 (\v317 Some (\e320 ^ (B-aN-bN:mean e320 x320 zz321) (^ (B-aN-b{B-aN}:can e320) (^ (Some (\e317 N-aD:other e317 v317) (\z True)) (Some (\e316 A-aN-bN:for e316 e320 v317) (\z True))))) (\z True))) (\a317 Some (\e323 B-aN-bB:make e323 zz321 (Intension (^ (Some (\z324 ^ (Some (\e324 N:them e324 z324) (\z True)) (a317 z324)) (\x325 Some (\e325 B-aN:cry e325 x325) (\z True))) (Some (\z324 ^ (Some (\e324 N:them e324 z324) (\z True)) (a317 z324)) (\x329 Some (\e329 ^ (A-aN:afraid e329 x329) (B-aN-b{A-aN}:feel e329)) (\z True)))))) (\z True))) (Some (\e320 ^ (B-aN-bN:mean e320 x320 zz321) (^ (B-aN-b{B-aN}:can e320) (Some (\x317 Some (\e317 N-aD:other e317 x317) (\z True)) (\y316 Some (\e316 A-aN-bN:for e316 e320 y316) (\z True))))) (\z True))))))) (^ (Some (\x402 ^ (Some (\e402 N-aD:movie e402 x402) (\z True)) (^ (a209 x402) (Some (\e401 A-aN:most e401 x402) (\z True)))) (\zz404 Some (\a402 Equal a402 (\v402 Equal v402 zz404)) (\a402 Some (\z True) (\x404 Some (\e404 ^ (B-aN-bN:make e404 x404 zz404) (^ (BCOPU-aN-b{A-aN}:be e404) (Some (\e405 A-aN-bC:so e405 e404 (Intension (Some (\z407 ^ (Some (\e407 N:they e407 z407) (\z True)) (a402 z407)) (\zz410 Some (\z True) (\x410 Some (\e410 ^ (B-aN-bN:show e410 x410 zz410) (^ (^ (^ (BCOPU-aN-b{A-aN}:be e410) (B-aN-b{B-aN}:can e410)) (^ (Some (\x415 Some (\e415 N-aD:cinema e415 x415) (\z True)) (\y414 Some (\e414 A-aN-bN:at e414 e410 y414) (\z True))) (Some (\a415 Equal a415 (\v415 ^ (Some (\e415 N-aD:cinema e415 v415) (\z True)) (Some (\e414 A-aN-bN:at e414 e410 v415) (\z True)))) (\a415 Some (\x418 ^ (Some (\e418 N-aD:theatre e418 x418) (\z True)) (^ (a415 x418) (Some (\e417 N-aD:movie e417 x418) (\z True)))) (\y414 Some (\e414 A-aN-bN:at e414 e410 y414) (\z True)))))) (Some (\x413 ^ (Some (\e413 N-aD:screen e413 x413) (\z True)) (Some (\e412 A-aN:big e412 x413) (\z True))) (\y411 Some (\e411 A-aN-bN:on e411 e410 y411) (\z True))))) (\z True)))))) (\z True)))) (\z True))))) (Some (\a413 Equal a413 (\v413 Some (\x402 ^ (Some (\e402 N-aD:movie e402 x402) (\z True)) (^ (a209 x402) (Some (\e401 A-aN:most e401 x402) (\z True)))) (\zz404 Some (\a402 Equal a402 (\v402 Equal v402 zz404)) (\a402 Some (\z True) (\x404 Some (\e404 ^ (B-aN-bN:make e404 x404 zz404) (^ (BCOPU-aN-b{A-aN}:be e404) (Some (\e405 A-aN-bC:so e405 e404 (Intension (Some (\z407 ^ (Some (\e407 N:they e407 z407) (\z True)) (a402 z407)) (\zz410 Some (\z True) (\x410 Some (\e410 ^ (B-aN-bN:show e410 x410 zz410) (^ (^ (^ (BCOPU-aN-b{A-aN}:be e410) (B-aN-b{B-aN}:can e410)) (^ (Some (\x415 Some (\e415 N-aD:cinema e415 x415) (\z True)) (\y414 Some (\e414 A-aN-bN:at e414 e410 y414) (\z True))) (Some (\a415 Equal a415 (\v415 ^ (Some (\e415 N-aD:cinema e415 v415) (\z True)) (Some (\e414 A-aN-bN:at e414 e410 v415) (\z True)))) (\a415 Some (\x418 ^ (Some (\e418 N-aD:theatre e418 x418) (\z True)) (^ (a415 x418) (Some (\e417 N-aD:movie e417 x418) (\z True)))) (\y414 Some (\e414 A-aN-bN:at e414 e410 y414) (\z True)))))) (^ (^ (Some (\e413 N-aD:screen e413 v413) (\z True)) (Some (\e412 A-aN:big e412 v413) (\z True))) (Some (\e411 A-aN-bN:on e411 e410 v413) (\z True))))) (\z True)))))) (\z True)))) (\z True)))))) (\a413 Some (\a407 Equal a407 (\v407 Some (\x402 ^ (Some (\e402 N-aD:movie e402 x402) (\z True)) (^ (a209 x402) (Some (\e401 A-aN:most e401 x402) (\z True)))) (\zz404 Some (\a402 Equal a402 (\v402 Equal v402 zz404)) (\a402 Some (\z True) (\x404 Some (\e404 ^ (B-aN-bN:make e404 x404 zz404) (^ (BCOPU-aN-b{A-aN}:be e404) (Some (\e405 A-aN-bC:so e405 e404 (Intension (^ (^ (Some (\e407 N:they e407 v407) (\z True)) (a402 v407)) (Some (\z True) (\x410 Some (\e410 ^ (B-aN-bN:show e410 x410 v407) (^ (^ (^ (BCOPU-aN-b{A-aN}:be e410) (B-aN-b{B-aN}:can e410)) (^ (Some (\x415 Some (\e415 N-aD:cinema e415 x415) (\z True)) (\y414 Some (\e414 A-aN-bN:at e414 e410 y414) (\z True))) (Some (\a415 Equal a415 (\v415 ^ (Some (\e415 N-aD:cinema e415 v415) (\z True)) (Some (\e414 A-aN-bN:at e414 e410 v415) (\z True)))) (\a415 Some (\x418 ^ (Some (\e418 N-aD:theatre e418 x418) (\z True)) (^ (a415 x418) (Some (\e417 N-aD:movie e417 x418) (\z True)))) (\y414 Some (\e414 A-aN-bN:at e414 e410 y414) (\z True)))))) (Some (\x413 ^ (Some (\e413 N-aD:screen e413 x413) (\z True)) (Some (\e412 A-aN:big e412 x413) (\z True))) (\y411 Some (\e411 A-aN-bN:on e411 e410 y411) (\z True))))) (\z True)))))) (\z True)))) (\z True)))))) (\a407 ^ (^ (Some (\x524 Some (\a502 Equal a502 (\v502 Some (\a524 Equal a524 (\v524 Equal v524 x524)) (\a524 Some (\z True) (\x526 Some (\e526 ^ (B-aN-bN:show e526 x526 x524) (^ (^ (BCOPU-aN-b{A-aN}:be e526) (^ (Some (\e501 A-aN-bV:after e501 e526 (Intension (^ (^ (Some (\e502 NNGEN-aD:movie e502 v502) (\z True)) (a407 v502)) (Some (\z True) (\x504 Some (\e504 ^ (B-aN-bN:show e504 x504 v502) (^ (^ (BCOPU-aN-b{A-aN}:be e504) (Some (\x512 Some (\e512 N-aD:time e512 x512) (\z True)) (\xx512 N-b{N-aD}:a (\x509 ^ (Some (\e510 N-aD-bO:period e510 x509 xx512) (\z True)) (Some (\x521 ^ (Some (\e521 N-aD:month e521 x521) (\z True)) (Some (\e520 A-aN:several e520 x521) (\z True))) (\x519 N-b{N-aD}:a (\x516 ^ (Some (\e518 N-aD:week e518 x516) (\z True)) (Some (\e517 A-aN:few e517 x516) (\z True))) (\y515 Some (\e515 ^ (A-aN-bN:from e515 x509 y515) (A-aN-a{A-aN}-bN:to e515)) (\z True))))) (\y508 Some (\e508 A-aN-bN:for e508 e504 y508) (\z True))))) (Some (\x507 ^ (Some (\e507 N-aD:screen e507 x507) (\z True)) (^ (a413 x507) (Some (\e506 N-aD:movie e506 x507) (\z True)))) (\y505 Some (\e505 A-aN-bN:on e505 e504 y505) (\z True))))) (\z True)))))) (\z True)) (Some (\e545 A-aN-bC:so e545 e526 (Intension (Some (\x547 Some (\e547 N-aD:person e547 x547) (\z True)) (\x549 N-b{N-aD}:the (\x550 ^ (Some (\e551 N-aD:movie e551 x550) (\z True)) (a524 x550)) (\y549 Some (\e549 ^ (B-aN-bN:watch e549 x549 y549) (^ (B-aN-b{B-aN}:can e549) (Some (\x553 Some (\e553 N-aD:home e553 x553) (\z True)) (\y552 Some (\e552 A-aN-bN:at e552 e549 y552) (\z True))))) (\z True)))))) (\z True)))) (^ (Some (\z True) (\x529 Some (\e529 ^ (B-aN:televise e529 x529) (Some (\z True) (\x528 B-aN:pay e529 x528))) (\y527 Some (\e527 A-aN-bN:on e527 e526 y527) (\z True)))) (Some (\z True) (\x532 Some (\e532 ^ (B-aN:televise e532 x532) (Some (\e531 N-aD:cable e531 e532) (\z True))) (\y527 Some (\e527 A-aN-bN:on e527 e526 y527) (\z True))))))) (\z True))))) (\a502 ^ (Some (\e524 N-aD:movie e524 x524) (\z True)) (a502 x524))) (\zz526 Some (\a524 Equal a524 (\v524 Equal v524 zz526)) (\a524 Some (\z True) (\x526 Some (\e526 ^ (B-aN-bN:show e526 x526 zz526) (^ (^ (BCOPU-aN-b{A-aN}:be e526) (^ (Some (\e501 A-aN-bV:after e501 e526 (Intension (Gen (\x502 ^ (Some (\e502 NNGEN-aD:movie e502 x502) (\z True)) (a407 x502)) (\zz504 Some (\z True) (\x504 Some (\e504 ^ (B-aN-bN:show e504 x504 zz504) (^ (^ (BCOPU-aN-b{A-aN}:be e504) (Some (\x512 Some (\e512 N-aD:time e512 x512) (\z True)) (\xx512 N-b{N-aD}:a (\x509 ^ (Some (\e510 N-aD-bO:period e510 x509 xx512) (\z True)) (Some (\x521 ^ (Some (\e521 N-aD:month e521 x521) (\z True)) (Some (\e520 A-aN:several e520 x521) (\z True))) (\x519 N-b{N-aD}:a (\x516 ^ (Some (\e518 N-aD:week e518 x516) (\z True)) (Some (\e517 A-aN:few e517 x516) (\z True))) (\y515 Some (\e515 ^ (A-aN-bN:from e515 x509 y515) (A-aN-a{A-aN}-bN:to e515)) (\z True))))) (\y508 Some (\e508 A-aN-bN:for e508 e504 y508) (\z True))))) (Some (\x507 ^ (Some (\e507 N-aD:screen e507 x507) (\z True)) (^ (a413 x507) (Some (\e506 N-aD:movie e506 x507) (\z True)))) (\y505 Some (\e505 A-aN-bN:on e505 e504 y505) (\z True))))) (\z True)))))) (\z True)) (Some (\e545 A-aN-bC:so e545 e526 (Intension (Some (\x547 Some (\e547 N-aD:person e547 x547) (\z True)) (\x549 N-b{N-aD}:the (\x550 ^ (Some (\e551 N-aD:movie e551 x550) (\z True)) (a524 x550)) (\y549 Some (\e549 ^ (B-aN-bN:watch e549 x549 y549) (^ (B-aN-b{B-aN}:can e549) (Some (\x553 Some (\e553 N-aD:home e553 x553) (\z True)) (\y552 Some (\e552 A-aN-bN:at e552 e549 y552) (\z True))))) (\z True)))))) (\z True)))) (^ (Some (\z True) (\x529 Some (\e529 ^ (B-aN:televise e529 x529) (Some (\z True) (\x528 B-aN:pay e529 x528))) (\y527 Some (\e527 A-aN-bN:on e527 e526 y527) (\z True)))) (Some (\z True) (\x532 Some (\e532 ^ (B-aN:televise e532 x532) (Some (\e531 N-aD:cable e531 e532) (\z True))) (\y527 Some (\e527 A-aN-bN:on e527 e526 y527) (\z True))))))) (\z True))))) (^ (Some (\x524 Some (\a502 Equal a502 (\v502 Some (\a524 Equal a524 (\v524 Equal v524 x524)) (\a524 Some (\z True) (\x535 Some (\e535 ^ (B-aN-bN:sell e535 x535 x524) (^ (^ (BCOPU-aN-b{A-aN}:be e535) (^ (Some (\e501 A-aN-bV:after e501 e535 (Intension (^ (^ (Some (\e502 NNGEN-aD:movie e502 v502) (\z True)) (a407 v502)) (Some (\z True) (\x504 Some (\e504 ^ (B-aN-bN:show e504 x504 v502) (^ (^ (BCOPU-aN-b{A-aN}:be e504) (Some (\x512 Some (\e512 N-aD:time e512 x512) (\z True)) (\xx512 N-b{N-aD}:a (\x509 ^ (Some (\e510 N-aD-bO:period e510 x509 xx512) (\z True)) (Some (\x521 ^ (Some (\e521 N-aD:month e521 x521) (\z True)) (Some (\e520 A-aN:several e520 x521) (\z True))) (\x519 N-b{N-aD}:a (\x516 ^ (Some (\e518 N-aD:week e518 x516) (\z True)) (Some (\e517 A-aN:few e517 x516) (\z True))) (\y515 Some (\e515 ^ (A-aN-bN:from e515 x509 y515) (A-aN-a{A-aN}-bN:to e515)) (\z True))))) (\y508 Some (\e508 A-aN-bN:for e508 e504 y508) (\z True))))) (Some (\x507 ^ (Some (\e507 N-aD:screen e507 x507) (\z True)) (^ (a413 x507) (Some (\e506 N-aD:movie e506 x507) (\z True)))) (\y505 Some (\e505 A-aN-bN:on e505 e504 y505) (\z True))))) (\z True)))))) (\z True)) (Some (\e545 A-aN-bC:so e545 e535 (Intension (Some (\x547 Some (\e547 N-aD:person e547 x547) (\z True)) (\x549 N-b{N-aD}:the (\x550 ^ (Some (\e551 N-aD:movie e551 x550) (\z True)) (a524 x550)) (\y549 Some (\e549 ^ (B-aN-bN:watch e549 x549 y549) (^ (B-aN-b{B-aN}:can e549) (Some (\x553 Some (\e553 N-aD:home e553 x553) (\z True)) (\y552 Some (\e552 A-aN-bN:at e552 e549 y552) (\z True))))) (\z True)))))) (\z True)))) (^ (Some (\x540 ^ (Some (\e540 N-aD:disk e540 x540) (\z True)) (Some (\e539 N-aD:dvd e539 x540) (\z True))) (\y538 Some (\e538 A-aN-bN:on e538 e535 y538) (\z True))) (Some (\x543 ^ (Some (\e543 N-aD:tape e543 x543) (\z True)) (Some (\e542 N-aD:videocassette e542 x543) (\z True))) (\y538 Some (\e538 A-aN-bN:on e538 e535 y538) (\z True)))))) (\z True))))) (\a502 ^ (Some (\e524 N-aD:movie e524 x524) (\z True)) (a502 x524))) (\zz535 Some (\a524 Equal a524 (\v524 Equal v524 zz535)) (\a524 Some (\z True) (\x535 Some (\e535 ^ (B-aN-bN:sell e535 x535 zz535) (^ (^ (BCOPU-aN-b{A-aN}:be e535) (^ (Some (\e501 A-aN-bV:after e501 e535 (Intension (Gen (\x502 ^ (Some (\e502 NNGEN-aD:movie e502 x502) (\z True)) (a407 x502)) (\zz504 Some (\z True) (\x504 Some (\e504 ^ (B-aN-bN:show e504 x504 zz504) (^ (^ (BCOPU-aN-b{A-aN}:be e504) (Some (\x512 Some (\e512 N-aD:time e512 x512) (\z True)) (\xx512 N-b{N-aD}:a (\x509 ^ (Some (\e510 N-aD-bO:period e510 x509 xx512) (\z True)) (Some (\x521 ^ (Some (\e521 N-aD:month e521 x521) (\z True)) (Some (\e520 A-aN:several e520 x521) (\z True))) (\x519 N-b{N-aD}:a (\x516 ^ (Some (\e518 N-aD:week e518 x516) (\z True)) (Some (\e517 A-aN:few e517 x516) (\z True))) (\y515 Some (\e515 ^ (A-aN-bN:from e515 x509 y515) (A-aN-a{A-aN}-bN:to e515)) (\z True))))) (\y508 Some (\e508 A-aN-bN:for e508 e504 y508) (\z True))))) (Some (\x507 ^ (Some (\e507 N-aD:screen e507 x507) (\z True)) (^ (a413 x507) (Some (\e506 N-aD:movie e506 x507) (\z True)))) (\y505 Some (\e505 A-aN-bN:on e505 e504 y505) (\z True))))) (\z True)))))) (\z True)) (Some (\e545 A-aN-bC:so e545 e535 (Intension (Some (\x547 Some (\e547 N-aD:person e547 x547) (\z True)) (\x549 N-b{N-aD}:the (\x550 ^ (Some (\e551 N-aD:movie e551 x550) (\z True)) (a524 x550)) (\y549 Some (\e549 ^ (B-aN-bN:watch e549 x549 y549) (^ (B-aN-b{B-aN}:can e549) (Some (\x553 Some (\e553 N-aD:home e553 x553) (\z True)) (\y552 Some (\e552 A-aN-bN:at e552 e549 y552) (\z True))))) (\z True)))))) (\z True)))) (^ (Some (\x540 ^ (Some (\e540 N-aD:disk e540 x540) (\z True)) (Some (\e539 N-aD:dvd e539 x540) (\z True))) (\y538 Some (\e538 A-aN-bN:on e538 e535 y538) (\z True))) (Some (\x543 ^ (Some (\e543 N-aD:tape e543 x543) (\z True)) (Some (\e542 N-aD:videocassette e542 x543) (\z True))) (\y538 Some (\e538 A-aN-bN:on e538 e535 y538) (\z True)))))) (\z True))))) (Some (\x524 Some (\a502 Equal a502 (\v502 Some (\a524 Equal a524 (\v524 Equal v524 x524)) (\a524 Some (\z True) (\x537 Some (\e537 ^ (B-aN-bN:rent e537 x537 x524) (^ (^ (BCOPU-aN-b{A-aN}:be e537) (^ (Some (\e501 A-aN-bV:after e501 e537 (Intension (^ (^ (Some (\e502 NNGEN-aD:movie e502 v502) (\z True)) (a407 v502)) (Some (\z True) (\x504 Some (\e504 ^ (B-aN-bN:show e504 x504 v502) (^ (^ (BCOPU-aN-b{A-aN}:be e504) (Some (\x512 Some (\e512 N-aD:time e512 x512) (\z True)) (\xx512 N-b{N-aD}:a (\x509 ^ (Some (\e510 N-aD-bO:period e510 x509 xx512) (\z True)) (Some (\x521 ^ (Some (\e521 N-aD:month e521 x521) (\z True)) (Some (\e520 A-aN:several e520 x521) (\z True))) (\x519 N-b{N-aD}:a (\x516 ^ (Some (\e518 N-aD:week e518 x516) (\z True)) (Some (\e517 A-aN:few e517 x516) (\z True))) (\y515 Some (\e515 ^ (A-aN-bN:from e515 x509 y515) (A-aN-a{A-aN}-bN:to e515)) (\z True))))) (\y508 Some (\e508 A-aN-bN:for e508 e504 y508) (\z True))))) (Some (\x507 ^ (Some (\e507 N-aD:screen e507 x507) (\z True)) (^ (a413 x507) (Some (\e506 N-aD:movie e506 x507) (\z True)))) (\y505 Some (\e505 A-aN-bN:on e505 e504 y505) (\z True))))) (\z True)))))) (\z True)) (Some (\e545 A-aN-bC:so e545 e537 (Intension (Some (\x547 Some (\e547 N-aD:person e547 x547) (\z True)) (\x549 N-b{N-aD}:the (\x550 ^ (Some (\e551 N-aD:movie e551 x550) (\z True)) (a524 x550)) (\y549 Some (\e549 ^ (B-aN-bN:watch e549 x549 y549) (^ (B-aN-b{B-aN}:can e549) (Some (\x553 Some (\e553 N-aD:home e553 x553) (\z True)) (\y552 Some (\e552 A-aN-bN:at e552 e549 y552) (\z True))))) (\z True)))))) (\z True)))) (^ (Some (\x540 ^ (Some (\e540 N-aD:disk e540 x540) (\z True)) (Some (\e539 N-aD:dvd e539 x540) (\z True))) (\y538 Some (\e538 A-aN-bN:on e538 e537 y538) (\z True))) (Some (\x543 ^ (Some (\e543 N-aD:tape e543 x543) (\z True)) (Some (\e542 N-aD:videocassette e542 x543) (\z True))) (\y538 Some (\e538 A-aN-bN:on e538 e537 y538) (\z True)))))) (\z True))))) (\a502 ^ (Some (\e524 N-aD:movie e524 x524) (\z True)) (a502 x524))) (\zz537 Some (\a524 Equal a524 (\v524 Equal v524 zz537)) (\a524 Some (\z True) (\x537 Some (\e537 ^ (B-aN-bN:rent e537 x537 zz537) (^ (^ (BCOPU-aN-b{A-aN}:be e537) (^ (Some (\e501 A-aN-bV:after e501 e537 (Intension (Gen (\x502 ^ (Some (\e502 NNGEN-aD:movie e502 x502) (\z True)) (a407 x502)) (\zz504 Some (\z True) (\x504 Some (\e504 ^ (B-aN-bN:show e504 x504 zz504) (^ (^ (BCOPU-aN-b{A-aN}:be e504) (Some (\x512 Some (\e512 N-aD:time e512 x512) (\z True)) (\xx512 N-b{N-aD}:a (\x509 ^ (Some (\e510 N-aD-bO:period e510 x509 xx512) (\z True)) (Some (\x521 ^ (Some (\e521 N-aD:month e521 x521) (\z True)) (Some (\e520 A-aN:several e520 x521) (\z True))) (\x519 N-b{N-aD}:a (\x516 ^ (Some (\e518 N-aD:week e518 x516) (\z True)) (Some (\e517 A-aN:few e517 x516) (\z True))) (\y515 Some (\e515 ^ (A-aN-bN:from e515 x509 y515) (A-aN-a{A-aN}-bN:to e515)) (\z True))))) (\y508 Some (\e508 A-aN-bN:for e508 e504 y508) (\z True))))) (Some (\x507 ^ (Some (\e507 N-aD:screen e507 x507) (\z True)) (^ (a413 x507) (Some (\e506 N-aD:movie e506 x507) (\z True)))) (\y505 Some (\e505 A-aN-bN:on e505 e504 y505) (\z True))))) (\z True)))))) (\z True)) (Some (\e545 A-aN-bC:so e545 e537 (Intension (Some (\x547 Some (\e547 N-aD:person e547 x547) (\z True)) (\x549 N-b{N-aD}:the (\x550 ^ (Some (\e551 N-aD:movie e551 x550) (\z True)) (a524 x550)) (\y549 Some (\e549 ^ (B-aN-bN:watch e549 x549 y549) (^ (B-aN-b{B-aN}:can e549) (Some (\x553 Some (\e553 N-aD:home e553 x553) (\z True)) (\y552 Some (\e552 A-aN-bN:at e552 e549 y552) (\z True))))) (\z True)))))) (\z True)))) (^ (Some (\x540 ^ (Some (\e540 N-aD:disk e540 x540) (\z True)) (Some (\e539 N-aD:dvd e539 x540) (\z True))) (\y538 Some (\e538 A-aN-bN:on e538 e537 y538) (\z True))) (Some (\x543 ^ (Some (\e543 N-aD:tape e543 x543) (\z True)) (Some (\e542 N-aD:videocassette e542 x543) (\z True))) (\y538 Some (\e538 A-aN-bN:on e538 e537 y538) (\z True)))))) (\z True))))))) (Some (\a551 Equal a551 (\v551 ^ (Some (\x524 Some (\a502 Equal a502 (\v502 Some (\a524 Equal a524 (\v524 Equal v524 x524)) (\a524 Some (\z True) (\x526 Some (\e526 ^ (B-aN-bN:show e526 x526 x524) (^ (^ (BCOPU-aN-b{A-aN}:be e526) (^ (Some (\e501 A-aN-bV:after e501 e526 (Intension (^ (^ (Some (\e502 NNGEN-aD:movie e502 v502) (\z True)) (a407 v502)) (Some (\z True) (\x504 Some (\e504 ^ (B-aN-bN:show e504 x504 v502) (^ (^ (BCOPU-aN-b{A-aN}:be e504) (Some (\x512 Some (\e512 N-aD:time e512 x512) (\z True)) (\xx512 N-b{N-aD}:a (\x509 ^ (Some (\e510 N-aD-bO:period e510 x509 xx512) (\z True)) (Some (\x521 ^ (Some (\e521 N-aD:month e521 x521) (\z True)) (Some (\e520 A-aN:several e520 x521) (\z True))) (\x519 N-b{N-aD}:a (\x516 ^ (Some (\e518 N-aD:week e518 x516) (\z True)) (Some (\e517 A-aN:few e517 x516) (\z True))) (\y515 Some (\e515 ^ (A-aN-bN:from e515 x509 y515) (A-aN-a{A-aN}-bN:to e515)) (\z True))))) (\y508 Some (\e508 A-aN-bN:for e508 e504 y508) (\z True))))) (Some (\x507 ^ (Some (\e507 N-aD:screen e507 x507) (\z True)) (^ (a413 x507) (Some (\e506 N-aD:movie e506 x507) (\z True)))) (\y505 Some (\e505 A-aN-bN:on e505 e504 y505) (\z True))))) (\z True)))))) (\z True)) (Some (\e545 A-aN-bC:so e545 e526 (Intension (Some (\x547 Some (\e547 N-aD:person e547 x547) (\z True)) (\x549 ^ (^ (Some (\e551 N-aD:movie e551 v551) (\z True)) (a524 v551)) (Some (\e549 ^ (B-aN-bN:watch e549 x549 v551) (^ (B-aN-b{B-aN}:can e549) (Some (\x553 Some (\e553 N-aD:home e553 x553) (\z True)) (\y552 Some (\e552 A-aN-bN:at e552 e549 y552) (\z True))))) (\z True)))))) (\z True)))) (^ (Some (\z True) (\x529 Some (\e529 ^ (B-aN:televise e529 x529) (Some (\z True) (\x528 B-aN:pay e529 x528))) (\y527 Some (\e527 A-aN-bN:on e527 e526 y527) (\z True)))) (Some (\z True) (\x532 Some (\e532 ^ (B-aN:televise e532 x532) (Some (\e531 N-aD:cable e531 e532) (\z True))) (\y527 Some (\e527 A-aN-bN:on e527 e526 y527) (\z True))))))) (\z True))))) (\a502 ^ (Some (\e524 N-aD:movie e524 x524) (\z True)) (a502 x524))) (\zz526 Some (\a524 Equal a524 (\v524 Equal v524 zz526)) (\a524 Some (\z True) (\x526 Some (\e526 ^ (B-aN-bN:show e526 x526 zz526) (^ (^ (BCOPU-aN-b{A-aN}:be e526) (^ (Some (\e501 A-aN-bV:after e501 e526 (Intension (Gen (\x502 ^ (Some (\e502 NNGEN-aD:movie e502 x502) (\z True)) (a407 x502)) (\zz504 Some (\z True) (\x504 Some (\e504 ^ (B-aN-bN:show e504 x504 zz504) (^ (^ (BCOPU-aN-b{A-aN}:be e504) (Some (\x512 Some (\e512 N-aD:time e512 x512) (\z True)) (\xx512 N-b{N-aD}:a (\x509 ^ (Some (\e510 N-aD-bO:period e510 x509 xx512) (\z True)) (Some (\x521 ^ (Some (\e521 N-aD:month e521 x521) (\z True)) (Some (\e520 A-aN:several e520 x521) (\z True))) (\x519 N-b{N-aD}:a (\x516 ^ (Some (\e518 N-aD:week e518 x516) (\z True)) (Some (\e517 A-aN:few e517 x516) (\z True))) (\y515 Some (\e515 ^ (A-aN-bN:from e515 x509 y515) (A-aN-a{A-aN}-bN:to e515)) (\z True))))) (\y508 Some (\e508 A-aN-bN:for e508 e504 y508) (\z True))))) (Some (\x507 ^ (Some (\e507 N-aD:screen e507 x507) (\z True)) (^ (a413 x507) (Some (\e506 N-aD:movie e506 x507) (\z True)))) (\y505 Some (\e505 A-aN-bN:on e505 e504 y505) (\z True))))) (\z True)))))) (\z True)) (Some (\e545 A-aN-bC:so e545 e526 (Intension (Some (\x547 Some (\e547 N-aD:person e547 x547) (\z True)) (\x549 ^ (^ (Some (\e551 N-aD:movie e551 v551) (\z True)) (a524 v551)) (Some (\e549 ^ (B-aN-bN:watch e549 x549 v551) (^ (B-aN-b{B-aN}:can e549) (Some (\x553 Some (\e553 N-aD:home e553 x553) (\z True)) (\y552 Some (\e552 A-aN-bN:at e552 e549 y552) (\z True))))) (\z True)))))) (\z True)))) (^ (Some (\z True) (\x529 Some (\e529 ^ (B-aN:televise e529 x529) (Some (\z True) (\x528 B-aN:pay e529 x528))) (\y527 Some (\e527 A-aN-bN:on e527 e526 y527) (\z True)))) (Some (\z True) (\x532 Some (\e532 ^ (B-aN:televise e532 x532) (Some (\e531 N-aD:cable e531 e532) (\z True))) (\y527 Some (\e527 A-aN-bN:on e527 e526 y527) (\z True))))))) (\z True))))) (^ (Some (\x524 Some (\a502 Equal a502 (\v502 Some (\a524 Equal a524 (\v524 Equal v524 x524)) (\a524 Some (\z True) (\x535 Some (\e535 ^ (B-aN-bN:sell e535 x535 x524) (^ (^ (BCOPU-aN-b{A-aN}:be e535) (^ (Some (\e501 A-aN-bV:after e501 e535 (Intension (^ (^ (Some (\e502 NNGEN-aD:movie e502 v502) (\z True)) (a407 v502)) (Some (\z True) (\x504 Some (\e504 ^ (B-aN-bN:show e504 x504 v502) (^ (^ (BCOPU-aN-b{A-aN}:be e504) (Some (\x512 Some (\e512 N-aD:time e512 x512) (\z True)) (\xx512 N-b{N-aD}:a (\x509 ^ (Some (\e510 N-aD-bO:period e510 x509 xx512) (\z True)) (Some (\x521 ^ (Some (\e521 N-aD:month e521 x521) (\z True)) (Some (\e520 A-aN:several e520 x521) (\z True))) (\x519 N-b{N-aD}:a (\x516 ^ (Some (\e518 N-aD:week e518 x516) (\z True)) (Some (\e517 A-aN:few e517 x516) (\z True))) (\y515 Some (\e515 ^ (A-aN-bN:from e515 x509 y515) (A-aN-a{A-aN}-bN:to e515)) (\z True))))) (\y508 Some (\e508 A-aN-bN:for e508 e504 y508) (\z True))))) (Some (\x507 ^ (Some (\e507 N-aD:screen e507 x507) (\z True)) (^ (a413 x507) (Some (\e506 N-aD:movie e506 x507) (\z True)))) (\y505 Some (\e505 A-aN-bN:on e505 e504 y505) (\z True))))) (\z True)))))) (\z True)) (Some (\e545 A-aN-bC:so e545 e535 (Intension (Some (\x547 Some (\e547 N-aD:person e547 x547) (\z True)) (\x549 ^ (^ (Some (\e551 N-aD:movie e551 v551) (\z True)) (a524 v551)) (Some (\e549 ^ (B-aN-bN:watch e549 x549 v551) (^ (B-aN-b{B-aN}:can e549) (Some (\x553 Some (\e553 N-aD:home e553 x553) (\z True)) (\y552 Some (\e552 A-aN-bN:at e552 e549 y552) (\z True))))) (\z True)))))) (\z True)))) (^ (Some (\x540 ^ (Some (\e540 N-aD:disk e540 x540) (\z True)) (Some (\e539 N-aD:dvd e539 x540) (\z True))) (\y538 Some (\e538 A-aN-bN:on e538 e535 y538) (\z True))) (Some (\x543 ^ (Some (\e543 N-aD:tape e543 x543) (\z True)) (Some (\e542 N-aD:videocassette e542 x543) (\z True))) (\y538 Some (\e538 A-aN-bN:on e538 e535 y538) (\z True)))))) (\z True))))) (\a502 ^ (Some (\e524 N-aD:movie e524 x524) (\z True)) (a502 x524))) (\zz535 Some (\a524 Equal a524 (\v524 Equal v524 zz535)) (\a524 Some (\z True) (\x535 Some (\e535 ^ (B-aN-bN:sell e535 x535 zz535) (^ (^ (BCOPU-aN-b{A-aN}:be e535) (^ (Some (\e501 A-aN-bV:after e501 e535 (Intension (Gen (\x502 ^ (Some (\e502 NNGEN-aD:movie e502 x502) (\z True)) (a407 x502)) (\zz504 Some (\z True) (\x504 Some (\e504 ^ (B-aN-bN:show e504 x504 zz504) (^ (^ (BCOPU-aN-b{A-aN}:be e504) (Some (\x512 Some (\e512 N-aD:time e512 x512) (\z True)) (\xx512 N-b{N-aD}:a (\x509 ^ (Some (\e510 N-aD-bO:period e510 x509 xx512) (\z True)) (Some (\x521 ^ (Some (\e521 N-aD:month e521 x521) (\z True)) (Some (\e520 A-aN:several e520 x521) (\z True))) (\x519 N-b{N-aD}:a (\x516 ^ (Some (\e518 N-aD:week e518 x516) (\z True)) (Some (\e517 A-aN:few e517 x516) (\z True))) (\y515 Some (\e515 ^ (A-aN-bN:from e515 x509 y515) (A-aN-a{A-aN}-bN:to e515)) (\z True))))) (\y508 Some (\e508 A-aN-bN:for e508 e504 y508) (\z True))))) (Some (\x507 ^ (Some (\e507 N-aD:screen e507 x507) (\z True)) (^ (a413 x507) (Some (\e506 N-aD:movie e506 x507) (\z True)))) (\y505 Some (\e505 A-aN-bN:on e505 e504 y505) (\z True))))) (\z True)))))) (\z True)) (Some (\e545 A-aN-bC:so e545 e535 (Intension (Some (\x547 Some (\e547 N-aD:person e547 x547) (\z True)) (\x549 ^ (^ (Some (\e551 N-aD:movie e551 v551) (\z True)) (a524 v551)) (Some (\e549 ^ (B-aN-bN:watch e549 x549 v551) (^ (B-aN-b{B-aN}:can e549) (Some (\x553 Some (\e553 N-aD:home e553 x553) (\z True)) (\y552 Some (\e552 A-aN-bN:at e552 e549 y552) (\z True))))) (\z True)))))) (\z True)))) (^ (Some (\x540 ^ (Some (\e540 N-aD:disk e540 x540) (\z True)) (Some (\e539 N-aD:dvd e539 x540) (\z True))) (\y538 Some (\e538 A-aN-bN:on e538 e535 y538) (\z True))) (Some (\x543 ^ (Some (\e543 N-aD:tape e543 x543) (\z True)) (Some (\e542 N-aD:videocassette e542 x543) (\z True))) (\y538 Some (\e538 A-aN-bN:on e538 e535 y538) (\z True)))))) (\z True))))) (Some (\x524 Some (\a502 Equal a502 (\v502 Some (\a524 Equal a524 (\v524 Equal v524 x524)) (\a524 Some (\z True) (\x537 Some (\e537 ^ (B-aN-bN:rent e537 x537 x524) (^ (^ (BCOPU-aN-b{A-aN}:be e537) (^ (Some (\e501 A-aN-bV:after e501 e537 (Intension (^ (^ (Some (\e502 NNGEN-aD:movie e502 v502) (\z True)) (a407 v502)) (Some (\z True) (\x504 Some (\e504 ^ (B-aN-bN:show e504 x504 v502) (^ (^ (BCOPU-aN-b{A-aN}:be e504) (Some (\x512 Some (\e512 N-aD:time e512 x512) (\z True)) (\xx512 N-b{N-aD}:a (\x509 ^ (Some (\e510 N-aD-bO:period e510 x509 xx512) (\z True)) (Some (\x521 ^ (Some (\e521 N-aD:month e521 x521) (\z True)) (Some (\e520 A-aN:several e520 x521) (\z True))) (\x519 N-b{N-aD}:a (\x516 ^ (Some (\e518 N-aD:week e518 x516) (\z True)) (Some (\e517 A-aN:few e517 x516) (\z True))) (\y515 Some (\e515 ^ (A-aN-bN:from e515 x509 y515) (A-aN-a{A-aN}-bN:to e515)) (\z True))))) (\y508 Some (\e508 A-aN-bN:for e508 e504 y508) (\z True))))) (Some (\x507 ^ (Some (\e507 N-aD:screen e507 x507) (\z True)) (^ (a413 x507) (Some (\e506 N-aD:movie e506 x507) (\z True)))) (\y505 Some (\e505 A-aN-bN:on e505 e504 y505) (\z True))))) (\z True)))))) (\z True)) (Some (\e545 A-aN-bC:so e545 e537 (Intension (Some (\x547 Some (\e547 N-aD:person e547 x547) (\z True)) (\x549 ^ (^ (Some (\e551 N-aD:movie e551 v551) (\z True)) (a524 v551)) (Some (\e549 ^ (B-aN-bN:watch e549 x549 v551) (^ (B-aN-b{B-aN}:can e549) (Some (\x553 Some (\e553 N-aD:home e553 x553) (\z True)) (\y552 Some (\e552 A-aN-bN:at e552 e549 y552) (\z True))))) (\z True)))))) (\z True)))) (^ (Some (\x540 ^ (Some (\e540 N-aD:disk e540 x540) (\z True)) (Some (\e539 N-aD:dvd e539 x540) (\z True))) (\y538 Some (\e538 A-aN-bN:on e538 e537 y538) (\z True))) (Some (\x543 ^ (Some (\e543 N-aD:tape e543 x543) (\z True)) (Some (\e542 N-aD:videocassette e542 x543) (\z True))) (\y538 Some (\e538 A-aN-bN:on e538 e537 y538) (\z True)))))) (\z True))))) (\a502 ^ (Some (\e524 N-aD:movie e524 x524) (\z True)) (a502 x524))) (\zz537 Some (\a524 Equal a524 (\v524 Equal v524 zz537)) (\a524 Some (\z True) (\x537 Some (\e537 ^ (B-aN-bN:rent e537 x537 zz537) (^ (^ (BCOPU-aN-b{A-aN}:be e537) (^ (Some (\e501 A-aN-bV:after e501 e537 (Intension (Gen (\x502 ^ (Some (\e502 NNGEN-aD:movie e502 x502) (\z True)) (a407 x502)) (\zz504 Some (\z True) (\x504 Some (\e504 ^ (B-aN-bN:show e504 x504 zz504) (^ (^ (BCOPU-aN-b{A-aN}:be e504) (Some (\x512 Some (\e512 N-aD:time e512 x512) (\z True)) (\xx512 N-b{N-aD}:a (\x509 ^ (Some (\e510 N-aD-bO:period e510 x509 xx512) (\z True)) (Some (\x521 ^ (Some (\e521 N-aD:month e521 x521) (\z True)) (Some (\e520 A-aN:several e520 x521) (\z True))) (\x519 N-b{N-aD}:a (\x516 ^ (Some (\e518 N-aD:week e518 x516) (\z True)) (Some (\e517 A-aN:few e517 x516) (\z True))) (\y515 Some (\e515 ^ (A-aN-bN:from e515 x509 y515) (A-aN-a{A-aN}-bN:to e515)) (\z True))))) (\y508 Some (\e508 A-aN-bN:for e508 e504 y508) (\z True))))) (Some (\x507 ^ (Some (\e507 N-aD:screen e507 x507) (\z True)) (^ (a413 x507) (Some (\e506 N-aD:movie e506 x507) (\z True)))) (\y505 Some (\e505 A-aN-bN:on e505 e504 y505) (\z True))))) (\z True)))))) (\z True)) (Some (\e545 A-aN-bC:so e545 e537 (Intension (Some (\x547 Some (\e547 N-aD:person e547 x547) (\z True)) (\x549 ^ (^ (Some (\e551 N-aD:movie e551 v551) (\z True)) (a524 v551)) (Some (\e549 ^ (B-aN-bN:watch e549 x549 v551) (^ (B-aN-b{B-aN}:can e549) (Some (\x553 Some (\e553 N-aD:home e553 x553) (\z True)) (\y552 Some (\e552 A-aN-bN:at e552 e549 y552) (\z True))))) (\z True)))))) (\z True)))) (^ (Some (\x540 ^ (Some (\e540 N-aD:disk e540 x540) (\z True)) (Some (\e539 N-aD:dvd e539 x540) (\z True))) (\y538 Some (\e538 A-aN-bN:on e538 e537 y538) (\z True))) (Some (\x543 ^ (Some (\e543 N-aD:tape e543 x543) (\z True)) (Some (\e542 N-aD:videocassette e542 x543) (\z True))) (\y538 Some (\e538 A-aN-bN:on e538 e537 y538) (\z True)))))) (\z True)))))))) (\a551 Some (\a547 Equal a547 (\v547 ^ (Some (\x524 Some (\a502 Equal a502 (\v502 Some (\a524 Equal a524 (\v524 Equal v524 x524)) (\a524 Some (\z True) (\x526 Some (\e526 ^ (B-aN-bN:show e526 x526 x524) (^ (^ (BCOPU-aN-b{A-aN}:be e526) (^ (Some (\e501 A-aN-bV:after e501 e526 (Intension (^ (^ (Some (\e502 NNGEN-aD:movie e502 v502) (\z True)) (a407 v502)) (Some (\z True) (\x504 Some (\e504 ^ (B-aN-bN:show e504 x504 v502) (^ (^ (BCOPU-aN-b{A-aN}:be e504) (Some (\x512 Some (\e512 N-aD:time e512 x512) (\z True)) (\xx512 N-b{N-aD}:a (\x509 ^ (Some (\e510 N-aD-bO:period e510 x509 xx512) (\z True)) (Some (\x521 ^ (Some (\e521 N-aD:month e521 x521) (\z True)) (Some (\e520 A-aN:several e520 x521) (\z True))) (\x519 N-b{N-aD}:a (\x516 ^ (Some (\e518 N-aD:week e518 x516) (\z True)) (Some (\e517 A-aN:few e517 x516) (\z True))) (\y515 Some (\e515 ^ (A-aN-bN:from e515 x509 y515) (A-aN-a{A-aN}-bN:to e515)) (\z True))))) (\y508 Some (\e508 A-aN-bN:for e508 e504 y508) (\z True))))) (Some (\x507 ^ (Some (\e507 N-aD:screen e507 x507) (\z True)) (^ (a413 x507) (Some (\e506 N-aD:movie e506 x507) (\z True)))) (\y505 Some (\e505 A-aN-bN:on e505 e504 y505) (\z True))))) (\z True)))))) (\z True)) (Some (\e545 A-aN-bC:so e545 e526 (Intension (^ (Some (\e547 N-aD:person e547 v547) (\z True)) (N-b{N-aD}:the (\x550 ^ (Some (\e551 N-aD:movie e551 x550) (\z True)) (a524 x550)) (\y549 Some (\e549 ^ (B-aN-bN:watch e549 v547 y549) (^ (B-aN-b{B-aN}:can e549) (Some (\x553 Some (\e553 N-aD:home e553 x553) (\z True)) (\y552 Some (\e552 A-aN-bN:at e552 e549 y552) (\z True))))) (\z True)))))) (\z True)))) (^ (Some (\z True) (\x529 Some (\e529 ^ (B-aN:televise e529 x529) (Some (\z True) (\x528 B-aN:pay e529 x528))) (\y527 Some (\e527 A-aN-bN:on e527 e526 y527) (\z True)))) (Some (\z True) (\x532 Some (\e532 ^ (B-aN:televise e532 x532) (Some (\e531 N-aD:cable e531 e532) (\z True))) (\y527 Some (\e527 A-aN-bN:on e527 e526 y527) (\z True))))))) (\z True))))) (\a502 ^ (Some (\e524 N-aD:movie e524 x524) (\z True)) (a502 x524))) (\zz526 Some (\a524 Equal a524 (\v524 Equal v524 zz526)) (\a524 Some (\z True) (\x526 Some (\e526 ^ (B-aN-bN:show e526 x526 zz526) (^ (^ (BCOPU-aN-b{A-aN}:be e526) (^ (Some (\e501 A-aN-bV:after e501 e526 (Intension (Gen (\x502 ^ (Some (\e502 NNGEN-aD:movie e502 x502) (\z True)) (a407 x502)) (\zz504 Some (\z True) (\x504 Some (\e504 ^ (B-aN-bN:show e504 x504 zz504) (^ (^ (BCOPU-aN-b{A-aN}:be e504) (Some (\x512 Some (\e512 N-aD:time e512 x512) (\z True)) (\xx512 N-b{N-aD}:a (\x509 ^ (Some (\e510 N-aD-bO:period e510 x509 xx512) (\z True)) (Some (\x521 ^ (Some (\e521 N-aD:month e521 x521) (\z True)) (Some (\e520 A-aN:several e520 x521) (\z True))) (\x519 N-b{N-aD}:a (\x516 ^ (Some (\e518 N-aD:week e518 x516) (\z True)) (Some (\e517 A-aN:few e517 x516) (\z True))) (\y515 Some (\e515 ^ (A-aN-bN:from e515 x509 y515) (A-aN-a{A-aN}-bN:to e515)) (\z True))))) (\y508 Some (\e508 A-aN-bN:for e508 e504 y508) (\z True))))) (Some (\x507 ^ (Some (\e507 N-aD:screen e507 x507) (\z True)) (^ (a413 x507) (Some (\e506 N-aD:movie e506 x507) (\z True)))) (\y505 Some (\e505 A-aN-bN:on e505 e504 y505) (\z True))))) (\z True)))))) (\z True)) (Some (\e545 A-aN-bC:so e545 e526 (Intension (^ (Some (\e547 N-aD:person e547 v547) (\z True)) (N-b{N-aD}:the (\x550 ^ (Some (\e551 N-aD:movie e551 x550) (\z True)) (a524 x550)) (\y549 Some (\e549 ^ (B-aN-bN:watch e549 v547 y549) (^ (B-aN-b{B-aN}:can e549) (Some (\x553 Some (\e553 N-aD:home e553 x553) (\z True)) (\y552 Some (\e552 A-aN-bN:at e552 e549 y552) (\z True))))) (\z True)))))) (\z True)))) (^ (Some (\z True) (\x529 Some (\e529 ^ (B-aN:televise e529 x529) (Some (\z True) (\x528 B-aN:pay e529 x528))) (\y527 Some (\e527 A-aN-bN:on e527 e526 y527) (\z True)))) (Some (\z True) (\x532 Some (\e532 ^ (B-aN:televise e532 x532) (Some (\e531 N-aD:cable e531 e532) (\z True))) (\y527 Some (\e527 A-aN-bN:on e527 e526 y527) (\z True))))))) (\z True))))) (^ (Some (\x524 Some (\a502 Equal a502 (\v502 Some (\a524 Equal a524 (\v524 Equal v524 x524)) (\a524 Some (\z True) (\x535 Some (\e535 ^ (B-aN-bN:sell e535 x535 x524) (^ (^ (BCOPU-aN-b{A-aN}:be e535) (^ (Some (\e501 A-aN-bV:after e501 e535 (Intension (^ (^ (Some (\e502 NNGEN-aD:movie e502 v502) (\z True)) (a407 v502)) (Some (\z True) (\x504 Some (\e504 ^ (B-aN-bN:show e504 x504 v502) (^ (^ (BCOPU-aN-b{A-aN}:be e504) (Some (\x512 Some (\e512 N-aD:time e512 x512) (\z True)) (\xx512 N-b{N-aD}:a (\x509 ^ (Some (\e510 N-aD-bO:period e510 x509 xx512) (\z True)) (Some (\x521 ^ (Some (\e521 N-aD:month e521 x521) (\z True)) (Some (\e520 A-aN:several e520 x521) (\z True))) (\x519 N-b{N-aD}:a (\x516 ^ (Some (\e518 N-aD:week e518 x516) (\z True)) (Some (\e517 A-aN:few e517 x516) (\z True))) (\y515 Some (\e515 ^ (A-aN-bN:from e515 x509 y515) (A-aN-a{A-aN}-bN:to e515)) (\z True))))) (\y508 Some (\e508 A-aN-bN:for e508 e504 y508) (\z True))))) (Some (\x507 ^ (Some (\e507 N-aD:screen e507 x507) (\z True)) (^ (a413 x507) (Some (\e506 N-aD:movie e506 x507) (\z True)))) (\y505 Some (\e505 A-aN-bN:on e505 e504 y505) (\z True))))) (\z True)))))) (\z True)) (Some (\e545 A-aN-bC:so e545 e535 (Intension (^ (Some (\e547 N-aD:person e547 v547) (\z True)) (N-b{N-aD}:the (\x550 ^ (Some (\e551 N-aD:movie e551 x550) (\z True)) (a524 x550)) (\y549 Some (\e549 ^ (B-aN-bN:watch e549 v547 y549) (^ (B-aN-b{B-aN}:can e549) (Some (\x553 Some (\e553 N-aD:home e553 x553) (\z True)) (\y552 Some (\e552 A-aN-bN:at e552 e549 y552) (\z True))))) (\z True)))))) (\z True)))) (^ (Some (\x540 ^ (Some (\e540 N-aD:disk e540 x540) (\z True)) (Some (\e539 N-aD:dvd e539 x540) (\z True))) (\y538 Some (\e538 A-aN-bN:on e538 e535 y538) (\z True))) (Some (\x543 ^ (Some (\e543 N-aD:tape e543 x543) (\z True)) (Some (\e542 N-aD:videocassette e542 x543) (\z True))) (\y538 Some (\e538 A-aN-bN:on e538 e535 y538) (\z True)))))) (\z True))))) (\a502 ^ (Some (\e524 N-aD:movie e524 x524) (\z True)) (a502 x524))) (\zz535 Some (\a524 Equal a524 (\v524 Equal v524 zz535)) (\a524 Some (\z True) (\x535 Some (\e535 ^ (B-aN-bN:sell e535 x535 zz535) (^ (^ (BCOPU-aN-b{A-aN}:be e535) (^ (Some (\e501 A-aN-bV:after e501 e535 (Intension (Gen (\x502 ^ (Some (\e502 NNGEN-aD:movie e502 x502) (\z True)) (a407 x502)) (\zz504 Some (\z True) (\x504 Some (\e504 ^ (B-aN-bN:show e504 x504 zz504) (^ (^ (BCOPU-aN-b{A-aN}:be e504) (Some (\x512 Some (\e512 N-aD:time e512 x512) (\z True)) (\xx512 N-b{N-aD}:a (\x509 ^ (Some (\e510 N-aD-bO:period e510 x509 xx512) (\z True)) (Some (\x521 ^ (Some (\e521 N-aD:month e521 x521) (\z True)) (Some (\e520 A-aN:several e520 x521) (\z True))) (\x519 N-b{N-aD}:a (\x516 ^ (Some (\e518 N-aD:week e518 x516) (\z True)) (Some (\e517 A-aN:few e517 x516) (\z True))) (\y515 Some (\e515 ^ (A-aN-bN:from e515 x509 y515) (A-aN-a{A-aN}-bN:to e515)) (\z True))))) (\y508 Some (\e508 A-aN-bN:for e508 e504 y508) (\z True))))) (Some (\x507 ^ (Some (\e507 N-aD:screen e507 x507) (\z True)) (^ (a413 x507) (Some (\e506 N-aD:movie e506 x507) (\z True)))) (\y505 Some (\e505 A-aN-bN:on e505 e504 y505) (\z True))))) (\z True)))))) (\z True)) (Some (\e545 A-aN-bC:so e545 e535 (Intension (^ (Some (\e547 N-aD:person e547 v547) (\z True)) (N-b{N-aD}:the (\x550 ^ (Some (\e551 N-aD:movie e551 x550) (\z True)) (a524 x550)) (\y549 Some (\e549 ^ (B-aN-bN:watch e549 v547 y549) (^ (B-aN-b{B-aN}:can e549) (Some (\x553 Some (\e553 N-aD:home e553 x553) (\z True)) (\y552 Some (\e552 A-aN-bN:at e552 e549 y552) (\z True))))) (\z True)))))) (\z True)))) (^ (Some (\x540 ^ (Some (\e540 N-aD:disk e540 x540) (\z True)) (Some (\e539 N-aD:dvd e539 x540) (\z True))) (\y538 Some (\e538 A-aN-bN:on e538 e535 y538) (\z True))) (Some (\x543 ^ (Some (\e543 N-aD:tape e543 x543) (\z True)) (Some (\e542 N-aD:videocassette e542 x543) (\z True))) (\y538 Some (\e538 A-aN-bN:on e538 e535 y538) (\z True)))))) (\z True))))) (Some (\x524 Some (\a502 Equal a502 (\v502 Some (\a524 Equal a524 (\v524 Equal v524 x524)) (\a524 Some (\z True) (\x537 Some (\e537 ^ (B-aN-bN:rent e537 x537 x524) (^ (^ (BCOPU-aN-b{A-aN}:be e537) (^ (Some (\e501 A-aN-bV:after e501 e537 (Intension (^ (^ (Some (\e502 NNGEN-aD:movie e502 v502) (\z True)) (a407 v502)) (Some (\z True) (\x504 Some (\e504 ^ (B-aN-bN:show e504 x504 v502) (^ (^ (BCOPU-aN-b{A-aN}:be e504) (Some (\x512 Some (\e512 N-aD:time e512 x512) (\z True)) (\xx512 N-b{N-aD}:a (\x509 ^ (Some (\e510 N-aD-bO:period e510 x509 xx512) (\z True)) (Some (\x521 ^ (Some (\e521 N-aD:month e521 x521) (\z True)) (Some (\e520 A-aN:several e520 x521) (\z True))) (\x519 N-b{N-aD}:a (\x516 ^ (Some (\e518 N-aD:week e518 x516) (\z True)) (Some (\e517 A-aN:few e517 x516) (\z True))) (\y515 Some (\e515 ^ (A-aN-bN:from e515 x509 y515) (A-aN-a{A-aN}-bN:to e515)) (\z True))))) (\y508 Some (\e508 A-aN-bN:for e508 e504 y508) (\z True))))) (Some (\x507 ^ (Some (\e507 N-aD:screen e507 x507) (\z True)) (^ (a413 x507) (Some (\e506 N-aD:movie e506 x507) (\z True)))) (\y505 Some (\e505 A-aN-bN:on e505 e504 y505) (\z True))))) (\z True)))))) (\z True)) (Some (\e545 A-aN-bC:so e545 e537 (Intension (^ (Some (\e547 N-aD:person e547 v547) (\z True)) (N-b{N-aD}:the (\x550 ^ (Some (\e551 N-aD:movie e551 x550) (\z True)) (a524 x550)) (\y549 Some (\e549 ^ (B-aN-bN:watch e549 v547 y549) (^ (B-aN-b{B-aN}:can e549) (Some (\x553 Some (\e553 N-aD:home e553 x553) (\z True)) (\y552 Some (\e552 A-aN-bN:at e552 e549 y552) (\z True))))) (\z True)))))) (\z True)))) (^ (Some (\x540 ^ (Some (\e540 N-aD:disk e540 x540) (\z True)) (Some (\e539 N-aD:dvd e539 x540) (\z True))) (\y538 Some (\e538 A-aN-bN:on e538 e537 y538) (\z True))) (Some (\x543 ^ (Some (\e543 N-aD:tape e543 x543) (\z True)) (Some (\e542 N-aD:videocassette e542 x543) (\z True))) (\y538 Some (\e538 A-aN-bN:on e538 e537 y538) (\z True)))))) (\z True))))) (\a502 ^ (Some (\e524 N-aD:movie e524 x524) (\z True)) (a502 x524))) (\zz537 Some (\a524 Equal a524 (\v524 Equal v524 zz537)) (\a524 Some (\z True) (\x537 Some (\e537 ^ (B-aN-bN:rent e537 x537 zz537) (^ (^ (BCOPU-aN-b{A-aN}:be e537) (^ (Some (\e501 A-aN-bV:after e501 e537 (Intension (Gen (\x502 ^ (Some (\e502 NNGEN-aD:movie e502 x502) (\z True)) (a407 x502)) (\zz504 Some (\z True) (\x504 Some (\e504 ^ (B-aN-bN:show e504 x504 zz504) (^ (^ (BCOPU-aN-b{A-aN}:be e504) (Some (\x512 Some (\e512 N-aD:time e512 x512) (\z True)) (\xx512 N-b{N-aD}:a (\x509 ^ (Some (\e510 N-aD-bO:period e510 x509 xx512) (\z True)) (Some (\x521 ^ (Some (\e521 N-aD:month e521 x521) (\z True)) (Some (\e520 A-aN:several e520 x521) (\z True))) (\x519 N-b{N-aD}:a (\x516 ^ (Some (\e518 N-aD:week e518 x516) (\z True)) (Some (\e517 A-aN:few e517 x516) (\z True))) (\y515 Some (\e515 ^ (A-aN-bN:from e515 x509 y515) (A-aN-a{A-aN}-bN:to e515)) (\z True))))) (\y508 Some (\e508 A-aN-bN:for e508 e504 y508) (\z True))))) (Some (\x507 ^ (Some (\e507 N-aD:screen e507 x507) (\z True)) (^ (a413 x507) (Some (\e506 N-aD:movie e506 x507) (\z True)))) (\y505 Some (\e505 A-aN-bN:on e505 e504 y505) (\z True))))) (\z True)))))) (\z True)) (Some (\e545 A-aN-bC:so e545 e537 (Intension (^ (Some (\e547 N-aD:person e547 v547) (\z True)) (N-b{N-aD}:the (\x550 ^ (Some (\e551 N-aD:movie e551 x550) (\z True)) (a524 x550)) (\y549 Some (\e549 ^ (B-aN-bN:watch e549 v547 y549) (^ (B-aN-b{B-aN}:can e549) (Some (\x553 Some (\e553 N-aD:home e553 x553) (\z True)) (\y552 Some (\e552 A-aN-bN:at e552 e549 y552) (\z True))))) (\z True)))))) (\z True)))) (^ (Some (\x540 ^ (Some (\e540 N-aD:disk e540 x540) (\z True)) (Some (\e539 N-aD:dvd e539 x540) (\z True))) (\y538 Some (\e538 A-aN-bN:on e538 e537 y538) (\z True))) (Some (\x543 ^ (Some (\e543 N-aD:tape e543 x543) (\z True)) (Some (\e542 N-aD:videocassette e542 x543) (\z True))) (\y538 Some (\e538 A-aN-bN:on e538 e537 y538) (\z True)))))) (\z True)))))))) (\a547 ^ (Gen (\z601 ^ (Some (\e601 NNGEN:you e601 z601) (\z True)) (a547 z601)) (\x604 Some (\x607 ^ (Some (\e607 NNEXI-aD:movie e607 x607) (\z True)) (a551 x607)) (\y604 Some (\e604 ^ (B-aN-bN:download e604 x604 y604) (^ (B-aN-b{B-aN}:can e604) (Some (\e603 A-aN:also e603 e604) (\z True)))) (\z True)))) (Gen (\z601 ^ (Some (\e601 NNGEN:you e601 z601) (\z True)) (a547 z601)) (\x606 Some (\x607 ^ (Some (\e607 NNEXI-aD:movie e607 x607) (\z True)) (a551 x607)) (\y606 Some (\e606 ^ (B-aN-bN:stream e606 x606 y606) (^ (B-aN-b{B-aN}:can e606) (Some (\e603 A-aN:also e603 e606) (\z True)))) (\z True))))))))))))))))))) 8 LOGIC: (^ (Some (\x1 Some (\e1 N-aD:music e1 x1) (\z True)) (\z True)) (Some (\a1 Equal a1 (\v1 Some (\e1 N-aD:music e1 v1) (\z True))) (\a1 ^ (Gen (\x101 ^ (Some (\e101 NNGEN-aD:music e101 x101) (\z True)) (^ (BCOPU-aN-b{A-aN}:be x101) (a1 x101))) (\x ^ (Some (\e104 N-aD:art e104 x) (\z True)) (Some (\e106 B-aN-bA:put e106 x (Intension (Some (\z True) (\x107 Some (\e107 B-aN:sound e107 x107) (\x108 Some (\e108 ^ (A-aN:together e108 x108) (N-b{N-aD}:a (\x110 Some (\e111 N-aD:way e111 x110) (\z True)) (\zz111 ^ (^ (Some (\x113 Some (\e113 N-aD:person e113 x113) (\z True)) (\x114 Some (\e114 B-aN-bN:like e114 x114 zz111) (\z True))) (Some (\x113 Some (\e113 N-aD:person e113 x113) (\z True)) (\x116 Some (\e116 B-aN-bA:find e116 x116 (Intension (Some (\e117 A-aN:interesting e117 zz111) (\z True)))) (\z True)))) (Some (\e109 A-aN-bN:in e109 e108 zz111) (\z True))))) (\z True)))))) (\z True)))) (Some (\a101 Equal a101 (\v101 ^ (^ (Some (\e101 NNGEN-aD:music e101 v101) (\z True)) (^ (BCOPU-aN-b{A-aN}:be v101) (a1 v101))) (^ (Some (\e104 N-aD:art e104 v101) (\z True)) (Some (\e106 B-aN-bA:put e106 v101 (Intension (Some (\z True) (\x107 Some (\e107 B-aN:sound e107 x107) (\x108 Some (\e108 ^ (A-aN:together e108 x108) (N-b{N-aD}:a (\x110 Some (\e111 N-aD:way e111 x110) (\z True)) (\zz111 ^ (^ (Some (\x113 Some (\e113 N-aD:person e113 x113) (\z True)) (\x114 Some (\e114 B-aN-bN:like e114 x114 zz111) (\z True))) (Some (\x113 Some (\e113 N-aD:person e113 x113) (\z True)) (\x116 Some (\e116 B-aN-bA:find e116 x116 (Intension (Some (\e117 A-aN:interesting e117 zz111) (\z True)))) (\z True)))) (Some (\e109 A-aN-bN:in e109 e108 zz111) (\z True))))) (\z True)))))) (\z True))))) (\a101 ^ (Some (\x202 ^ (Some (\e202 N-aD:music e202 x202) (\z True)) (^ (a101 x202) (Some (\e201 A-aN:most e201 x202) (\z True)))) (\x203 Some (\x204 ^ (Some (\e204 N-aD:person e204 x204) (\z True)) (Some (\a204 Equal a204 (\v204 True)) (\a204 ^ (Some (\e205 ^ (B-aN:sing e205 x204) (Some (\x208 Some (\z207 ^ (Some (\e207 N:they e207 z207) (\z True)) (a204 z207)) (\z208 Some (\e208 NNREL-aD:voice e208 x208 z208) (\z True))) (\y206 Some (\e206 A-aN-bN:with e206 e205 y206) (\z True)))) (\z True)) (Some (\x212 ^ (Some (\e212 N-aD:instrument e212 x212) (\z True)) (^ (N-b{N-aD}:the (\x216 ^ (Some (\e217 N-aD:piano e217 x216) (\z True)) (^ (Some (\e219 N-aD:guitar e219 x216) (\z True)) (Some (\e222 N-aD:drum e222 x216) (\z True)))) (\y215 Some (\e215 ^ (A-aN-bN:as e215 x212 y215) (Some (\e214 A-aN:such e214 e215) (\z True))) (\z True))) (Some (\e211 A-aN:musical e211 x212) (\z True)))) (\y210 Some (\e210 B-aN-bN:play e210 x204 y210) (\z True)))))) (\y203 Some (\e203 B-aN-bN:include e203 x203 y203) (\z True)))) (Some (\a202 Equal a202 (\v202 ^ (^ (Some (\e202 N-aD:music e202 v202) (\z True)) (^ (a101 v202) (Some (\e201 A-aN:most e201 v202) (\z True)))) (Some (\x204 ^ (Some (\e204 N-aD:person e204 x204) (\z True)) (Some (\a204 Equal a204 (\v204 True)) (\a204 ^ (Some (\e205 ^ (B-aN:sing e205 x204) (Some (\x208 Some (\z207 ^ (Some (\e207 N:they e207 z207) (\z True)) (a204 z207)) (\z208 Some (\e208 NNREL-aD:voice e208 x208 z208) (\z True))) (\y206 Some (\e206 A-aN-bN:with e206 e205 y206) (\z True)))) (\z True)) (Some (\x212 ^ (Some (\e212 N-aD:instrument e212 x212) (\z True)) (^ (N-b{N-aD}:the (\x216 ^ (Some (\e217 N-aD:piano e217 x216) (\z True)) (^ (Some (\e219 N-aD:guitar e219 x216) (\z True)) (Some (\e222 N-aD:drum e222 x216) (\z True)))) (\y215 Some (\e215 ^ (A-aN-bN:as e215 x212 y215) (Some (\e214 A-aN:such e214 e215) (\z True))) (\z True))) (Some (\e211 A-aN:musical e211 x212) (\z True)))) (\y210 Some (\e210 B-aN-bN:play e210 x204 y210) (\z True)))))) (\y203 Some (\e203 B-aN-bN:include e203 v202 y203) (\z True))))) (\a202 ^ (N-b{N-aD}:the (\x301 ^ (Some (\e302 N-aD:word e302 x301) (\z True)) (^ (Some (\e304 N-aD:music e304 x301) (\z True)) (a1 x301))) (\x306 Some (\e306 ^ (B-aN:come e306 x306) (N-b{N-aD}:the (\x308 ^ (Some (\e312 N-aD:μουσική e312 x308) (\z True)) (^ (^ (Some (\e316 N-aD:mousike e316 x308) (\z True)) (Some (\e309 A-aN:greek e309 x308) (\z True))) (Some (\e310 N-aD:word e310 x308) (\z True)))) (\zz312 ^ (Some (\e320 N-rN:which e320 zz312) (\xx320 N-b{N-aD}:the (\x327 Some (\e328 N-aD:muse e328 x327) (\z True)) (\xx326 Some (\x324 Some (\e324 N-aD-bO:art e324 x324 xx326) (\z True)) (\y321 Some (\e321 B-aN-bN:mean e321 xx320 y321) (\z True))))) (Some (\e307 A-aN-bN:from e307 e306 zz312) (\z True))))) (\z True))) (Some (\a328 Equal a328 (\v328 Some (\x301 ^ (Some (\e302 N-aD:word e302 x301) (\z True)) (^ (Some (\e304 N-aD:music e304 x301) (\z True)) (a1 x301))) (\x306 Some (\e306 ^ (B-aN:come e306 x306) (N-b{N-aD}:the (\x308 ^ (Some (\e312 N-aD:μουσική e312 x308) (\z True)) (^ (^ (Some (\e316 N-aD:mousike e316 x308) (\z True)) (Some (\e309 A-aN:greek e309 x308) (\z True))) (Some (\e310 N-aD:word e310 x308) (\z True)))) (\zz312 ^ (Some (\e320 N-rN:which e320 zz312) (\xx320 ^ (Some (\e328 N-aD:muse e328 v328) (\z True)) (Some (\x324 Some (\e324 N-aD-bO:art e324 x324 v328) (\z True)) (\y321 Some (\e321 B-aN-bN:mean e321 xx320 y321) (\z True))))) (Some (\e307 A-aN-bN:from e307 e306 zz312) (\z True))))) (\z True)))) (\a328 ^ (N-b{N-aD}:the (\x404 ^ (Some (\e405 N-aD:muse e405 x404) (\z True)) (a328 x404)) (\x406 Some (\a405 Equal a405 (\v405 Equal v405 x406)) (\a405 ^ (Some (\x410 ^ (Some (\e410 N-aD:music e410 x410) (\z True)) (a202 x410)) (\xx416 N-b{N-aD}:the (\x407 ^ (Some (\e408 N-aD-bO:goddess e408 x407 xx416) (\z True)) (a405 x407)) (\y406 Some (\e406 ^ (B-aN-bN:include e406 x406 y406) (Some (\x403 ^ (Some (\e403 NNEXI-aD:greece e403 x403) (\z True)) (Some (\e402 A-aN:ancient e402 x403) (\z True))) (\y401 Some (\e401 A-aN-bN:in e401 e406 y401) (\z True)))) (\z True)))) (^ (Some (\x412 Some (\e412 N-aD:poetry e412 x412) (\z True)) (\xx416 N-b{N-aD}:the (\x407 ^ (Some (\e408 N-aD-bO:goddess e408 x407 xx416) (\z True)) (a405 x407)) (\y406 Some (\e406 ^ (B-aN-bN:include e406 x406 y406) (Some (\x403 ^ (Some (\e403 NNEXI-aD:greece e403 x403) (\z True)) (Some (\e402 A-aN:ancient e402 x403) (\z True))) (\y401 Some (\e401 A-aN-bN:in e401 e406 y401) (\z True)))) (\z True)))) (^ (Some (\x414 Some (\e414 N-aD:art e414 x414) (\z True)) (\xx416 N-b{N-aD}:the (\x407 ^ (Some (\e408 N-aD-bO:goddess e408 x407 xx416) (\z True)) (a405 x407)) (\y406 Some (\e406 ^ (B-aN-bN:include e406 x406 y406) (Some (\x403 ^ (Some (\e403 NNEXI-aD:greece e403 x403) (\z True)) (Some (\e402 A-aN:ancient e402 x403) (\z True))) (\y401 Some (\e401 A-aN-bN:in e401 e406 y401) (\z True)))) (\z True)))) (Some (\z True) (\x417 Some (\e417 B-aN:dance e417 x417) (\xx416 N-b{N-aD}:the (\x407 ^ (Some (\e408 N-aD-bO:goddess e408 x407 xx416) (\z True)) (a405 x407)) (\y406 Some (\e406 ^ (B-aN-bN:include e406 x406 y406) (Some (\x403 ^ (Some (\e403 NNEXI-aD:greece e403 x403) (\z True)) (Some (\e402 A-aN:ancient e402 x403) (\z True))) (\y401 Some (\e401 A-aN-bN:in e401 e406 y401) (\z True)))) (\z True)))))))))) (Some (\a410 Equal a410 (\v410 Some (\x404 ^ (Some (\e405 N-aD:muse e405 x404) (\z True)) (a328 x404)) (\x406 Some (\a405 Equal a405 (\v405 Equal v405 x406)) (\a405 ^ (^ (^ (Some (\e410 N-aD:music e410 v410) (\z True)) (a202 v410)) (N-b{N-aD}:the (\x407 ^ (Some (\e408 N-aD-bO:goddess e408 x407 v410) (\z True)) (a405 x407)) (\y406 Some (\e406 ^ (B-aN-bN:include e406 x406 y406) (Some (\x403 ^ (Some (\e403 NNEXI-aD:greece e403 x403) (\z True)) (Some (\e402 A-aN:ancient e402 x403) (\z True))) (\y401 Some (\e401 A-aN-bN:in e401 e406 y401) (\z True)))) (\z True)))) (^ (Some (\x412 Some (\e412 N-aD:poetry e412 x412) (\z True)) (\xx416 Some (\x407 ^ (Some (\e408 N-aD-bO:goddess e408 x407 xx416) (\z True)) (a405 x407)) (\y406 Some (\e406 ^ (B-aN-bN:include e406 x406 y406) (Some (\x403 ^ (Some (\e403 NNEXI-aD:greece e403 x403) (\z True)) (Some (\e402 A-aN:ancient e402 x403) (\z True))) (\y401 Some (\e401 A-aN-bN:in e401 e406 y401) (\z True)))) (\z True)))) (^ (Some (\x414 Some (\e414 N-aD:art e414 x414) (\z True)) (\xx416 Some (\x407 ^ (Some (\e408 N-aD-bO:goddess e408 x407 xx416) (\z True)) (a405 x407)) (\y406 Some (\e406 ^ (B-aN-bN:include e406 x406 y406) (Some (\x403 ^ (Some (\e403 NNEXI-aD:greece e403 x403) (\z True)) (Some (\e402 A-aN:ancient e402 x403) (\z True))) (\y401 Some (\e401 A-aN-bN:in e401 e406 y401) (\z True)))) (\z True)))) (Some (\z True) (\x417 Some (\e417 B-aN:dance e417 x417) (\xx416 Some (\x407 ^ (Some (\e408 N-aD-bO:goddess e408 x407 xx416) (\z True)) (a405 x407)) (\y406 Some (\e406 ^ (B-aN-bN:include e406 x406 y406) (Some (\x403 ^ (Some (\e403 NNEXI-aD:greece e403 x403) (\z True)) (Some (\e402 A-aN:ancient e402 x403) (\z True))) (\y401 Some (\e401 A-aN-bN:in e401 e406 y401) (\z True)))) (\z True))))))))))) (\a410 ^ (Gen (\z501 Some (\e501 NNGEN:someone e501 z501) (\z True)) (\zz501 ^ (Some (\e502 N-rN:who e502 zz501) (\xx502 Some (\x504 ^ (Some (\e504 N-aD:music e504 x504) (\z True)) (a410 x504)) (\y503 Some (\e503 B-aN-bN:make e503 xx502 y503) (\z True)))) (Some (\z True) (\x506 Some (\e506 ^ (B-aN-bA:call e506 x506 (Intension (Some (\e508 N-aD:musician e508 zz501) (\z True)))) (BCOPU-aN-b{A-aN}:be e506)) (\z True))))) (Some (\a504 Equal a504 (\v504 Some (\z501 Some (\e501 NNGEN:someone e501 z501) (\z True)) (\zz501 ^ (Some (\e502 N-rN:who e502 zz501) (\xx502 ^ (^ (Some (\e504 N-aD:music e504 v504) (\z True)) (a410 v504)) (Some (\e503 B-aN-bN:make e503 xx502 v504) (\z True)))) (Some (\z True) (\x506 Some (\e506 ^ (B-aN-bA:call e506 x506 (Intension (Some (\e508 N-aD:musician e508 zz501) (\z True)))) (BCOPU-aN-b{A-aN}:be e506)) (\z True)))))) (\a504 Gen (\zz602 Some (\e601 N-iN:what e601 zz602) (\xx601 ^ (Some (\e603 N-aD:music e603 xx601) (\z True)) (^ (BCOPU-aN-b{A-aN}:be xx601) (a504 xx601)))) (\z True)))))))))))))) 9 LOGIC: (^ (Some (\x1 Some (\e1 N-aD:north e1 x1) (\z True)) (\z True)) (Some (\a1 Equal a1 (\v1 Some (\e1 N-aD:north e1 v1) (\z True))) (\a1 ^ (N-b{N-aD}:a (\x110 Some (\e111 N-aD:compass e111 x110) (\z True)) (\xx111 Some (\x101 ^ (Some (\e101 N-aD:north e101 x101) (\z True)) (^ (BCOPU-aN-b{A-aN}:be x101) (a1 x101))) (\x N-aD-b{N-aD}:4 (\x106 Some (\z True) (\x108 ^ (B-aN:direct x106 x108) (^ (Some (\e109 A-aN-bN:on e109 x106 xx111) (\z True)) (Some (\e107 A-aN:main e107 x106) (\z True))))) (\y Equal y x)))) (Some (\a101 Equal a101 (\v101 Some (\x110 Some (\e111 N-aD:compass e111 x110) (\z True)) (\xx111 ^ (^ (Some (\e101 N-aD:north e101 v101) (\z True)) (^ (BCOPU-aN-b{A-aN}:be v101) (a1 v101))) (N-aD-b{N-aD}:4 (\x106 Some (\z True) (\x108 ^ (B-aN:direct x106 x108) (^ (Some (\e109 A-aN-bN:on e109 x106 xx111) (\z True)) (Some (\e107 A-aN:main e107 x106) (\z True))))) (\y Equal y v101))))) (\a101 ^ (N-b{N-aD}:most (\x206 Some (\e207 N-aD:map e207 x206) (\z True)) (\xx207 Gen (\x201 ^ (Some (\e201 NNGEN-aD:north e201 x201) (\z True)) (a101 x201)) (\x204 Some (\e204 ^ (A-aN:up e204 x204) (^ (^ (BCOPU-aN-b{A-aN}:be e204) (Some (\e203 A-aN:usual e203 e204) (\z True))) (Some (\e205 A-aN-bN:on e205 e204 xx207) (\z True)))) (\z True)))) (^ (^ (Some (\x301 Some (\e301 NNEXI-aD:canada e301 x301) (\z True)) (\x303 N-b{N-aD}:the (\x305 ^ (Some (\e307 N-aD:state e307 x305) (\z True)) (Some (\z True) (\x306 Some (\e306 B-aN-bN:unite e306 x306 x305) (\z True)))) (\y303 Some (\e303 ^ (A-aN-bO:north e303 x303 y303) (BCOPU-aN-b{A-aN}:be e303)) (\z True)))) (^ (Some (\x309 Some (\e309 NNEXI-aD:venezuela e309 x309) (\z True)) (\x311 Some (\x313 Some (\e313 NNEXI-aD:brazil e313 x313) (\z True)) (\y311 Some (\e311 ^ (A-aN-bO:north e311 x311 y311) (BCOPU-aN-b{A-aN}:be e311)) (\z True)))) (Some (\x316 Some (\e316 NNEXI-aD:russia e316 x316) (\z True)) (\x318 Some (\x320 Some (\e320 NNEXI-aD:india e320 x320) (\z True)) (\y318 Some (\e318 ^ (A-aN-bO:north e318 x318 y318) (BCOPU-aN-b{A-aN}:be e318)) (\z True)))))) (^ (N-b{N-aD}:the (\x401 ^ (Some (\e403 N-aD:pole e403 x401) (\z True)) (^ (BCOPU-aN-b{A-aN}:be x401) (Some (\e402 ^ (A-aN:north e402 x401) (a101 e402)) (\z True)))) (\x Some (\z True) (\x407 ^ (^ (A-aN:north x x407) (A-aN-b{A-aN}:far x)) (Some (\z408 Some (\e408 N:you e408 z408) (\z True)) (\x410 Some (\e410 ^ (B-aN:go e410 x410) (^ (B-aN-b{B-aN}:can e410) (^ (\u ^ (x e410) (u e410)) (True) (\z True)))) (\z True)))))) (Some (\a402 Equal a402 (\v402 Some (\x401 ^ (Some (\e403 N-aD:pole e403 x401) (\z True)) (^ (BCOPU-aN-b{A-aN}:be x401) (^ (A-aN:north v402 x401) (a101 v402)))) (\x Some (\z True) (\x407 ^ (^ (A-aN:north x x407) (A-aN-b{A-aN}:far x)) (Some (\z408 Some (\e408 N:you e408 z408) (\z True)) (\x410 Some (\e410 ^ (B-aN:go e410 x410) (^ (B-aN-b{B-aN}:can e410) (^ (\u ^ (x e410) (u e410)) (True) (\z True)))) (\z True))))))) (\a402 N-b{N-aD}:the (\x504 Some (\e505 N-aD:world e505 x504) (\z True)) (\xx505 N-b{N-aD}:the (\x501 ^ (Some (\e502 N-aD-bO:north e502 x501 xx505) (\z True)) (a402 x501)) (\zz507 Some (\z True) (\x507 Some (\e507 ^ (B-aN-bI:consider e507 x507 (Intension (^ (^ (BCOPU-aN-b{A-aN}:be zz507) (I-aN-b{B-aN}:to zz507)) (Some (\e511 N-aD:top e511 zz507) (\z True))))) (BCOPU-aN-b{A-aN}:be e507)) (\z True))))))))))))) 10 LOGIC: (^ (Some (\x1 Some (\e1 N-aD:year e1 x1) (\z True)) (\z True)) (Some (\a1 Equal a1 (\v1 Some (\e1 N-aD:year e1 v1) (\z True))) (\a1 ^ (N-aD-b{N-aD}:one (\x101 ^ (Some (\e102 N-aD:year e102 x101) (\z True)) (a1 x101)) (\x107 Some (\e107 ^ (A-aN:long e107 x107) (^ (^ (BCOPU-aN-b{A-aN}:be e107) (N-b{N-aD}:a (\x111 ^ (Some (\e113 N-aD:year e113 x111) (\z True)) (Some (\e112 N-aD:leap e112 x111) (\z True))) (\y110 Some (\e110 ^ (A-aN-bN:in e110 e107 y110) (A-aN-b{A-aN}:except e110)) (\z True)))) (^ (Some (\e106 N-aD:day e106 e107) (\z True)) (Some (\e105 ^ (A-aN:365 e105 e107) (Some (\e104 A-aN:about e104 e105) (\z True))) (\z True))))) (\z True))) (Some (\a113 Equal a113 (\v113 Some (\x101 ^ (Some (\e102 N-aD:year e102 x101) (\z True)) (a1 x101)) (\x107 Some (\e107 ^ (A-aN:long e107 x107) (^ (^ (BCOPU-aN-b{A-aN}:be e107) (^ (^ (Some (\e113 N-aD:year e113 v113) (\z True)) (Some (\e112 N-aD:leap e112 v113) (\z True))) (Some (\e110 ^ (A-aN-bN:in e110 e107 v113) (A-aN-b{A-aN}:except e110)) (\z True)))) (^ (Some (\e106 N-aD:day e106 e107) (\z True)) (Some (\e105 ^ (A-aN:365 e105 e107) (Some (\e104 A-aN:about e104 e105) (\z True))) (\z True))))) (\z True)))) (\a113 Some (\a102 Equal a102 (\v102 ^ (^ (Some (\e102 N-aD:year e102 v102) (\z True)) (a1 v102)) (Some (\e107 ^ (A-aN:long e107 v102) (^ (^ (BCOPU-aN-b{A-aN}:be e107) (N-b{N-aD}:a (\x111 ^ (Some (\e113 N-aD:year e113 x111) (\z True)) (Some (\e112 N-aD:leap e112 x111) (\z True))) (\y110 Some (\e110 ^ (A-aN-bN:in e110 e107 y110) (A-aN-b{A-aN}:except e110)) (\z True)))) (^ (Some (\e106 N-aD:day e106 e107) (\z True)) (Some (\e105 ^ (A-aN:365 e105 e107) (Some (\e104 A-aN:about e104 e105) (\z True))) (\z True))))) (\z True)))) (\a102 ^ (Gen (\z201 ^ (Some (\e201 NNGEN:it e201 z201) (\z True)) (^ (BCOPU-aN-b{A-aN}:be z201) (a102 z201))) (\x ^ (Some (\e204 N-aD:time e204 x) (\z True)) (N-b{N-aD}:the (\x216 Some (\e217 N-aD:sun e217 x216) (\z True)) (\xx217 ^ (N-b{N-aD}:the (\x207 Some (\e208 N-aD:earth e208 x207) (\z True)) (\x210 Some (\e210 ^ (B-aN:go e210 x210) (^ (^ (^ (I-aN-b{B-aN}:to e210) (Some (\e218 A-aN:once e218 e210) (\z True))) (Some (\e212 A-aN-bN:around e212 e210 xx217) (\z True))) (Some (\e211 A-aN:complete e211 e210) (\z True)))) (\e206 B-a{I-aN}-bN-bN:take e206 x))) (N-b{N-aD}:the (\x207 Some (\e208 N-aD:earth e208 x207) (\z True)) (\x214 Some (\e214 ^ (B-aN-bN:orbit e214 x214 xx217) (^ (I-aN-b{B-aN}:to e214) (Some (\e218 A-aN:once e218 e214) (\z True)))) (\e206 B-a{I-aN}-bN-bN:take e206 x))))))) (Some (\a201 Equal a201 (\v201 ^ (^ (Some (\e201 NNGEN:it e201 v201) (\z True)) (^ (BCOPU-aN-b{A-aN}:be v201) (a102 v201))) (^ (Some (\e204 N-aD:time e204 v201) (\z True)) (N-b{N-aD}:the (\x216 Some (\e217 N-aD:sun e217 x216) (\z True)) (\xx217 ^ (N-b{N-aD}:the (\x207 Some (\e208 N-aD:earth e208 x207) (\z True)) (\x210 Some (\e210 ^ (B-aN:go e210 x210) (^ (^ (^ (I-aN-b{B-aN}:to e210) (Some (\e218 A-aN:once e218 e210) (\z True))) (Some (\e212 A-aN-bN:around e212 e210 xx217) (\z True))) (Some (\e211 A-aN:complete e211 e210) (\z True)))) (\e206 B-a{I-aN}-bN-bN:take e206 v201))) (N-b{N-aD}:the (\x207 Some (\e208 N-aD:earth e208 x207) (\z True)) (\x214 Some (\e214 ^ (B-aN-bN:orbit e214 x214 xx217) (^ (I-aN-b{B-aN}:to e214) (Some (\e218 A-aN:once e218 e214) (\z True)))) (\e206 B-a{I-aN}-bN-bN:take e206 v201)))))))) (\a201 ^ (^ (N-b{N-aD}:a (\x301 ^ (Some (\e302 N-aD:year e302 x301) (\z True)) (a201 x301)) (\x307 Some (\e307 ^ (A-aN:long e307 x307) (^ (^ (BCOPU-aN-b{A-aN}:be e307) (Some (\e304 A-aN:actual e304 e307) (\z True))) (^ (Some (\e306 N-aD:day e306 e307) (\z True)) (Some (\e305 A-aN:365¼ e305 e307) (\z True))))) (\z True))) (N-b{N-aD}:a (\x310 Some (\e311 N-aD:calendar e311 x310) (\z True)) (\x312 N-aD-b{N-aD}:365 (\x313 Some (\e314 N-aD:day e314 x313) (\z True)) (\y312 Some (\e312 ^ (B-aN-bN:have e312 x312 y312) (N-b{N-aD}:a (\x318 ^ (Some (\e320 N-aD:year e320 x318) (\z True)) (^ (a113 x318) (Some (\e319 N-aD:leap e319 x318) (\z True)))) (\y317 Some (\e317 ^ (A-aN-bN:in e317 e312 y317) (A-aN-b{A-aN}:except e317)) (\z True)))) (\z True))))) (Some (\a311 Equal a311 (\v311 ^ (Some (\x301 ^ (Some (\e302 N-aD:year e302 x301) (\z True)) (a201 x301)) (\x307 Some (\e307 ^ (A-aN:long e307 x307) (^ (^ (BCOPU-aN-b{A-aN}:be e307) (Some (\e304 A-aN:actual e304 e307) (\z True))) (^ (Some (\e306 N-aD:day e306 e307) (\z True)) (Some (\e305 A-aN:365¼ e305 e307) (\z True))))) (\z True))) (^ (Some (\e311 N-aD:calendar e311 v311) (\z True)) (N-aD-b{N-aD}:365 (\x313 Some (\e314 N-aD:day e314 x313) (\z True)) (\y312 Some (\e312 ^ (B-aN-bN:have e312 v311 y312) (N-b{N-aD}:a (\x318 ^ (Some (\e320 N-aD:year e320 x318) (\z True)) (^ (a113 x318) (Some (\e319 N-aD:leap e319 x318) (\z True)))) (\y317 Some (\e317 ^ (A-aN-bN:in e317 e312 y317) (A-aN-b{A-aN}:except e317)) (\z True)))) (\z True)))))) (\a311 Some (\a302 Equal a302 (\v302 ^ (^ (^ (Some (\e302 N-aD:year e302 v302) (\z True)) (a201 v302)) (Some (\e307 ^ (A-aN:long e307 v302) (^ (^ (BCOPU-aN-b{A-aN}:be e307) (Some (\e304 A-aN:actual e304 e307) (\z True))) (^ (Some (\e306 N-aD:day e306 e307) (\z True)) (Some (\e305 A-aN:365¼ e305 e307) (\z True))))) (\z True))) (Some (\x310 Some (\e311 N-aD:calendar e311 x310) (\z True)) (\x312 Some (\x313 Some (\e314 N-aD:day e314 x313) (\z True)) (\y312 Some (\e312 ^ (B-aN-bN:have e312 x312 y312) (N-b{N-aD}:a (\x318 ^ (Some (\e320 N-aD:year e320 x318) (\z True)) (^ (a113 x318) (Some (\e319 N-aD:leap e319 x318) (\z True)))) (\y317 Some (\e317 ^ (A-aN-bN:in e317 e312 y317) (A-aN-b{A-aN}:except e317)) (\z True)))) (\z True)))))) (\a302 ^ (^ (^ (N-b{N-aD}:the (\x401 ^ (Some (\e402 N-aD:year e402 x401) (\z True)) (a302 x401)) (\x403 Some (\e403 ^ (B-aN:start e403 x403) (^ (N-b{N-aD}:the (\x413 ^ (Some (\e415 N-aD:calendar e415 x413) (\z True)) (^ (a311 x413) (Some (\e414 A-aN:gregorian e414 x413) (\z True)))) (\y412 Some (\e412 A-aN-bN:in e412 e403 y412) (\z True))) (Some (\x406 ^ (Some (\e406 NNEXI-aD:1 e406 x406) (\z True)) (Some (\e405 NNEXI-aD:january e405 x406) (\z True))) (\y404 Some (\e404 A-aN-bN:on e404 e403 y404) (\z True))))) (\z True))) (N-b{N-aD}:the (\x401 ^ (Some (\e402 N-aD:year e402 x401) (\z True)) (a302 x401)) (\x408 Some (\e408 ^ (B-aN:end e408 x408) (^ (N-b{N-aD}:the (\x413 ^ (Some (\e415 N-aD:calendar e415 x413) (\z True)) (^ (a311 x413) (Some (\e414 A-aN:gregorian e414 x413) (\z True)))) (\y412 Some (\e412 A-aN-bN:in e412 e408 y412) (\z True))) (Some (\x411 ^ (Some (\e411 NNEXI-aD:31 e411 x411) (\z True)) (Some (\e410 NNEXI-aD:december e410 x411) (\z True))) (\y409 Some (\e409 A-aN-bN:on e409 e408 y409) (\z True))))) (\z True)))) (Some (\a402 Equal a402 (\v402 ^ (^ (^ (Some (\e402 N-aD:year e402 v402) (\z True)) (a302 v402)) (Some (\e403 ^ (B-aN:start e403 v402) (^ (N-b{N-aD}:the (\x413 ^ (Some (\e415 N-aD:calendar e415 x413) (\z True)) (^ (a311 x413) (Some (\e414 A-aN:gregorian e414 x413) (\z True)))) (\y412 Some (\e412 A-aN-bN:in e412 e403 y412) (\z True))) (Some (\x406 ^ (Some (\e406 NNEXI-aD:1 e406 x406) (\z True)) (Some (\e405 NNEXI-aD:january e405 x406) (\z True))) (\y404 Some (\e404 A-aN-bN:on e404 e403 y404) (\z True))))) (\z True))) (^ (^ (Some (\e402 N-aD:year e402 v402) (\z True)) (a302 v402)) (Some (\e408 ^ (B-aN:end e408 v402) (^ (N-b{N-aD}:the (\x413 ^ (Some (\e415 N-aD:calendar e415 x413) (\z True)) (^ (a311 x413) (Some (\e414 A-aN:gregorian e414 x413) (\z True)))) (\y412 Some (\e412 A-aN-bN:in e412 e408 y412) (\z True))) (Some (\x411 ^ (Some (\e411 NNEXI-aD:31 e411 x411) (\z True)) (Some (\e410 NNEXI-aD:december e410 x411) (\z True))) (\y409 Some (\e409 A-aN-bN:on e409 e408 y409) (\z True))))) (\z True))))) (\a402 ^ (N-b{N-aD}:a (\x418 ^ (Some (\e420 N-aD:year e420 x418) (\z True)) (Some (\e419 A-aN:fiscal e419 x418) (\z True))) (\x426 Some (\e426 ^ (B-aN:start e426 x426) (^ (B-aN-b{B-aN}:can e426) (N-b{N-aD}:the (\x432 ^ (Some (\e433 N-aD:year e433 x432) (\z True)) (a402 x432)) (\xx433 N-b{N-aD}:a (\x428 Some (\e430 N-aD-bO:day e430 x428 xx433) (\z True)) (\y427 Some (\e427 A-aN-bN:on e427 e426 y427) (\z True)))))) (\z True))) (N-b{N-aD}:a (\x422 ^ (Some (\e424 N-aD:year e424 x422) (\z True)) (Some (\e423 N-aD:school e423 x422) (\z True))) (\x426 Some (\e426 ^ (B-aN:start e426 x426) (^ (B-aN-b{B-aN}:can e426) (N-b{N-aD}:the (\x432 ^ (Some (\e433 N-aD:year e433 x432) (\z True)) (a402 x432)) (\xx433 N-b{N-aD}:a (\x428 Some (\e430 N-aD-bO:day e430 x428 xx433) (\z True)) (\y427 Some (\e427 A-aN-bN:on e427 e426 y427) (\z True)))))) (\z True)))))) (^ (N-b{N-aD}:a (\x511 ^ (Some (\e512 N-aD:year e512 x511) (\z True)) (a201 x511)) (\xx512 N-b{N-aD}:the (\x508 Some (\e509 N-aD-bO:length e509 x508 xx512) (\z True)) (\xx509 Some (\x504 ^ (Some (\e504 N-aD:way e504 x504) (\z True)) (^ (Some (\z True) (\x505 Some (\e505 ^ (B-aN-bN:use e505 x505 x504) (Some (\e507 ^ (B-aN-bN:measure e507 e505 xx509) (I-aN-b{B-aN}:to e507)) (\z True))) (\z True))) (Some (\e503 A-aN:several e503 x504) (\z True)))) (\x501 Some (\e501 ^ (A-aN:there e501 x501) (BCOPU-aN-b{A-aN}:be e501)) (\z True))))) (Gen (\x604 ^ (Some (\e604 NNGEN-aD:year e604 x604) (\z True)) (^ (a102 x604) (^ (Some (\e601 A-aN:solar e601 x604) (\z True)) (Some (\e603 A-aN:lunar e603 x604) (\z True))))) (\zz606 Some (\z True) (\x606 Some (\e606 ^ (B-aN-bN:use e606 x606 zz606) (^ (^ (BCOPU-aN-b{A-aN}:be e606) (Some (\z True) (\x612 Some (\e612 ^ (B-aN:live e612 x612) (Some (\e611 A-aN:daily e611 e612) (\z True))) (\y610 Some (\e610 A-aN-bN:in e610 e606 y610) (\z True))))) (Some (\x609 Some (\e609 N-aD:society e609 x609) (\z True)) (\y607 Some (\e607 A-aN-bN:by e607 e606 y607) (\z True))))) (\z True)))))))))))))))) 11 LOGIC: (^ (Some (\x1 Some (\e1 N-aD:south e1 x1) (\z True)) (\z True)) (Some (\a1 Equal a1 (\v1 Some (\e1 N-aD:south e1 v1) (\z True))) (\a1 ^ (N-b{N-aD}:a (\x110 Some (\e111 N-aD:compass e111 x110) (\z True)) (\xx111 Some (\x101 ^ (Some (\e101 N-aD:south e101 x101) (\z True)) (^ (BCOPU-aN-b{A-aN}:be x101) (a1 x101))) (\x N-aD-b{N-aD}:4 (\x106 Some (\z True) (\x108 ^ (B-aN:direct x106 x108) (^ (Some (\e109 A-aN-bN:on e109 x106 xx111) (\z True)) (Some (\e107 A-aN:main e107 x106) (\z True))))) (\y Equal y x)))) (Some (\a101 Equal a101 (\v101 Some (\x110 Some (\e111 N-aD:compass e111 x110) (\z True)) (\xx111 ^ (^ (Some (\e101 N-aD:south e101 v101) (\z True)) (^ (BCOPU-aN-b{A-aN}:be v101) (a1 v101))) (N-aD-b{N-aD}:4 (\x106 Some (\z True) (\x108 ^ (B-aN:direct x106 x108) (^ (Some (\e109 A-aN-bN:on e109 x106 xx111) (\z True)) (Some (\e107 A-aN:main e107 x106) (\z True))))) (\y Equal y v101))))) (\a101 ^ (N-b{N-aD}:most (\x209 Some (\e210 N-aD:map e210 x209) (\z True)) (\xx210 Some (\x201 ^ (Some (\e201 N-aD:south e201 x201) (\z True)) (a101 x201)) (\x205 N-b{N-aD}:the (\x206 Some (\e207 N-aD-bO:bottom e207 x206 xx210) (\z True)) (\y205 Some (\e205 ^ (A-aN-bN:on e205 x205 y205) (^ (^ (BCOPU-aN-b{A-aN}:be e205) (Some (\e203 A-aN:normal e203 e205) (\z True))) (Some (\e204 A-aN:down e204 e205) (\z True)))) (\z True))))) (^ (^ (Some (\x301 Some (\e301 NNEXI-aD:australia e301 x301) (\z True)) (\x303 Some (\x305 Some (\e305 NNEXI-aD:china e305 x305) (\z True)) (\y303 Some (\e303 ^ (A-aN-bO:south e303 x303 y303) (BCOPU-aN-b{A-aN}:be e303)) (\z True)))) (^ (Some (\x307 Some (\e307 NNEXI-aD:spain e307 x307) (\z True)) (\x309 Some (\x311 Some (\e311 NNEXI-aD:france e311 x311) (\z True)) (\y309 Some (\e309 ^ (A-aN-bO:south e309 x309 y309) (BCOPU-aN-b{A-aN}:be e309)) (\z True)))) (Some (\x314 Some (\e314 NNEXI-aD:chile e314 x314) (\z True)) (\x316 Some (\x318 Some (\e318 NNEXI-aD:peru e318 x318) (\z True)) (\y316 Some (\e316 ^ (A-aN-bO:south e316 x316 y316) (BCOPU-aN-b{A-aN}:be e316)) (\z True)))))) (N-b{N-aD}:the (\x401 ^ (Some (\e403 N-aD:pole e403 x401) (\z True)) (^ (BCOPU-aN-b{A-aN}:be x401) (Some (\e402 A-aN:south e402 x401) (\z True)))) (\x Some (\z True) (\x407 ^ (^ (A-aN:south x x407) (A-aN-b{A-aN}:far x)) (Some (\z408 Some (\e408 N:you e408 z408) (\z True)) (\x410 Some (\e410 ^ (B-aN:go e410 x410) (^ (B-aN-b{B-aN}:can e410) (^ (\u ^ (x e410) (u e410)) (True) (\z True)))) (\z True)))))))))))) 12 LOGIC: (^ (Some (\x1 Some (\e1 NNEXI-aD:france e1 x1) (\z True)) (\z True)) (Some (\a1 Equal a1 (\v1 Some (\e1 NNEXI-aD:france e1 v1) (\z True))) (\a1 ^ (Some (\x101 ^ (Some (\e101 NNEXI-aD:france e101 x101) (\z True)) (^ (^ (BCOPU-aN-b{A-aN}:be x101) (a1 x101)) (Some (\a101 Equal a101 (\v101 ^ (BCOPU-aN-b{A-aN}:be v101) (a1 v101))) (\a101 N-b{N-aD}:the (\x106 ^ (Some (\e108 N-aD:republic e108 x106) (\z True)) (^ (^ (a101 x106) (Some (\e105 A-aN:official e105 x106) (\z True))) (Some (\e107 A-aN:french e107 x106) (\z True)))) (\y Equal y x101))))) (\x ^ (Some (\e114 N-aD:country e114 x) (\z True)) (Some (\x117 ^ (Some (\e117 NNEXI-aD:europe e117 x117) (\z True)) (Some (\e116 A-aN:western e116 x117) (\z True))) (\y115 Some (\e115 A-aN-bN:in e115 x y115) (\z True))))) (Some (\a101 Equal a101 (\v101 ^ (^ (Some (\e101 NNEXI-aD:france e101 v101) (\z True)) (^ (^ (BCOPU-aN-b{A-aN}:be v101) (a1 v101)) (Some (\a101 Equal a101 (\v101 ^ (BCOPU-aN-b{A-aN}:be v101) (a1 v101))) (\a101 N-b{N-aD}:the (\x106 ^ (Some (\e108 N-aD:republic e108 x106) (\z True)) (^ (^ (a101 x106) (Some (\e105 A-aN:official e105 x106) (\z True))) (Some (\e107 A-aN:french e107 x106) (\z True)))) (\y Equal y v101))))) (^ (Some (\e114 N-aD:country e114 v101) (\z True)) (Some (\x117 ^ (Some (\e117 NNEXI-aD:europe e117 x117) (\z True)) (Some (\e116 A-aN:western e116 x117) (\z True))) (\y115 Some (\e115 A-aN-bN:in e115 v101 y115) (\z True)))))) (\a101 ^ (Some (\x203 ^ (Some (\z201 ^ (Some (\e201 NNEXI:it e201 z201) (\z True)) (a101 z201)) (\z203 ^ (Some (\e203 NNASSOC-aD:city e203 x203 z203) (\z True)) (Assoc x203 z203))) (^ (BCOPU-aN-b{A-aN}:be x203) (Some (\e202 N-aD:capital e202 x203) (\z True)))) (\x Some (\e205 N-aD:paris e205 x) (\z True))) (Some (\a201 Equal a201 (\v201 Some (\x203 ^ (^ (^ (Some (\e201 NNEXI:it e201 v201) (\z True)) (a101 v201)) (^ (Some (\e203 NNASSOC-aD:city e203 x203 v201) (\z True)) (Assoc x203 v201))) (^ (BCOPU-aN-b{A-aN}:be x203) (Some (\e202 N-aD:capital e202 x203) (\z True)))) (\x Some (\e205 N-aD:paris e205 x) (\z True)))) (\a201 ^ (Some (\z301 ^ (Some (\e301 NNEXI:it e301 z301) (\z True)) (^ (BCOPU-aN-b{A-aN}:be z301) (a201 z301))) (\x N-b{N-aD}:the (\x306 ^ (Some (\e308 N-aD:union e308 x306) (\z True)) (Some (\e307 N-aD:european e307 x306) (\z True))) (\xx308 Some (\e304 N-aD-bO:member e304 x xx308) (\z True)))) (Some (\a301 Equal a301 (\v301 ^ (^ (Some (\e301 NNEXI:it e301 v301) (\z True)) (^ (BCOPU-aN-b{A-aN}:be v301) (a201 v301))) (N-b{N-aD}:the (\x306 ^ (Some (\e308 N-aD:union e308 x306) (\z True)) (Some (\e307 N-aD:european e307 x306) (\z True))) (\xx308 Some (\e304 N-aD-bO:member e304 v301 xx308) (\z True))))) (\a301 ^ (Some (\z401 ^ (Some (\e401 NNEXI:it e401 z401) (\z True)) (a301 z401)) (\zz403 Some (\a401 Equal a401 (\v401 Equal v401 zz403)) (\a401 Some (\z True) (\x403 Some (\e403 ^ (B-aN-bN:know e403 x403 zz403) (^ (BCOPU-aN-b{A-aN}:be e403) (^ (Some (\x406 Some (\z405 ^ (Some (\e405 N:it e405 z405) (\z True))