Context                Previous, Next                Top


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

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 as n17_a_uksc_judgment__1_6_2_1_1 * n17_a_uksc_judgment__1_6_2_2_1_1 already n17_a_uksc_judgment__1_6_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 IP-CAR 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 NP-SBJ n17_a_uksc_judgment__1_6->n17_a_uksc_judgment__1_6_1 n17_a_uksc_judgment__1_6_2 IP-PPL-CAT n17_a_uksc_judgment__1_6->n17_a_uksc_judgment__1_6_2 n17_a_uksc_judgment__1_6_1_1 RPRO n17_a_uksc_judgment__1_6_1->n17_a_uksc_judgment__1_6_1_1 n17_a_uksc_judgment__1_6_1_1->n17_a_uksc_judgment__1_6_1_1_1 n17_a_uksc_judgment__1_6_2_1 NP-LGS n17_a_uksc_judgment__1_6_2->n17_a_uksc_judgment__1_6_2_1 n17_a_uksc_judgment__1_6_2_2 ADVP-NIM n17_a_uksc_judgment__1_6_2->n17_a_uksc_judgment__1_6_2_2 n17_a_uksc_judgment__1_6_2_3 VVN;_Tn_ n17_a_uksc_judgment__1_6_2->n17_a_uksc_judgment__1_6_2_3 n17_a_uksc_judgment__1_6_2_1->n17_a_uksc_judgment__1_6_2_1_1 n17_a_uksc_judgment__1_6_2_2_1 ADV n17_a_uksc_judgment__1_6_2_2->n17_a_uksc_judgment__1_6_2_2_1 n17_a_uksc_judgment__1_6_2_2_1->n17_a_uksc_judgment__1_6_2_2_1_1 n17_a_uksc_judgment__1_6_2_3->n17_a_uksc_judgment__1_6_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 ,)
          (IP-CAR (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))


%3 z_0017_5009 r_0017_0009__explained explained z_0017_5009->r_0017_0009__explained [scope] z_0017_5011 r_0017_0009__explained->z_0017_5011 [arg1] z_0017_5007___star_ * r_0017_0009__explained->z_0017_5007___star_ [arg0] r_0017_0008__already already r_0017_0009__explained->r_0017_0008__already [nim] r_0017_0012__exceptional exceptional r_0017_0011__quite quite r_0017_0012__exceptional->r_0017_0011__quite [qual] r_0017_0005__were were r_0017_0005__were->r_0017_0012__exceptional [prd] r_0017_0005__were->z_0017_5011 [nim] r_0017_0004__here here r_0017_0005__were->r_0017_0004__here [nim] r_0017_0002__the_r_0017_0003__circumstances the circumstances r_0017_0005__were->r_0017_0002__the_r_0017_0003__circumstances [arg0] 
arc(r_0017_0005__were,r_0017_0002__the_r_0017_0003__circumstances,arg0).
arc(r_0017_0005__were,r_0017_0004__here,nim).
arc(r_0017_0005__were,r_0017_0012__exceptional,prd).
arc(r_0017_0005__were,z_0017_5011,nim).
arc(r_0017_0009__explained,r_0017_0008__already,nim).
arc(r_0017_0009__explained,z_0017_5007___star_,arg0).
arc(r_0017_0009__explained,z_0017_5011,arg1).
arc(r_0017_0012__exceptional,r_0017_0011__quite,qual).
arc(z_0017_5009,r_0017_0009__explained,scope).


%3 r_0017_0005__were were r_0017_0002__the_r_0017_0003__circumstances the circumstances r_0017_0005__were->r_0017_0002__the_r_0017_0003__circumstances [arg0] r_0017_0004__here here r_0017_0005__were->r_0017_0004__here [nim] r_0017_0012__exceptional exceptional r_0017_0005__were->r_0017_0012__exceptional [prd] z_0017_5011 r_0017_0005__were->z_0017_5011 [nim] r_0017_0011__quite quite r_0017_0012__exceptional->r_0017_0011__quite [qual] z_0017_5009_r_0017_0009__explained explained z_0017_5009_r_0017_0009__explained->z_0017_5011 [arg1] r_0017_0008__already already z_0017_5009_r_0017_0009__explained->r_0017_0008__already [nim] z_0017_5007___star_ * z_0017_5009_r_0017_0009__explained->z_0017_5007___star_ [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_0017_5011,R_0017_0005__WERE,R_0017_0008__ALREADY,Z_0017_5007___STAR_,Z_0017_5009_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_0017_5007___star_(Z_0017_5007___STAR_)
      & z_0017_5011(Z_0017_5011)
      & z_0017_5009_r_0017_0009__explained(Z_0017_5009_R_0017_0009__EXPLAINED)
      & has_arg1(Z_0017_5009_R_0017_0009__EXPLAINED,Z_0017_5011)
      & has_arg0(Z_0017_5009_R_0017_0009__EXPLAINED,Z_0017_5007___STAR_)
      & has_nim(Z_0017_5009_R_0017_0009__EXPLAINED,R_0017_0008__ALREADY)
      & r_0017_0005__were(R_0017_0005__WERE)
      & has_nim(R_0017_0005__WERE,Z_0017_5011)
      & has_prd(R_0017_0005__WERE,R_0017_0012__EXCEPTIONAL)
      & r_0017_0012__exceptional(R_0017_0012__EXCEPTIONAL)
      & has_qual(R_0017_0012__EXCEPTIONAL,R_0017_0011__QUITE)
      & has_nim(R_0017_0005__WERE,R_0017_0004__HERE)
      & has_arg0(R_0017_0005__WERE,R_0017_0002__THE_R_0017_0003__CIRCUMSTANCES) ) ).