TSPC 4_a_major

4_a_major_case
12. Somewhat strikingly, it remains genuinely unclear whether the Defendant disputes that proposition.

( (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))

arc(r_0004_0003__strikingly,r_0004_0002__Somewhat,qual).
arc(r_0004_0006__remains,r_0004_0003__strikingly,nim).
arc(r_0004_0006__remains,r_0004_0008__unclear,prd).
arc(r_0004_0006__remains,r_0004_0009__whether,arg0).
arc(r_0004_0008__unclear,r_0004_0007__genuinely,qual).
arc(r_0004_0009__whether,r_0004_0012__disputes,keep_scope).
arc(r_0004_0012__disputes,r_0004_0010__the_r_0004_0011__Defendant,arg0).
arc(r_0004_0012__disputes,r_0004_0013__that_r_0004_0014__proposition,arg1).

fof(formula,axiom,
    ? [R_0004_0002__SOMEWHAT,R_0004_0003__STRIKINGLY,R_0004_0007__GENUINELY,R_0004_0008__UNCLEAR,R_0004_0010__THE_R_0004_0011__DEFENDANT,R_0004_0013__THAT_R_0004_0014__PROPOSITION,R_0004_0012__DISPUTES,R_0004_0009__WHETHER,R_0004_0006__REMAINS] :
      ( r_0004_0002__Somewhat(R_0004_0002__SOMEWHAT)
      & r_0004_0007__genuinely(R_0004_0007__GENUINELY)
      & r_0004_0010__the_r_0004_0011__Defendant(R_0004_0010__THE_R_0004_0011__DEFENDANT)
      & r_0004_0013__that_r_0004_0014__proposition(R_0004_0013__THAT_R_0004_0014__PROPOSITION)
      & r_0004_0006__remains(R_0004_0006__REMAINS)
      & has_arg0(R_0004_0006__REMAINS,R_0004_0009__WHETHER)
      & r_0004_0009__whether(R_0004_0009__WHETHER)
      & has_keep_scope(R_0004_0009__WHETHER,R_0004_0012__DISPUTES)
      & r_0004_0012__disputes(R_0004_0012__DISPUTES)
      & has_arg1(R_0004_0012__DISPUTES,R_0004_0013__THAT_R_0004_0014__PROPOSITION)
      & has_arg0(R_0004_0012__DISPUTES,R_0004_0010__THE_R_0004_0011__DEFENDANT)
      & has_prd(R_0004_0006__REMAINS,R_0004_0008__UNCLEAR)
      & r_0004_0008__unclear(R_0004_0008__UNCLEAR)
      & has_qual(R_0004_0008__UNCLEAR,R_0004_0007__GENUINELY)
      & has_nim(R_0004_0006__REMAINS,R_0004_0003__STRIKINGLY)
      & r_0004_0003__strikingly(R_0004_0003__STRIKINGLY)
      & has_qual(R_0004_0003__STRIKINGLY,R_0004_0002__SOMEWHAT) ) ).