52_a_uksc_judgment
We can not speculate, in the absence of further evidence, upon what such reasons might have been.
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_nim17).
arc(r_0052_0004__speculate, r_0052_0017__might, r_0052_0013__upon_clr37).
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, attrib26).
arc(r_0052_0016__reasons, r_0052_0015__such, attrib42).
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_52_2_CAN_SPECULATE,R_52_1_WE,R_52_7_THE_ABSENCE,R_52_11_EVIDENCE,R_52_10_FURTHER,R_52_17_MIGHT_HAVE_BEEN,R_52_16_REASONS,R_52_15_SUCH,R_52_14_WHAT] :
( we(R_52_1_WE)
& further(R_52_10_FURTHER)
& such(R_52_15_SUCH)
& what(R_52_14_WHAT)
& can_speculate(R_52_2_CAN_SPECULATE,R_52_1_WE)
& in_nim17(R_52_2_CAN_SPECULATE,R_52_7_THE_ABSENCE)
& the_absence(R_52_7_THE_ABSENCE)
& of(R_52_7_THE_ABSENCE,R_52_11_EVIDENCE)
& evidence(R_52_11_EVIDENCE)
& attrib26(R_52_11_EVIDENCE,R_52_10_FURTHER)
& upon_clr37(R_52_2_CAN_SPECULATE,R_52_17_MIGHT_HAVE_BEEN)
& might_have_been(R_52_17_MIGHT_HAVE_BEEN,R_52_16_REASONS,R_52_14_WHAT)
& reasons(R_52_16_REASONS)
& attrib42(R_52_16_REASONS,R_52_15_SUCH) ) ).
( (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))