Sys2text7

From SIGSEM

Jump to: navigation, search
%%% This file was generated by the following command:
%%% bin/boxer --input working/step/text7.ccg --semantics drs --box --resolve --roles verbnet 

:- multifile     sem/5, id/2.
:- discontiguous sem/5, id/2.
:- dynamic       sem/5, id/2.

id(text7,1).

%%% Modern development of wind-energy technology and applications was well underway by the 1930s , when an estimated 600,000 windmills supplied rural areas with electricity water-pumping services . Once broad-scale electricity distribution spread to farms and country towns , use of wind energy in the United States started to subside , but it picked up again after the U.S. oil shortage in the early 1970s . Over the past 30 years , research and development has fluctuated with federal government interest tax incentives . In the mid-'80s , wind turbines had a typical maximum power rating of 150 kW . In 2006, commercial , utility-scale turbines are commonly rated at over 1 MW and are available in up to 4 MW capacity . 

sem(1,
    [word(1001, 'Modern'), word(1002, development), word(1003, of), word(1004, 'wind-energy'), word(1005, technology), word(1006, and), word(1007, applications), word(1008, was), word(1009, well), word(1010, underway), word(1011, by), word(1012, the), word(1013, '1930s'), word(1014, (',')), word(1015, when), word(1016, an), word(1017, estimated), word(1018, '600,000'), word(1019, windmills), word(1020, supplied), word(1021, rural), word(1022, areas), word(1023, with), word(1024, electricity), word(1025, 'water-pumping'), word(1026, services), word(1027, '.'), word(2001, 'Once'), word(2002, 'broad-scale'), word(2003, electricity), word(2004, distribution), word(2005, spread), word(2006, to), word(2007, farms), word(2008, and), word(2009, country), word(2010, towns), word(2011, (',')), word(2012, use), word(2013, of), word(2014, wind), word(2015, energy), word(2016, in), word(2017, the), word(2018, 'United'), word(2019, 'States'), word(2020, started), word(2021, to), word(2022, subside), word(2023, (',')), word(2024, but), word(2025, it), word(2026, picked), word(2027, up), word(2028, again), word(2029, after), word(2030, the), word(2031, 'U.S.'), word(2032, oil), word(2033, shortage), word(2034, in), word(2035, the), word(2036, early), word(2037, '1970s'), word(2038, '.'), word(3001, 'Over'), word(3002, the), word(3003, past), word(3004, '30'), word(3005, years), word(3006, (',')), word(3007, research), word(3008, and), word(3009, development), word(3010, has), word(3011, fluctuated), word(3012, with), word(3013, federal), word(3014, government), word(3015, interest), word(3016, tax), word(3017, incentives), word(3018, '.'), word(4001, 'In'), word(4002, the), word(4003, 'mid-\'80s'), word(4004, (',')), word(4005, wind), word(4006, turbines), word(4007, had), word(4008, a), word(4009, typical), word(4010, maximum), word(4011, power), word(4012, rating), word(4013, of), word(4014, '150'), word(4015, kW), word(4016, '.'), word(5001, 'In'), word(5002, '2006,'), word(5003, commercial), word(5004, (',')), word(5005, 'utility-scale'), word(5006, turbines), word(5007, are), word(5008, commonly), word(5009, rated), word(5010, at), word(5011, over), word(5012, '1'), word(5013, 'MW'), word(5014, and), word(5015, are), word(5016, available), word(5017, in), word(5018, up), word(5019, to), word(5020, '4'), word(5021, 'MW'), word(5022, capacity), word(5023, '.')],
    [pos(1001, 'NNP'), pos(1002, 'NN'), pos(1003, 'IN'), pos(1004, 'JJ'), pos(1005, 'NN'), pos(1006, 'CC'), pos(1007, 'NNS'), pos(1008, 'VBD'), pos(1009, 'RB'), pos(1010, 'JJ'), pos(1011, 'IN'), pos(1012, 'DT'), pos(1013, 'NNS'), pos(1014, (',')), pos(1015, 'WRB'), pos(1016, 'DT'), pos(1017, 'VBN'), pos(1018, 'CD'), pos(1019, 'NNS'), pos(1020, 'VBD'), pos(1021, 'JJ'), pos(1022, 'NNS'), pos(1023, 'IN'), pos(1024, 'NN'), pos(1025, 'NN'), pos(1026, 'NNS'), pos(1027, '.'), pos(2001, 'RB'), pos(2002, 'JJ'), pos(2003, 'NN'), pos(2004, 'NN'), pos(2005, 'NN'), pos(2006, 'TO'), pos(2007, 'NNS'), pos(2008, 'CC'), pos(2009, 'NN'), pos(2010, 'NNS'), pos(2011, (',')), pos(2012, 'NN'), pos(2013, 'IN'), pos(2014, 'NN'), pos(2015, 'NN'), pos(2016, 'IN'), pos(2017, 'DT'), pos(2018, 'NNP'), pos(2019, 'NNPS'), pos(2020, 'VBD'), pos(2021, 'TO'), pos(2022, 'VB'), pos(2023, (',')), pos(2024, 'CC'), pos(2025, 'PRP'), pos(2026, 'VBD'), pos(2027, 'RP'), pos(2028, 'RB'), pos(2029, 'IN'), pos(2030, 'DT'), pos(2031, 'NNP'), pos(2032, 'NN'), pos(2033, 'NN'), pos(2034, 'IN'), pos(2035, 'DT'), pos(2036, 'JJ'), pos(2037, 'NNS'), pos(2038, '.'), pos(3001, 'IN'), pos(3002, 'DT'), pos(3003, 'JJ'), pos(3004, 'CD'), pos(3005, 'NNS'), pos(3006, (',')), pos(3007, 'NN'), pos(3008, 'CC'), pos(3009, 'NN'), pos(3010, 'VBZ'), pos(3011, 'VBN'), pos(3012, 'IN'), pos(3013, 'JJ'), pos(3014, 'NN'), pos(3015, 'NN'), pos(3016, 'NN'), pos(3017, 'NNS'), pos(3018, '.'), pos(4001, 'IN'), pos(4002, 'DT'), pos(4003, 'NNS'), pos(4004, (',')), pos(4005, 'NN'), pos(4006, 'NNS'), pos(4007, 'VBD'), pos(4008, 'DT'), pos(4009, 'JJ'), pos(4010, 'NN'), pos(4011, 'NN'), pos(4012, 'NN'), pos(4013, 'IN'), pos(4014, 'CD'), pos(4015, 'NNP'), pos(4016, '.'), pos(5001, 'IN'), pos(5002, 'CD'), pos(5003, 'JJ'), pos(5004, (',')), pos(5005, 'JJ'), pos(5006, 'NNS'), pos(5007, 'VBP'), pos(5008, 'RB'), pos(5009, 'VBN'), pos(5010, 'IN'), pos(5011, 'IN'), pos(5012, 'CD'), pos(5013, 'NNP'), pos(5014, 'CC'), pos(5015, 'VBP'), pos(5016, 'JJ'), pos(5017, 'IN'), pos(5018, 'RB'), pos(5019, 'TO'), pos(5020, 'CD'), pos(5021, 'NNP'), pos(5022, 'NN'), pos(5023, '.')],
    [ne(1013, 'I-DAT'), ne(2018, 'I-LOC'), ne(2019, 'I-LOC'), ne(2031, 'I-LOC'), ne(2036, 'I-DAT'), ne(2037, 'I-DAT'), ne(3003, 'I-DAT'), ne(3004, 'I-DAT'), ne(3005, 'I-DAT'), ne(4003, 'I-ORG'), ne(5002, 'I-DAT'), ne(5003, 'I-DAT'), ne(5012, 'I-DAT'), ne(5013, 'I-DAT')],
    smerge(drs([[1001]:A, [1001, 1002]:B, [1012]:C, [1012]:D, [2017]:E, [2025]:F, [2032]:G, [2031]:H, [2030]:I, [2035]:J, [3002]:K, [4002]:L], [[1002]:pred(B, development, n, 0), []:rel(A, B, nn, 0), [1001]:named(A, modern, nam, 0), [1013]:timex(C, date([]: +, [1013]:'193X', []:'XX', []:'XX')), [1013]:timex(D, date([]: +, [1013]:'193X', []:'XX', []:'XX')), [2018, 2019]:named(E, united_states, loc, 0), [2025]:pred(F, neuter, a, 0), [2032]:pred(G, oil, n, 0), [2033]:pred(I, shortage, n, 0), []:rel(G, I, nn, 0), []:rel(H, I, nn, 0), [2031]:named(H, 'u.s.', loc, 0), [2036]:pred(J, early, a, 0), [2037]:timex(J, date([]: +, [2037]:'197X', []:'XX', []:'XX')), [3004]:card(K, 30, ge), [3003]:pred(K, past, a, 0), [3005]:pred(K, year, n, 0), [4003]:pred(L, 'mid-\'80s', n, 0)]), smerge(drs([[1004, 1005]:M, [1010]:N, [1015]:O, [1007]:P, [1010]:Q, [1015]:R], [[1004]:pred(M, 'wind-energy', a, 0), [1005]:pred(M, technology, n, 0), [1003]:rel(B, M, of, 0), [1010]:prop(N, drs([], [[1010]:pred(B, underway, a, 0)])), [1015]:pred(O, proposition, n, 1), [1015]:rel(C, O, when, 0), [1011]:rel(N, C, by, 0), [1015]:prop(O, drs([[1025]:S, [1024]:T, [1016]:U, [1021, 1022]:V, [1024, 1025, 1026]:W, [1020]:X], [[1018]:card(U, 600000, ge), [1025]:pred(S, 'water-pumping', n, 0), [1024]:pred(T, electricity, n, 0), [1017]:pred(U, estimate, a, 0), [1019]:pred(U, windmill, n, 0), [1021]:pred(V, rural, a, 0), [1022]:pred(V, area, n, 0), [1026]:pred(W, service, n, 0), [1020]:pred(X, supply, v, 0), []:pred(X, event, n, 1), []:rel(S, W, nn, 0), []:rel(T, W, nn, 0), [1023]:rel(V, W, with, 0), [1020]:rel(X, U, agent, 0), [1020]:rel(X, V, recipient, 0)])), [1009]:pred(N, well, a, 0), []:pred(N, event, n, 1), [1007]:pred(P, application, n, 0), [1003]:rel(B, P, of, 0), [1010]:prop(Q, drs([], [[1010]:pred(B, underway, a, 0)])), [1015]:pred(R, proposition, n, 1), [1015]:rel(D, R, when, 0), [1011]:rel(Q, D, by, 0), [1015]:prop(R, drs([[1025]:Y, [1024]:Z, [1016]:A1, [1021, 1022]:B1, [1024, 1025, 1026]:C1, [1020]:D1], [[1018]:card(A1, 600000, ge), [1025]:pred(Y, 'water-pumping', n, 0), [1024]:pred(Z, electricity, n, 0), [1017]:pred(A1, estimate, a, 0), [1019]:pred(A1, windmill, n, 0), [1021]:pred(B1, rural, a, 0), [1022]:pred(B1, area, n, 0), [1026]:pred(C1, service, n, 0), [1020]:pred(D1, supply, v, 0), []:pred(D1, event, n, 1), []:rel(Y, C1, nn, 0), []:rel(Z, C1, nn, 0), [1023]:rel(B1, C1, with, 0), [1020]:rel(D1, A1, agent, 0), [1020]:rel(D1, B1, recipient, 0)])), [1009]:pred(Q, well, a, 0), []:pred(Q, event, n, 1)]), smerge(drs([[2014]:E1, [2012]:F1, [2014, 2015]:G1, [2009]:H1, [2004]:I1, [2003]:J1, [2020]:K1, []:L1, [2002, 2003, 2004, 2005]:M1, [2007, 2008, 2009, 2010]:N1], [[2014]:pred(E1, wind, n, 0), [2012]:pred(F1, use, n, 0), [2015]:pred(G1, energy, n, 0), []:rel(E1, G1, nn, 0), [2013]:rel(F1, G1, of, 0), [2009]:pred(H1, country, n, 0), [2004]:pred(I1, distribution, n, 0), [2003]:pred(J1, electricity, n, 0), [2020]:pred(K1, start, v, 0), [2020]:pred(L1, proposition, n, 1), [2002]:pred(M1, 'broad-scale', a, 0), [2005]:pred(M1, spread, n, 0), [2007]:pred(N1, farm, n, 0), [2010]:pred(N1, town, n, 0), []:pred(K1, event, n, 1), []:rel(H1, N1, nn, 0), []:rel(I1, M1, nn, 0), []:rel(J1, M1, nn, 0), [2016]:rel(F1, E, in, 0), [2020]:rel(K1, F1, agent, 0), [2020]:rel(K1, L1, theme, 0), [2006]:rel(M1, N1, to, 0), []:rel(K1, M1, rel, 0), [2020]:prop(L1, drs([[2022]:O1], [[2022]:pred(O1, subside, v, 0), []:pred(O1, event, n, 1), [2022]:rel(O1, F1, patient, 0)]))]), smerge(drs([[2026]:P1], [[2026]:pred(P1, pick, v, 0), [2027]:pred(P1, up, a, 0), [2028]:pred(P1, again, a, 0), [2026]:rel(P1, F, agent, 0), []:pred(P1, event, n, 1), [2034]:rel(I, J, in, 0), [2029]:rel(P1, I, after, 0)]), smerge(drs([[3001]:Q1, []:R1], [[3001]:pred(Q1, over, v, 0), [3001]:pred(R1, proposition, n, 1), []:pred(Q1, event, n, 1), [3001]:rel(Q1, K, agent, 0), [3001]:rel(Q1, R1, theme, 0), [3001]:prop(R1, drs([[3016]:S1, [3015]:T1, [3014]:U1, [3007, 3008, 3009]:V1, [3011]:W1, [3013, 3014, 3015, 3016, 3017]:X1], [[3016]:pred(S1, tax, n, 0), [3015]:pred(T1, interest, n, 0), [3014]:pred(U1, government, n, 0), [3007]:pred(V1, research, n, 0), [3009]:pred(V1, development, n, 0), [3011]:pred(W1, fluctuate, v, 0), [3013]:pred(X1, federal, a, 0), [3017]:pred(X1, incentive, n, 0), []:pred(W1, event, n, 1), []:rel(S1, X1, nn, 0), []:rel(T1, X1, nn, 0), []:rel(U1, X1, nn, 0), [3011]:rel(W1, V1, attribute, 0), [3012]:rel(W1, X1, with, 0)]))]), smerge(drs([[4001]:Y1, []:Z1], [[4001]:pred(Y1, in, v, 0), [4001]:pred(Z1, proposition, n, 1), []:pred(Y1, event, n, 1), [4001]:rel(Y1, L, agent, 0), [4001]:rel(Y1, Z1, theme, 0), [4001]:prop(Z1, drs([[4011]:A2, [4010]:B2, [4005]:C2, [4005, 4006]:D2, [4008]:E2, [4014, 4015]:F2, [4007]:G2], [[4014]:card(F2, 150, ge), [4011]:pred(A2, power, n, 0), [4010]:pred(B2, maximum, n, 0), [4005]:pred(C2, wind, n, 0), [4006]:pred(D2, turbine, n, 0), [4009]:pred(E2, typical, a, 0), [4012]:pred(E2, rating, n, 0), [4007]:pred(G2, have, v, 0), []:pred(G2, event, n, 1), []:rel(A2, E2, nn, 0), []:rel(B2, E2, nn, 0), []:rel(C2, D2, nn, 0), [4013]:rel(E2, F2, of, 0), [4007]:rel(G2, D2, agent, 0), [4007]:rel(G2, E2, patient, 0), [4015]:named(F2, kw, nam, 0)]))]), drs([[5002]:H2, [5003]:I2, [5001]:J2, []:K2], [[5002]:pred(H2, '2006,', n, 0), []:pred(I2, event, n, 1), [5001]:pred(J2, in, v, 0), [5001]:pred(K2, proposition, n, 1), []:pred(J2, event, n, 1), [5001]:rel(J2, H2, agent, 0), [5001]:rel(J2, K2, theme, 0), [5003]:prop(I2, drs([], [[5003]:pred(H2, commercial, a, 0)])), [5001]:prop(K2, drs([[5021]:L2, [5005, 5006]:M2, [5009]:N2, [5011, 5012, 5013]:O2, [5005, 5006]:P2, [5016]:Q2, [5017]:R2, [5018]:S2, [5020, 5021, 5022]:T2], [[5012]:card(O2, 1, ge), [5020]:card(T2, 4, ge), [5005]:pred(M2, 'utility-scale', a, 0), [5006]:pred(M2, turbine, n, 0), [5009]:pred(N2, rate, v, 0), [5011]:pred(O2, over, a, 0), [5008]:pred(N2, commonly, a, 0), []:pred(N2, event, n, 1), [5005]:pred(P2, 'utility-scale', a, 0), [5006]:pred(P2, turbine, n, 0), [5022]:pred(T2, capacity, n, 0), []:pred(Q2, event, n, 1), []:rel(L2, T2, nn, 0), [5009]:rel(N2, M2, theme, 0), [5010]:rel(N2, O2, at, 0), [5019]:rel(S2, T2, to, 0), [5017]:rel(Q2, S2, in, 0), [5021]:named(L2, mw, nam, 0), [5013]:named(O2, mw, nam, 0), [5016]:prop(Q2, drs([], [[5016]:pred(P2, available, a, 0)])), [5018]:prop(S2, drs([], [[5018]:pred(R2, up, a, 0)]))]))]))))))) ).
%%%   _______________________________________    __________________________________    _________________________________________    _______________    __________________________________    ______________________________________   ______________________________________________       
%%%  | x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 |  | x12 x13 x14 x15 x16 x17          |  | x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 |  | x41           |  | x42 x43                          |  | x50 x51                              | | x59 x60 x61 x62                              |      
%%%  |---------------------------------------|  |----------------------------------|  |-----------------------------------------|  |---------------|  |----------------------------------|  |--------------------------------------| |----------------------------------------------|      
%%% (| development(x1)                       |+(| wind-energy(x12)                 |+(| wind(x30)                               |+(| pick(x41)     |+(| over(x42)                        |+(| in(x50)                              |+| 2006,(x59)                                   |))))))
%%%  | nn(x0,x1)                             |  | technology(x12)                  |  | use(x31)                                |  | up(x41)       |  | proposition(x43)                 |  | proposition(x51)                     | | event(x60)                                   |      
%%%  | named(x0,modern,nam)                  |  | of(x1,x12)                       |  | energy(x32)                             |  | again(x41)    |  | event(x42)                       |  | event(x50)                           | | in(x61)                                      |      
%%%  | timex(x2)=+193XXXXX                   |  |       ______________             |  | nn(x30,x32)                             |  | agent(x41,x5) |  | agent(x42,x10)                   |  | agent(x50,x11)                       | | proposition(x62)                             |      
%%%  | timex(x3)=+193XXXXX                   |  |      |              |            |  | of(x31,x32)                             |  | event(x41)    |  | theme(x42,x43)                   |  | theme(x50,x51)                       | | event(x61)                                   |      
%%%  | named(x4,united_states,loc)           |  |  x13:|--------------|            |  | country(x33)                            |  | in(x8,x9)     |  |       _________________________  |  |       _____________________________  | | agent(x61,x59)                               |      
%%%  | neuter(x5)                            |  |      | underway(x1) |            |  | distribution(x34)                       |  | after(x41,x8) |  |      | x44 x45 x46 x47 x48 x49 | |  |      | x52 x53 x54 x55 x56 x57 x58 | | | theme(x61,x62)                               |      
%%%  | oil(x6)                               |  |      |______________|            |  | electricity(x35)                        |  |_______________|  |  x43:|-------------------------| |  |  x51:|-----------------------------| | |       _________________                      |      
%%%  | shortage(x8)                          |  | proposition(x14)                 |  | start(x36)                              |                     |      | tax(x44)                | |  |      | |x57| >= 150                | | |      |                 |                     |      
%%%  | nn(x6,x8)                             |  | when(x2,x14)                     |  | proposition(x37)                        |                     |      | interest(x45)           | |  |      | power(x52)                  | | |  x60:|-----------------|                     |      
%%%  | nn(x7,x8)                             |  | by(x13,x2)                       |  | broad-scale(x38)                        |                     |      | government(x46)         | |  |      | maximum(x53)                | | |      | commercial(x59) |                     |      
%%%  | named(x7,u.s.,loc)                    |  |       _________________________  |  | spread(x38)                             |                     |      | research(x47)           | |  |      | wind(x54)                   | | |      |_________________|                     |      
%%%  | early(x9)                             |  |      | x18 x19 x20 x21 x22 x23 | |  | farm(x39)                               |                     |      | development(x47)        | |  |      | turbine(x55)                | | |       _____________________________________  |      
%%%  | timex(x9)=+197XXXXX                   |  |  x14:|-------------------------| |  | town(x39)                               |                     |      | fluctuate(x48)          | |  |      | typical(x56)                | | |      | x63 x64 x65 x66 x67 x68 x69 x70 x71 | |      
%%%  | |x10| >= 30                           |  |      | |x20| >= 600000         | |  | event(x36)                              |                     |      | federal(x49)            | |  |      | rating(x56)                 | | |  x62:|-------------------------------------| |      
%%%  | past(x10)                             |  |      | water-pumping(x18)      | |  | nn(x33,x39)                             |                     |      | incentive(x49)          | |  |      | have(x58)                   | | |      | |x66| >= 1                          | |      
%%%  | year(x10)                             |  |      | electricity(x19)        | |  | nn(x34,x38)                             |                     |      | event(x48)              | |  |      | event(x58)                  | | |      | |x71| >= 4                          | |      
%%%  | mid-'80s(x11)                         |  |      | estimate(x20)           | |  | nn(x35,x38)                             |                     |      | nn(x44,x49)             | |  |      | nn(x52,x56)                 | | |      | utility-scale(x64)                  | |      
%%%  |_______________________________________|  |      | windmill(x20)           | |  | in(x31,x4)                              |                     |      | nn(x45,x49)             | |  |      | nn(x53,x56)                 | | |      | turbine(x64)                        | |      
%%%                                             |      | rural(x21)              | |  | agent(x36,x31)                          |                     |      | nn(x46,x49)             | |  |      | nn(x54,x55)                 | | |      | rate(x65)                           | |      
%%%                                             |      | area(x21)               | |  | theme(x36,x37)                          |                     |      | attribute(x48,x47)      | |  |      | of(x56,x57)                 | | |      | over(x66)                           | |      
%%%                                             |      | service(x22)            | |  | to(x38,x39)                             |                     |      | with(x48,x49)           | |  |      | agent(x58,x55)              | | |      | commonly(x65)                       | |      
%%%                                             |      | supply(x23)             | |  | rel(x36,x38)                            |                     |      |_________________________| |  |      | patient(x58,x56)            | | |      | event(x65)                          | |      
%%%                                             |      | event(x23)              | |  |       __________________                |                     |__________________________________|  |      | named(x57,kw,nam)           | | |      | utility-scale(x67)                  | |      
%%%                                             |      | nn(x18,x22)             | |  |      | x40              |               |                                                           |      |_____________________________| | |      | turbine(x67)                        | |      
%%%                                             |      | nn(x19,x22)             | |  |  x37:|------------------|               |                                                           |______________________________________| |      | capacity(x71)                       | |      
%%%                                             |      | with(x21,x22)           | |  |      | subside(x40)     |               |                                                                                                    |      | event(x68)                          | |      
%%%                                             |      | agent(x23,x20)          | |  |      | event(x40)       |               |                                                                                                    |      | nn(x63,x71)                         | |      
%%%                                             |      | recipient(x23,x21)      | |  |      | patient(x40,x31) |               |                                                                                                    |      | theme(x65,x64)                      | |      
%%%                                             |      |_________________________| |  |      |__________________|               |                                                                                                    |      | at(x65,x66)                         | |      
%%%                                             | well(x13)                        |  |_________________________________________|                                                                                                    |      | to(x70,x71)                         | |      
%%%                                             | event(x13)                       |                                                                                                                                                 |      | in(x68,x70)                         | |      
%%%                                             | application(x15)                 |                                                                                                                                                 |      | named(x63,mw,nam)                   | |      
%%%                                             | of(x1,x15)                       |                                                                                                                                                 |      | named(x66,mw,nam)                   | |      
%%%                                             |       ______________             |                                                                                                                                                 |      |       ________________              | |      
%%%                                             |      |              |            |                                                                                                                                                 |      |      |                |             | |      
%%%                                             |  x16:|--------------|            |                                                                                                                                                 |      |  x68:|----------------|             | |      
%%%                                             |      | underway(x1) |            |                                                                                                                                                 |      |      | available(x67) |             | |      
%%%                                             |      |______________|            |                                                                                                                                                 |      |      |________________|             | |      
%%%                                             | proposition(x17)                 |                                                                                                                                                 |      |       _________                     | |      
%%%                                             | when(x3,x17)                     |                                                                                                                                                 |      |      |         |                    | |      
%%%                                             | by(x16,x3)                       |                                                                                                                                                 |      |  x70:|---------|                    | |      
%%%                                             |       _________________________  |                                                                                                                                                 |      |      | up(x69) |                    | |      
%%%                                             |      | x24 x25 x26 x27 x28 x29 | |                                                                                                                                                 |      |      |_________|                    | |      
%%%                                             |  x17:|-------------------------| |                                                                                                                                                 |      |_____________________________________| |      
%%%                                             |      | |x26| >= 600000         | |                                                                                                                                                 |______________________________________________|      
%%%                                             |      | water-pumping(x24)      | |                                                                                                                                                                                                       
%%%                                             |      | electricity(x25)        | |                                                                                                                                                                                                       
%%%                                             |      | estimate(x26)           | |                                                                                                                                                                                                       
%%%                                             |      | windmill(x26)           | |                                                                                                                                                                                                       
%%%                                             |      | rural(x27)              | |                                                                                                                                                                                                       
%%%                                             |      | area(x27)               | |                                                                                                                                                                                                       
%%%                                             |      | service(x28)            | |                                                                                                                                                                                                       
%%%                                             |      | supply(x29)             | |                                                                                                                                                                                                       
%%%                                             |      | event(x29)              | |                                                                                                                                                                                                       
%%%                                             |      | nn(x24,x28)             | |                                                                                                                                                                                                       
%%%                                             |      | nn(x25,x28)             | |                                                                                                                                                                                                       
%%%                                             |      | with(x27,x28)           | |                                                                                                                                                                                                       
%%%                                             |      | agent(x29,x26)          | |                                                                                                                                                                                                       
%%%                                             |      | recipient(x29,x27)      | |                                                                                                                                                                                                       
%%%                                             |      |_________________________| |                                                                                                                                                                                                       
%%%                                             | well(x16)                        |                                                                                                                                                                                                       
%%%                                             | event(x16)                       |                                                                                                                                                                                                       
%%%                                             |__________________________________|                                                                                                                                                                                                       
Attempted: 5. Completed: 5 (100.00%).
Personal tools