Context                Previous, Next                Top


17_a_uksc_judgment
But the circumstances here were, as already explained, quite exceptional.

%3 r_0017_0001__But_r_0017_0005__were But were r_0017_0002__the_r_0017_0003__circumstances the circumstances r_0017_0001__But_r_0017_0005__were->r_0017_0002__the_r_0017_0003__circumstances [arg0] r_0017_0004__here here r_0017_0001__But_r_0017_0005__were->r_0017_0004__here [nim] r_0017_0012__exceptional exceptional r_0017_0001__But_r_0017_0005__were->r_0017_0012__exceptional [prd] z_000_17_a_uksc_judgment_16 r_0017_0001__But_r_0017_0005__were->z_000_17_a_uksc_judgment_16 [nim] r_0017_0011__quite quite r_0017_0012__exceptional->r_0017_0011__quite [qual] r_0017_0009__explained explained r_0017_0009__explained->z_000_17_a_uksc_judgment_16 [arg1] r_0017_0008__already already r_0017_0009__explained->r_0017_0008__already [nim] z_000_17_a_uksc_judgment_22 r_0017_0009__explained->z_000_17_a_uksc_judgment_22 [arg0] z_000_17_a_uksc_judgment_17 z_000_17_a_uksc_judgment_17->r_0017_0009__explained [scope] 
arc(r_0017_0001__But_r_0017_0005__were, r_0017_0002__the_r_0017_0003__circumstances, arg0).
arc(r_0017_0001__But_r_0017_0005__were, r_0017_0004__here, nim9).
arc(r_0017_0001__But_r_0017_0005__were, r_0017_0012__exceptional, prd).
arc(r_0017_0001__But_r_0017_0005__were, z_000_17_a_uksc_judgment_16, nim16).
arc(r_0017_0009__explained, r_0017_0008__already, nim24).
arc(r_0017_0009__explained, z_000_17_a_uksc_judgment_16, arg1).
arc(r_0017_0009__explained, z_000_17_a_uksc_judgment_22, arg0).
arc(r_0017_0012__exceptional, r_0017_0011__quite, qual32).
arc(z_000_17_a_uksc_judgment_17, r_0017_0009__explained, scope).


%3 r_0017_0012__exceptional exceptional r_0017_0011__quite quite r_0017_0012__exceptional->r_0017_0011__quite [qual] z_000_17_a_uksc_judgment_17_r_0017_0009__explained explained z_000_17_a_uksc_judgment_22 z_000_17_a_uksc_judgment_17_r_0017_0009__explained->z_000_17_a_uksc_judgment_22 [arg0] z_000_17_a_uksc_judgment_16 z_000_17_a_uksc_judgment_17_r_0017_0009__explained->z_000_17_a_uksc_judgment_16 [arg1] r_0017_0008__already already z_000_17_a_uksc_judgment_17_r_0017_0009__explained->r_0017_0008__already [nim] r_0017_0001__But_r_0017_0005__were But were r_0017_0001__But_r_0017_0005__were->r_0017_0012__exceptional [prd] r_0017_0001__But_r_0017_0005__were->z_000_17_a_uksc_judgment_16 [nim] r_0017_0004__here here r_0017_0001__But_r_0017_0005__were->r_0017_0004__here [nim] r_0017_0002__the_r_0017_0003__circumstances the circumstances r_0017_0001__But_r_0017_0005__were->r_0017_0002__the_r_0017_0003__circumstances [arg0] 
fof(formula,axiom,
    ? [R_0017_0002__THE_R_0017_0003__CIRCUMSTANCES,R_0017_0004__HERE,R_0017_0011__QUITE,R_0017_0012__EXCEPTIONAL,Z_000_17_A_UKSC_JUDGMENT_16,R_0017_0001__BUT_R_0017_0005__WERE,R_0017_0008__ALREADY,Z_000_17_A_UKSC_JUDGMENT_22,Z_000_17_A_UKSC_JUDGMENT_17_R_0017_0009__EXPLAINED] :
      ( r_0017_0002__the_r_0017_0003__circumstances(R_0017_0002__THE_R_0017_0003__CIRCUMSTANCES)
      & r_0017_0004__here(R_0017_0004__HERE)
      & r_0017_0008__already(R_0017_0008__ALREADY)
      & r_0017_0011__quite(R_0017_0011__QUITE)
      & z_000_17_a_uksc_judgment_16(Z_000_17_A_UKSC_JUDGMENT_16)
      & z_000_17_a_uksc_judgment_22(Z_000_17_A_UKSC_JUDGMENT_22)
      & z_000_17_a_uksc_judgment_17_r_0017_0009__explained(Z_000_17_A_UKSC_JUDGMENT_17_R_0017_0009__EXPLAINED)
      & has_arg0(Z_000_17_A_UKSC_JUDGMENT_17_R_0017_0009__EXPLAINED,Z_000_17_A_UKSC_JUDGMENT_22)
      & has_arg1(Z_000_17_A_UKSC_JUDGMENT_17_R_0017_0009__EXPLAINED,Z_000_17_A_UKSC_JUDGMENT_16)
      & has_nim24(Z_000_17_A_UKSC_JUDGMENT_17_R_0017_0009__EXPLAINED,R_0017_0008__ALREADY)
      & r_0017_0001__But_r_0017_0005__were(R_0017_0001__BUT_R_0017_0005__WERE)
      & has_nim16(R_0017_0001__BUT_R_0017_0005__WERE,Z_000_17_A_UKSC_JUDGMENT_16)
      & has_prd(R_0017_0001__BUT_R_0017_0005__WERE,R_0017_0012__EXCEPTIONAL)
      & r_0017_0012__exceptional(R_0017_0012__EXCEPTIONAL)
      & has_qual32(R_0017_0012__EXCEPTIONAL,R_0017_0011__QUITE)
      & has_nim9(R_0017_0001__BUT_R_0017_0005__WERE,R_0017_0004__HERE)
      & has_arg0(R_0017_0001__BUT_R_0017_0005__WERE,R_0017_0002__THE_R_0017_0003__CIRCUMSTANCES) ) ).


n17_a_uksc_judgment n17_a_uksc_judgment__1_1_1 But n17_a_uksc_judgment__1_2_1_1 the n17_a_uksc_judgment__1_2_2_1 circumstances n17_a_uksc_judgment__1_3_1_1 here n17_a_uksc_judgment__1_4_1 were n17_a_uksc_judgment__1_5_1 , n17_a_uksc_judgment__1_6_1_1_1_1 as n17_a_uksc_judgment__1_6_1_2_1_1 * n17_a_uksc_judgment__1_6_1_2_2_1_1 already n17_a_uksc_judgment__1_6_1_2_3_1 explained n17_a_uksc_judgment__1_7_1 , n17_a_uksc_judgment__1_8_1_1_1 quite n17_a_uksc_judgment__1_8_2_1 exceptional n17_a_uksc_judgment__1_9_1 . n17_a_uksc_judgment__1 IP-MAT n17_a_uksc_judgment__1_1 CONJ;_cl_ n17_a_uksc_judgment__1->n17_a_uksc_judgment__1_1 n17_a_uksc_judgment__1_2 NP-SBJ n17_a_uksc_judgment__1->n17_a_uksc_judgment__1_2 n17_a_uksc_judgment__1_3 ADVP-NIM n17_a_uksc_judgment__1->n17_a_uksc_judgment__1_3 n17_a_uksc_judgment__1_4 BED;_La_ n17_a_uksc_judgment__1->n17_a_uksc_judgment__1_4 n17_a_uksc_judgment__1_5 PUNC n17_a_uksc_judgment__1->n17_a_uksc_judgment__1_5 n17_a_uksc_judgment__1_6 NP-NIM n17_a_uksc_judgment__1->n17_a_uksc_judgment__1_6 n17_a_uksc_judgment__1_7 PUNC n17_a_uksc_judgment__1->n17_a_uksc_judgment__1_7 n17_a_uksc_judgment__1_8 ADJP-PRD n17_a_uksc_judgment__1->n17_a_uksc_judgment__1_8 n17_a_uksc_judgment__1_9 PUNC n17_a_uksc_judgment__1->n17_a_uksc_judgment__1_9 n17_a_uksc_judgment__1_1->n17_a_uksc_judgment__1_1_1 n17_a_uksc_judgment__1_2_1 D n17_a_uksc_judgment__1_2->n17_a_uksc_judgment__1_2_1 n17_a_uksc_judgment__1_2_2 NS n17_a_uksc_judgment__1_2->n17_a_uksc_judgment__1_2_2 n17_a_uksc_judgment__1_2_1->n17_a_uksc_judgment__1_2_1_1 n17_a_uksc_judgment__1_2_2->n17_a_uksc_judgment__1_2_2_1 n17_a_uksc_judgment__1_3_1 ADV n17_a_uksc_judgment__1_3->n17_a_uksc_judgment__1_3_1 n17_a_uksc_judgment__1_3_1->n17_a_uksc_judgment__1_3_1_1 n17_a_uksc_judgment__1_4->n17_a_uksc_judgment__1_4_1 n17_a_uksc_judgment__1_5->n17_a_uksc_judgment__1_5_1 n17_a_uksc_judgment__1_6_1 IP-REL n17_a_uksc_judgment__1_6->n17_a_uksc_judgment__1_6_1 n17_a_uksc_judgment__1_6_1_1 NP-SBJ n17_a_uksc_judgment__1_6_1->n17_a_uksc_judgment__1_6_1_1 n17_a_uksc_judgment__1_6_1_2 IP-PPL-CAT n17_a_uksc_judgment__1_6_1->n17_a_uksc_judgment__1_6_1_2 n17_a_uksc_judgment__1_6_1_1_1 RPRO n17_a_uksc_judgment__1_6_1_1->n17_a_uksc_judgment__1_6_1_1_1 n17_a_uksc_judgment__1_6_1_1_1->n17_a_uksc_judgment__1_6_1_1_1_1 n17_a_uksc_judgment__1_6_1_2_1 NP-LGS n17_a_uksc_judgment__1_6_1_2->n17_a_uksc_judgment__1_6_1_2_1 n17_a_uksc_judgment__1_6_1_2_2 ADVP-NIM n17_a_uksc_judgment__1_6_1_2->n17_a_uksc_judgment__1_6_1_2_2 n17_a_uksc_judgment__1_6_1_2_3 VVN;_Tn_ n17_a_uksc_judgment__1_6_1_2->n17_a_uksc_judgment__1_6_1_2_3 n17_a_uksc_judgment__1_6_1_2_1->n17_a_uksc_judgment__1_6_1_2_1_1 n17_a_uksc_judgment__1_6_1_2_2_1 ADV n17_a_uksc_judgment__1_6_1_2_2->n17_a_uksc_judgment__1_6_1_2_2_1 n17_a_uksc_judgment__1_6_1_2_2_1->n17_a_uksc_judgment__1_6_1_2_2_1_1 n17_a_uksc_judgment__1_6_1_2_3->n17_a_uksc_judgment__1_6_1_2_3_1 n17_a_uksc_judgment__1_7->n17_a_uksc_judgment__1_7_1 n17_a_uksc_judgment__1_8_1 ADVP n17_a_uksc_judgment__1_8->n17_a_uksc_judgment__1_8_1 n17_a_uksc_judgment__1_8_2 ADJ n17_a_uksc_judgment__1_8->n17_a_uksc_judgment__1_8_2 n17_a_uksc_judgment__1_8_1_1 ADV n17_a_uksc_judgment__1_8_1->n17_a_uksc_judgment__1_8_1_1 n17_a_uksc_judgment__1_8_1_1->n17_a_uksc_judgment__1_8_1_1_1 n17_a_uksc_judgment__1_8_2->n17_a_uksc_judgment__1_8_2_1 n17_a_uksc_judgment__1_9->n17_a_uksc_judgment__1_9_1 
( (IP-MAT (CONJ;_cl_ But;{but})
          (NP-SBJ (D the;{the})
                  (NS circumstances;{circumstance}))
          (ADVP-NIM (ADV here;{here}))
          (BED;_La_ were;{be})
          (PUNC ,)
          (NP-NIM (IP-REL (NP-SBJ (RPRO as;{as}))
                          (IP-PPL-CAT (NP-LGS *)
                                      (ADVP-NIM (ADV already;{already}))
                                      (VVN;_Tn_ explained;{explain}))))
          (PUNC ,)
          (ADJP-PRD (ADVP (ADV quite;{quite}))
                    (ADJ exceptional;{exceptional}))
          (PUNC .))
  (ID 17_a_uksc_judgment))