4_a_major_case
12. Somewhat strikingly, it remains genuinely unclear whether the Defendant disputes that proposition.
arc(r_0004_0003__strikingly, r_0004_0002__Somewhat, qual6).
arc(r_0004_0006__remains, r_0004_0003__strikingly, nim5).
arc(r_0004_0006__remains, r_0004_0008__unclear, prd).
arc(r_0004_0006__remains, r_0004_0009__whether_r_0004_0012__disputes, arg0).
arc(r_0004_0008__unclear, r_0004_0007__genuinely, qual19).
arc(r_0004_0009__whether_r_0004_0012__disputes, r_0004_0010__the_r_0004_0011__Defendant, arg0).
arc(r_0004_0009__whether_r_0004_0012__disputes, r_0004_0013__that_r_0004_0014__proposition, arg1).
fof(formula,axiom,
? [R_4_6_REMAINS,R_4_9_WHETHER_DISPUTES,R_4_10_THE_DEFENDANT,R_4_13_THAT_PROPOSITION,R_4_3_STRIKINGLY,R_4_2_SOMEWHAT,R_4_8_UNCLEAR,R_4_7_GENUINELY] :
( the_Defendant(R_4_10_THE_DEFENDANT)
& that_proposition(R_4_13_THAT_PROPOSITION)
& somewhat(R_4_2_SOMEWHAT)
& genuinely(R_4_7_GENUINELY)
& remains(R_4_6_REMAINS,R_4_9_WHETHER_DISPUTES,R_4_8_UNCLEAR)
& whether_disputes(R_4_9_WHETHER_DISPUTES,R_4_10_THE_DEFENDANT,R_4_13_THAT_PROPOSITION)
& unclear(R_4_8_UNCLEAR)
& qual19(R_4_8_UNCLEAR,R_4_7_GENUINELY)
& nim5(R_4_6_REMAINS,R_4_3_STRIKINGLY)
& strikingly(R_4_3_STRIKINGLY)
& qual6(R_4_3_STRIKINGLY,R_4_2_SOMEWHAT) ) ).
( (IP-MAT (LST (LS 12<dot>))
(ADVP-NIM (ADVP (ADV Somewhat;{somewhat}))
(ADV strikingly;{strikingly}))
(PUNC ,)
(NP-SBJ (PRO;_provisional_ it;{it}))
(VBP;_La_ remains;{remain})
(ADJP-PRD (ADVP (ADV genuinely;{genuinely}))
(ADJ unclear;{unclear}))
(CP-QUE-NSBJ (IP-SUB (WQ whether;{whether})
(NP-SBJ;{JOHNSON} (D the;{the})
(N Defendant;{defendant}))
(VBP;_Tn_ disputes;{dispute})
(NP-OB1 (D that;{that})
(N proposition;{proposition}))))
(PUNC .))
(ID 4_a_major_case))