128_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.’
arc(r_0128_0003__is, r_0128_0005__exaggeration, prd).
arc(r_0128_0003__is, r_0128_0006__to_r_0128_0007__say, arg0).
arc(r_0128_0005__exaggeration, r_0128_0004__ludicrous, attrib10).
arc(r_0128_0006__to_r_0128_0007__say, r_0128_0008__that_r_0128_0014__is, arg1).
arc(r_0128_0006__to_r_0128_0007__say, z_000_128_a_lob_a01_4, arg0).
arc(r_0128_0008__that_r_0128_0014__is, r_0128_0009__by_and_large, nim24).
arc(r_0128_0008__that_r_0128_0014__is, r_0128_0010__a_r_0128_0011__2_r_0128_0012__s_r_0128_0013__charge, arg0).
arc(r_0128_0008__that_r_0128_0014__is, r_0128_0015__any, prd).
arc(r_0128_0015__any, r_0128_0016__more, attrib41).
arc(r_0128_0016__more, r_0128_0018__a_r_0128_0019__burden, r_0128_0017__of).
arc(r_0128_0016__more, z_000_128_a_lob_a01_55, r_0128_0020__than).
arc(r_0128_0025__was, r_0128_0021__a_r_0128_0022__1_r_0128_0023__s_r_0128_0024__charge, arg0).
arc(r_0128_0025__was, r_0128_0027__1949, r_0128_0026__in_nim73).
arc(r_0128_0025__was, z_000_128_a_lob_a01_55, prd).
fof(formula,axiom,
? [R_0128_0004__LUDICROUS,R_0128_0005__EXAGGERATION,R_0128_0009__BY_AND_LARGE,R_0128_0010__A_R_0128_0011__2_R_0128_0012__S_R_0128_0013__CHARGE,R_0128_0018__A_R_0128_0019__BURDEN,Z_000_128_A_LOB_A01_55,R_0128_0016__MORE,R_0128_0015__ANY,R_0128_0008__THAT_R_0128_0014__IS,Z_000_128_A_LOB_A01_4,R_0128_0006__TO_R_0128_0007__SAY,R_0128_0003__IS,R_0128_0021__A_R_0128_0022__1_R_0128_0023__S_R_0128_0024__CHARGE,R_0128_0027__1949,R_0128_0025__WAS] :
( r_0128_0004__ludicrous(R_0128_0004__LUDICROUS)
& r_0128_0009__by_and_large(R_0128_0009__BY_AND_LARGE)
& r_0128_0010__a_r_0128_0011__2_r_0128_0012__s_r_0128_0013__charge(R_0128_0010__A_R_0128_0011__2_R_0128_0012__S_R_0128_0013__CHARGE)
& r_0128_0018__a_r_0128_0019__burden(R_0128_0018__A_R_0128_0019__BURDEN)
& r_0128_0021__a_r_0128_0022__1_r_0128_0023__s_r_0128_0024__charge(R_0128_0021__A_R_0128_0022__1_R_0128_0023__S_R_0128_0024__CHARGE)
& r_0128_0027__1949(R_0128_0027__1949)
& z_000_128_a_lob_a01_4(Z_000_128_A_LOB_A01_4)
& z_000_128_a_lob_a01_55(Z_000_128_A_LOB_A01_55)
& r_0128_0025__was(R_0128_0025__WAS)
& has_prd(R_0128_0025__WAS,Z_000_128_A_LOB_A01_55)
& has_r_0128_0026__in_nim73(R_0128_0025__WAS,R_0128_0027__1949)
& has_arg0(R_0128_0025__WAS,R_0128_0021__A_R_0128_0022__1_R_0128_0023__S_R_0128_0024__CHARGE)
& r_0128_0003__is(R_0128_0003__IS)
& has_arg0(R_0128_0003__IS,R_0128_0006__TO_R_0128_0007__SAY)
& r_0128_0006__to_r_0128_0007__say(R_0128_0006__TO_R_0128_0007__SAY)
& has_arg0(R_0128_0006__TO_R_0128_0007__SAY,Z_000_128_A_LOB_A01_4)
& has_arg1(R_0128_0006__TO_R_0128_0007__SAY,R_0128_0008__THAT_R_0128_0014__IS)
& r_0128_0008__that_r_0128_0014__is(R_0128_0008__THAT_R_0128_0014__IS)
& has_prd(R_0128_0008__THAT_R_0128_0014__IS,R_0128_0015__ANY)
& r_0128_0015__any(R_0128_0015__ANY)
& has_attrib41(R_0128_0015__ANY,R_0128_0016__MORE)
& r_0128_0016__more(R_0128_0016__MORE)
& has_r_0128_0020__than(R_0128_0016__MORE,Z_000_128_A_LOB_A01_55)
& has_r_0128_0017__of(R_0128_0016__MORE,R_0128_0018__A_R_0128_0019__BURDEN)
& has_arg0(R_0128_0008__THAT_R_0128_0014__IS,R_0128_0010__A_R_0128_0011__2_R_0128_0012__S_R_0128_0013__CHARGE)
& has_nim24(R_0128_0008__THAT_R_0128_0014__IS,R_0128_0009__BY_AND_LARGE)
& has_prd(R_0128_0003__IS,R_0128_0005__EXAGGERATION)
& r_0128_0005__exaggeration(R_0128_0005__EXAGGERATION)
& has_attrib10(R_0128_0005__EXAGGERATION,R_0128_0004__LUDICROUS) ) ).
( (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 128_a_lob_a01))