Context                Previous, Next                Top


18_a_sunglasses_story
When she arrived in the other country she made sure she got a pair of blue glasses.

%3 r_0018_0001__When When r_0018_0003__arrived arrived r_0018_0001__When->r_0018_0003__arrived [restriction] r_0018_0009__made made r_0018_0001__When->r_0018_0009__made [scope] r_0018_0002__she she r_0018_0003__arrived->r_0018_0002__she [arg0] r_0018_0005__the_r_0018_0007__country the country r_0018_0003__arrived->r_0018_0005__the_r_0018_0007__country in [clr] r_0018_0008__she she r_0018_0009__made->r_0018_0008__she [arg0] r_0018_0010__sure sure r_0018_0009__made->r_0018_0010__sure [prd] r_0018_0012__got got r_0018_0009__made->r_0018_0012__got [arg1] r_0018_0006__other other r_0018_0005__the_r_0018_0007__country->r_0018_0006__other [attrib] r_0018_0012__got->r_0018_0008__she [arg0] r_0018_0013__a_r_0018_0014__pair a pair r_0018_0012__got->r_0018_0013__a_r_0018_0014__pair [arg1] r_0018_0017__glasses glasses r_0018_0013__a_r_0018_0014__pair->r_0018_0017__glasses of r_0018_0016__blue blue r_0018_0017__glasses->r_0018_0016__blue [attrib] 
arc(r_0018_0001__When, r_0018_0003__arrived, restriction).
arc(r_0018_0001__When, r_0018_0009__made, scope).
arc(r_0018_0003__arrived, r_0018_0002__she, arg0).
arc(r_0018_0003__arrived, r_0018_0005__the_r_0018_0007__country, r_0018_0004__in_clr14).
arc(r_0018_0005__the_r_0018_0007__country, r_0018_0006__other, attrib17).
arc(r_0018_0009__made, r_0018_0008__she, arg0).
arc(r_0018_0009__made, r_0018_0010__sure, prd).
arc(r_0018_0009__made, r_0018_0012__got, arg1).
arc(r_0018_0012__got, r_0018_0008__she, arg0).
arc(r_0018_0012__got, r_0018_0013__a_r_0018_0014__pair, arg1).
arc(r_0018_0013__a_r_0018_0014__pair, r_0018_0017__glasses, r_0018_0015__of).
arc(r_0018_0017__glasses, r_0018_0016__blue, attrib46).


%3 r_0018_0001__When When r_0018_0003__arrived arrived r_0018_0001__When->r_0018_0003__arrived [restriction] r_0018_0009__made made r_0018_0001__When->r_0018_0009__made [scope] r_0018_0002__she she r_0018_0003__arrived->r_0018_0002__she [arg0] r_0018_0005__the_r_0018_0007__country the country r_0018_0003__arrived->r_0018_0005__the_r_0018_0007__country in [clr] r_0018_0008__she she r_0018_0009__made->r_0018_0008__she [arg0] r_0018_0010__sure sure r_0018_0009__made->r_0018_0010__sure [prd] r_0018_0012__got got r_0018_0009__made->r_0018_0012__got [arg1] r_0018_0006__other other r_0018_0005__the_r_0018_0007__country->r_0018_0006__other [attrib] r_0018_0012__got->r_0018_0008__she [arg0] r_0018_0013__a_r_0018_0014__pair a pair r_0018_0012__got->r_0018_0013__a_r_0018_0014__pair [arg1] r_0018_0017__glasses glasses r_0018_0013__a_r_0018_0014__pair->r_0018_0017__glasses of r_0018_0016__blue blue r_0018_0017__glasses->r_0018_0016__blue [attrib] 
fof(formula,axiom,
    ! [R_18_3_ARRIVED,R_18_2_SHE,R_18_5_THE_COUNTRY,R_18_6_OTHER] :
      ( ( she(R_18_2_SHE)
        & other(R_18_6_OTHER)
        & arrived(R_18_3_ARRIVED,R_18_2_SHE)
        & in_clr14(R_18_3_ARRIVED,R_18_5_THE_COUNTRY)
        & the_country(R_18_5_THE_COUNTRY)
        & attrib17(R_18_5_THE_COUNTRY,R_18_6_OTHER) )
     => ? [R_18_9_MADE,R_18_12_GOT,R_18_8_SHE,R_18_13_A_PAIR,R_18_17_GLASSES,R_18_16_BLUE,R_18_10_SURE] :
          ( she(R_18_8_SHE)
          & blue(R_18_16_BLUE)
          & sure(R_18_10_SURE)
          & made(R_18_9_MADE,R_18_8_SHE,R_18_12_GOT,R_18_10_SURE)
          & got(R_18_12_GOT,R_18_8_SHE,R_18_13_A_PAIR)
          & a_pair(R_18_13_A_PAIR)
          & of(R_18_13_A_PAIR,R_18_17_GLASSES)
          & glasses(R_18_17_GLASSES)
          & attrib46(R_18_17_GLASSES,R_18_16_BLUE) ) ) ).


n18_a_sunglasses_story n18_a_sunglasses_story_4 When n18_a_sunglasses_story_8 she n18_a_sunglasses_story_10 arrived n18_a_sunglasses_story_13 in n18_a_sunglasses_story_16 the n18_a_sunglasses_story_19 other n18_a_sunglasses_story_21 country n18_a_sunglasses_story_24 she n18_a_sunglasses_story_26 made n18_a_sunglasses_story_29 sure n18_a_sunglasses_story_34 she n18_a_sunglasses_story_36 got n18_a_sunglasses_story_39 a n18_a_sunglasses_story_41 pair n18_a_sunglasses_story_44 of n18_a_sunglasses_story_48 blue n18_a_sunglasses_story_50 glasses n18_a_sunglasses_story_52 . n18_a_sunglasses_story_1 IP-MAT n18_a_sunglasses_story_2 PP-SCON n18_a_sunglasses_story_1->n18_a_sunglasses_story_2 n18_a_sunglasses_story_22 NP-SBJ n18_a_sunglasses_story_1->n18_a_sunglasses_story_22 n18_a_sunglasses_story_25 VBD;_Cf.a_ n18_a_sunglasses_story_1->n18_a_sunglasses_story_25 n18_a_sunglasses_story_27 ADJP-PRD n18_a_sunglasses_story_1->n18_a_sunglasses_story_27 n18_a_sunglasses_story_30 CP-THT-OB1 n18_a_sunglasses_story_1->n18_a_sunglasses_story_30 n18_a_sunglasses_story_51 PUNC n18_a_sunglasses_story_1->n18_a_sunglasses_story_51 n18_a_sunglasses_story_3 P-CONN n18_a_sunglasses_story_2->n18_a_sunglasses_story_3 n18_a_sunglasses_story_5 IP-ADV n18_a_sunglasses_story_2->n18_a_sunglasses_story_5 n18_a_sunglasses_story_3->n18_a_sunglasses_story_4 n18_a_sunglasses_story_6 NP-SBJ n18_a_sunglasses_story_5->n18_a_sunglasses_story_6 n18_a_sunglasses_story_9 VBD;_Ipr_ n18_a_sunglasses_story_5->n18_a_sunglasses_story_9 n18_a_sunglasses_story_11 PP-CLR n18_a_sunglasses_story_5->n18_a_sunglasses_story_11 n18_a_sunglasses_story_7 PRO n18_a_sunglasses_story_6->n18_a_sunglasses_story_7 n18_a_sunglasses_story_7->n18_a_sunglasses_story_8 n18_a_sunglasses_story_9->n18_a_sunglasses_story_10 n18_a_sunglasses_story_12 P-ROLE n18_a_sunglasses_story_11->n18_a_sunglasses_story_12 n18_a_sunglasses_story_14 NP n18_a_sunglasses_story_11->n18_a_sunglasses_story_14 n18_a_sunglasses_story_12->n18_a_sunglasses_story_13 n18_a_sunglasses_story_15 D n18_a_sunglasses_story_14->n18_a_sunglasses_story_15 n18_a_sunglasses_story_17 ADJP n18_a_sunglasses_story_14->n18_a_sunglasses_story_17 n18_a_sunglasses_story_20 N n18_a_sunglasses_story_14->n18_a_sunglasses_story_20 n18_a_sunglasses_story_15->n18_a_sunglasses_story_16 n18_a_sunglasses_story_18 ADJ n18_a_sunglasses_story_17->n18_a_sunglasses_story_18 n18_a_sunglasses_story_18->n18_a_sunglasses_story_19 n18_a_sunglasses_story_20->n18_a_sunglasses_story_21 n18_a_sunglasses_story_23 PRO n18_a_sunglasses_story_22->n18_a_sunglasses_story_23 n18_a_sunglasses_story_23->n18_a_sunglasses_story_24 n18_a_sunglasses_story_25->n18_a_sunglasses_story_26 n18_a_sunglasses_story_28 ADJ n18_a_sunglasses_story_27->n18_a_sunglasses_story_28 n18_a_sunglasses_story_28->n18_a_sunglasses_story_29 n18_a_sunglasses_story_31 IP-SUB n18_a_sunglasses_story_30->n18_a_sunglasses_story_31 n18_a_sunglasses_story_32 NP-SBJ n18_a_sunglasses_story_31->n18_a_sunglasses_story_32 n18_a_sunglasses_story_35 VBD;_Tn_ n18_a_sunglasses_story_31->n18_a_sunglasses_story_35 n18_a_sunglasses_story_37 NP-OB1 n18_a_sunglasses_story_31->n18_a_sunglasses_story_37 n18_a_sunglasses_story_33 PRO n18_a_sunglasses_story_32->n18_a_sunglasses_story_33 n18_a_sunglasses_story_33->n18_a_sunglasses_story_34 n18_a_sunglasses_story_35->n18_a_sunglasses_story_36 n18_a_sunglasses_story_38 D n18_a_sunglasses_story_37->n18_a_sunglasses_story_38 n18_a_sunglasses_story_40 N n18_a_sunglasses_story_37->n18_a_sunglasses_story_40 n18_a_sunglasses_story_42 PP n18_a_sunglasses_story_37->n18_a_sunglasses_story_42 n18_a_sunglasses_story_38->n18_a_sunglasses_story_39 n18_a_sunglasses_story_40->n18_a_sunglasses_story_41 n18_a_sunglasses_story_43 P-ROLE n18_a_sunglasses_story_42->n18_a_sunglasses_story_43 n18_a_sunglasses_story_45 NP n18_a_sunglasses_story_42->n18_a_sunglasses_story_45 n18_a_sunglasses_story_43->n18_a_sunglasses_story_44 n18_a_sunglasses_story_46 ADJP n18_a_sunglasses_story_45->n18_a_sunglasses_story_46 n18_a_sunglasses_story_49 NS n18_a_sunglasses_story_45->n18_a_sunglasses_story_49 n18_a_sunglasses_story_47 ADJ n18_a_sunglasses_story_46->n18_a_sunglasses_story_47 n18_a_sunglasses_story_47->n18_a_sunglasses_story_48 n18_a_sunglasses_story_49->n18_a_sunglasses_story_50 n18_a_sunglasses_story_51->n18_a_sunglasses_story_52 
( (IP-MAT (PP-SCON (P-CONN When;{when})
                   (IP-ADV (NP-SBJ;{PERSON} (PRO she;{she}))
                           (VBD;_Ipr_ arrived;{arrive[in]})
                           (PP-CLR (P-ROLE in;{in})
                                   (NP (D the;{the})
                                       (ADJP (ADJ other;{other}))
                                       (N country;{country})))))
          (NP-SBJ;{PERSON} (PRO she;{she}))
          (VBD;_Cf.a_ made;{make})
          (ADJP-PRD (ADJ sure;{sure}))
          (CP-THT-OB1 (IP-SUB (NP-SBJ;{PERSON} (PRO she;{she}))
                              (VBD;_Tn_ got;{get})
                              (NP-OB1 (D a;{a})
                                      (N pair;{pair})
                                      (PP (P-ROLE of;{of})
                                          (NP (ADJP (ADJ blue;{blue}))
                                              (NS glasses;{glass}))))))
          (PUNC .))
  (ID 18_a_sunglasses_story))