130_a_lob_a01
‘It is ludicrous exaggeration to say that by and large a 2 s charge is any more of a burden than a 1 s charge was in 1949.’
( (IP-MAT (PULQ <lquo>)
(NP-SBJ (PRO;_provisional_ It;{it}))
(BEP;_Ln_ is;{be})
(NP-PRD (ADJP (ADJ ludicrous;{ludicrous}))
(N exaggeration;{exaggeration}))
(IP-INF-NSBJ (TO to;{to})
(VB;__ say;{say})
(CP-THT-OB1 (IP-SUB (C that;{that})
(ADVP-NIM (ADV by_and_large;{by_and_large}))
(NP-SBJ (D a;{a})
(NUM 2)
(N s)
(N charge;{charge}))
(BEP;_Ln_ is;{be})
(NP-PRD (D;_nphd_ any;{any})
(ADJP (ADJR more;{more})
(PP (P-ROLE of;{of})
(NP (D a;{a})
(N burden;{burden})))
(PP (P-ROLE than;{than})
(NP (IP-REL (NP-PRD *T*)
(NP-SBJ (D a;{a})
(NUM 1)
(N s)
(N charge;{charge}))
(BED;_Ln_ was;{be})
(PP-NIM (P-ROLE in;{in})
(NP (NPR 1949)))))))))))
(PUNC .)
(PURQ <rquo>))
(ID 130_a_lob_a01))
arc(r_0130_0003__is,r_0130_0005__exaggeration,prd).
arc(r_0130_0003__is,r_0130_0007__say,arg0).
arc(r_0130_0005__exaggeration,r_0130_0004__ludicrous,attrib).
arc(r_0130_0007__say,r_0130_0014__is,arg1).
arc(r_0130_0007__say,z_0130_5001,arg0).
arc(r_0130_0014__is,r_0130_0009__by_and_large,nim).
arc(r_0130_0014__is,r_0130_0010__a_r_0130_0011__2_r_0130_0012__s_r_0130_0013__charge,arg0).
arc(r_0130_0014__is,r_0130_0015__any,prd).
arc(r_0130_0015__any,r_0130_0016__more,attrib).
arc(r_0130_0016__more,r_0130_0018__a_r_0130_0019__burden,r_0130_0017__of).
arc(r_0130_0016__more,z_0130_5011,r_0130_0020__than).
arc(r_0130_0025__was,r_0130_0021__a_r_0130_0022__1_r_0130_0023__s_r_0130_0024__charge,arg0).
arc(r_0130_0025__was,r_0130_0027__1949,r_0130_0026__in__nim).
arc(r_0130_0025__was,z_0130_5011,inv_prd).
fof(formula,axiom,
? [R_0130_0004__LUDICROUS,R_0130_0005__EXAGGERATION,R_0130_0009__BY_AND_LARGE,R_0130_0010__A_R_0130_0011__2_R_0130_0012__S_R_0130_0013__CHARGE,R_0130_0018__A_R_0130_0019__BURDEN,R_0130_0021__A_R_0130_0022__1_R_0130_0023__S_R_0130_0024__CHARGE,R_0130_0027__1949,R_0130_0025__WAS,Z_0130_5011,R_0130_0016__MORE,R_0130_0015__ANY,R_0130_0014__IS,Z_0130_5001,R_0130_0007__SAY,R_0130_0003__IS] :
( r_0130_0004__ludicrous(R_0130_0004__LUDICROUS)
& r_0130_0009__by_and_large(R_0130_0009__BY_AND_LARGE)
& r_0130_0010__a_r_0130_0011__2_r_0130_0012__s_r_0130_0013__charge(R_0130_0010__A_R_0130_0011__2_R_0130_0012__S_R_0130_0013__CHARGE)
& r_0130_0018__a_r_0130_0019__burden(R_0130_0018__A_R_0130_0019__BURDEN)
& r_0130_0021__a_r_0130_0022__1_r_0130_0023__s_r_0130_0024__charge(R_0130_0021__A_R_0130_0022__1_R_0130_0023__S_R_0130_0024__CHARGE)
& r_0130_0027__1949(R_0130_0027__1949)
& z_0130_5001(Z_0130_5001)
& r_0130_0003__is(R_0130_0003__IS)
& has_arg0(R_0130_0003__IS,R_0130_0007__SAY)
& r_0130_0007__say(R_0130_0007__SAY)
& has_arg0(R_0130_0007__SAY,Z_0130_5001)
& has_arg1(R_0130_0007__SAY,R_0130_0014__IS)
& r_0130_0014__is(R_0130_0014__IS)
& has_prd(R_0130_0014__IS,R_0130_0015__ANY)
& r_0130_0015__any(R_0130_0015__ANY)
& has_attrib(R_0130_0015__ANY,R_0130_0016__MORE)
& r_0130_0016__more(R_0130_0016__MORE)
& has_r_0130_0020__than(R_0130_0016__MORE,Z_0130_5011)
& z_0130_5011(Z_0130_5011)
& has_inv_prd(Z_0130_5011,R_0130_0025__WAS)
& r_0130_0025__was(R_0130_0025__WAS)
& has_r_0130_0026__in__nim(R_0130_0025__WAS,R_0130_0027__1949)
& has_arg0(R_0130_0025__WAS,R_0130_0021__A_R_0130_0022__1_R_0130_0023__S_R_0130_0024__CHARGE)
& has_r_0130_0017__of(R_0130_0016__MORE,R_0130_0018__A_R_0130_0019__BURDEN)
& has_arg0(R_0130_0014__IS,R_0130_0010__A_R_0130_0011__2_R_0130_0012__S_R_0130_0013__CHARGE)
& has_nim(R_0130_0014__IS,R_0130_0009__BY_AND_LARGE)
& has_prd(R_0130_0003__IS,R_0130_0005__EXAGGERATION)
& r_0130_0005__exaggeration(R_0130_0005__EXAGGERATION)
& has_attrib(R_0130_0005__EXAGGERATION,R_0130_0004__LUDICROUS) ) ).