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_17_1_BUT_WERE,R_17_2_THE_CIRCUMSTANCES,R_17_4_HERE,R_17_12_EXCEPTIONAL,R_17_11_QUITE,Z_17_A_UKSC_JUDGMENT_17_EXPLAINED,Z_17_A_UKSC_JUDGMENT_22,Z_17_A_UKSC_JUDGMENT_16,R_17_8_ALREADY] :
      ( the_circumstances(R_17_2_THE_CIRCUMSTANCES)
      & here(R_17_4_HERE)
      & quite(R_17_11_QUITE)
      & already(R_17_8_ALREADY)
      & but_were(R_17_1_BUT_WERE,R_17_2_THE_CIRCUMSTANCES,R_17_12_EXCEPTIONAL)
      & exceptional(R_17_12_EXCEPTIONAL)
      & qual32(R_17_12_EXCEPTIONAL,R_17_11_QUITE)
      & nim16(R_17_1_BUT_WERE,Z_17_A_UKSC_JUDGMENT_16)
      & nim9(R_17_1_BUT_WERE,R_17_4_HERE)
      & z_17_a_uksc_judgment_17_explained(Z_17_A_UKSC_JUDGMENT_17_EXPLAINED,Z_17_A_UKSC_JUDGMENT_22,Z_17_A_UKSC_JUDGMENT_16)
      & nim24(Z_17_A_UKSC_JUDGMENT_17_EXPLAINED,R_17_8_ALREADY) ) ).


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