TSPC 52_a_uksc

52_a_uksc_judgment
We can not speculate, in the absence of further evidence, upon what such reasons might have been.

( (IP-MAT (NP-SBJ (PRO We;{we}))
          (MD;_cat_Vi_ can;{can})
          (NEG not;{not})
          (IP-INF-CAT (VB;_Ipr_ speculate;{speculate[upon]})
                      (PUNC ,)
                      (PP-NIM (P-ROLE in;{in})
                              (NP (D the;{the})
                                  (N absence;{absence})
                                  (PP (P-ROLE of;{of})
                                      (NP (ADJP (ADJ further;{far}))
                                          (N evidence;{evidence})))))
                      (PUNC ,)
                      (PP-CLR (P-ROLE upon;{upon})
                              (CP-QUE (IP-SUB (NP-212 (WPRO what;{what}))
                                              (NP-SBJ (ADJP (ADJ;_such_ such;{such}))
                                                      (NS reasons;{reason}))
                                              (MD;_cat_Vi_ might;{may})
                                              (IP-INF-CAT (HV;_cat_Ve_ have;{have})
                                                          (IP-PPL-CAT (NP-PRD *ICH*-212)
                                                                      (BEN;_Ln_ been;{be})))))))
          (PUNC .))
  (ID 52_a_uksc_judgment))

arc(r_0052_0002__can,r_0052_0004__speculate,scope).
arc(r_0052_0003__not,r_0052_0002__can,keep_scope).
arc(r_0052_0004__speculate,r_0052_0001__We,arg0).
arc(r_0052_0004__speculate,r_0052_0007__the_r_0052_0008__absence,r_0052_0006__in__nim).
arc(r_0052_0004__speculate,r_0052_0017__might,r_0052_0013__upon__clr).
arc(r_0052_0007__the_r_0052_0008__absence,r_0052_0011__evidence,r_0052_0009__of).
arc(r_0052_0011__evidence,r_0052_0010__further,attrib).
arc(r_0052_0016__reasons,r_0052_0015__such,attrib).
arc(r_0052_0017__might,r_0052_0018__have,scope).
arc(r_0052_0018__have,r_0052_0019__been,scope).
arc(r_0052_0019__been,r_0052_0014__what,prd).
arc(r_0052_0019__been,r_0052_0016__reasons,arg0).

fof(formula,axiom,
    ~ ? [R_0052_0001__WE,R_0052_0010__FURTHER,R_0052_0011__EVIDENCE,R_0052_0007__THE_R_0052_0008__ABSENCE,R_0052_0014__WHAT,R_0052_0015__SUCH,R_0052_0016__REASONS,R_0052_0017__MIGHT_R_0052_0018__HAVE_R_0052_0019__BEEN,R_0052_0002__CAN_R_0052_0004__SPECULATE] :
        ( r_0052_0001__We(R_0052_0001__WE)
        & r_0052_0010__further(R_0052_0010__FURTHER)
        & r_0052_0014__what(R_0052_0014__WHAT)
        & r_0052_0015__such(R_0052_0015__SUCH)
        & r_0052_0002__can_r_0052_0004__speculate(R_0052_0002__CAN_R_0052_0004__SPECULATE)
        & has_r_0052_0013__upon__clr(R_0052_0002__CAN_R_0052_0004__SPECULATE,R_0052_0017__MIGHT_R_0052_0018__HAVE_R_0052_0019__BEEN)
        & r_0052_0017__might_r_0052_0018__have_r_0052_0019__been(R_0052_0017__MIGHT_R_0052_0018__HAVE_R_0052_0019__BEEN)
        & has_arg0(R_0052_0017__MIGHT_R_0052_0018__HAVE_R_0052_0019__BEEN,R_0052_0016__REASONS)
        & r_0052_0016__reasons(R_0052_0016__REASONS)
        & has_attrib(R_0052_0016__REASONS,R_0052_0015__SUCH)
        & has_prd(R_0052_0017__MIGHT_R_0052_0018__HAVE_R_0052_0019__BEEN,R_0052_0014__WHAT)
        & has_r_0052_0006__in__nim(R_0052_0002__CAN_R_0052_0004__SPECULATE,R_0052_0007__THE_R_0052_0008__ABSENCE)
        & r_0052_0007__the_r_0052_0008__absence(R_0052_0007__THE_R_0052_0008__ABSENCE)
        & has_r_0052_0009__of(R_0052_0007__THE_R_0052_0008__ABSENCE,R_0052_0011__EVIDENCE)
        & r_0052_0011__evidence(R_0052_0011__EVIDENCE)
        & has_attrib(R_0052_0011__EVIDENCE,R_0052_0010__FURTHER)
        & has_arg0(R_0052_0002__CAN_R_0052_0004__SPECULATE,R_0052_0001__WE) ) ).