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_0017__glasses glasses r_0018_0016__blue blue r_0018_0017__glasses->r_0018_0016__blue [attrib] r_0018_0013__a_r_0018_0014__pair a pair r_0018_0013__a_r_0018_0014__pair->r_0018_0017__glasses of r_0018_0012__got got r_0018_0012__got->r_0018_0013__a_r_0018_0014__pair [arg1] r_0018_0008__she she r_0018_0012__got->r_0018_0008__she [arg0] r_0018_0009__made made r_0018_0009__made->r_0018_0012__got [arg1] 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_0005__the_r_0018_0007__country the country r_0018_0006__other other r_0018_0005__the_r_0018_0007__country->r_0018_0006__other [attrib] r_0018_0003__arrived arrived r_0018_0003__arrived->r_0018_0005__the_r_0018_0007__country in [clr] r_0018_0002__she she r_0018_0003__arrived->r_0018_0002__she [arg0] r_0018_0001__When When r_0018_0001__When->r_0018_0009__made [scope] r_0018_0001__When->r_0018_0003__arrived [restriction] 
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__1_1_1_1 When n18_a_sunglasses_story__1_1_2_1_1_1 she n18_a_sunglasses_story__1_1_2_2_1 arrived n18_a_sunglasses_story__1_1_2_3_1_1 in n18_a_sunglasses_story__1_1_2_3_2_1_1 the n18_a_sunglasses_story__1_1_2_3_2_2_1_1 other n18_a_sunglasses_story__1_1_2_3_2_3_1 country n18_a_sunglasses_story__1_2_1_1 she n18_a_sunglasses_story__1_3_1 made n18_a_sunglasses_story__1_4_1_1 sure n18_a_sunglasses_story__1_5_1_1_1_1 she n18_a_sunglasses_story__1_5_1_2_1 got n18_a_sunglasses_story__1_5_1_3_1_1 a n18_a_sunglasses_story__1_5_1_3_2_1 pair n18_a_sunglasses_story__1_5_1_3_3_1_1 of n18_a_sunglasses_story__1_5_1_3_3_2_1_1_1 blue n18_a_sunglasses_story__1_5_1_3_3_2_2_1 glasses n18_a_sunglasses_story__1_6_1 . n18_a_sunglasses_story__1 IP-MAT n18_a_sunglasses_story__1_1 PP-SCON n18_a_sunglasses_story__1->n18_a_sunglasses_story__1_1 n18_a_sunglasses_story__1_2 NP-SBJ n18_a_sunglasses_story__1->n18_a_sunglasses_story__1_2 n18_a_sunglasses_story__1_3 VBD;_Cf.a_ n18_a_sunglasses_story__1->n18_a_sunglasses_story__1_3 n18_a_sunglasses_story__1_4 ADJP-PRD n18_a_sunglasses_story__1->n18_a_sunglasses_story__1_4 n18_a_sunglasses_story__1_5 CP-THT-OB1 n18_a_sunglasses_story__1->n18_a_sunglasses_story__1_5 n18_a_sunglasses_story__1_6 PUNC n18_a_sunglasses_story__1->n18_a_sunglasses_story__1_6 n18_a_sunglasses_story__1_1_1 P-CONN n18_a_sunglasses_story__1_1->n18_a_sunglasses_story__1_1_1 n18_a_sunglasses_story__1_1_2 IP-ADV n18_a_sunglasses_story__1_1->n18_a_sunglasses_story__1_1_2 n18_a_sunglasses_story__1_1_1->n18_a_sunglasses_story__1_1_1_1 n18_a_sunglasses_story__1_1_2_1 NP-SBJ n18_a_sunglasses_story__1_1_2->n18_a_sunglasses_story__1_1_2_1 n18_a_sunglasses_story__1_1_2_2 VBD;_Ipr_ n18_a_sunglasses_story__1_1_2->n18_a_sunglasses_story__1_1_2_2 n18_a_sunglasses_story__1_1_2_3 PP-CLR n18_a_sunglasses_story__1_1_2->n18_a_sunglasses_story__1_1_2_3 n18_a_sunglasses_story__1_1_2_1_1 PRO n18_a_sunglasses_story__1_1_2_1->n18_a_sunglasses_story__1_1_2_1_1 n18_a_sunglasses_story__1_1_2_1_1->n18_a_sunglasses_story__1_1_2_1_1_1 n18_a_sunglasses_story__1_1_2_2->n18_a_sunglasses_story__1_1_2_2_1 n18_a_sunglasses_story__1_1_2_3_1 P-ROLE n18_a_sunglasses_story__1_1_2_3->n18_a_sunglasses_story__1_1_2_3_1 n18_a_sunglasses_story__1_1_2_3_2 NP n18_a_sunglasses_story__1_1_2_3->n18_a_sunglasses_story__1_1_2_3_2 n18_a_sunglasses_story__1_1_2_3_1->n18_a_sunglasses_story__1_1_2_3_1_1 n18_a_sunglasses_story__1_1_2_3_2_1 D n18_a_sunglasses_story__1_1_2_3_2->n18_a_sunglasses_story__1_1_2_3_2_1 n18_a_sunglasses_story__1_1_2_3_2_2 ADJP n18_a_sunglasses_story__1_1_2_3_2->n18_a_sunglasses_story__1_1_2_3_2_2 n18_a_sunglasses_story__1_1_2_3_2_3 N n18_a_sunglasses_story__1_1_2_3_2->n18_a_sunglasses_story__1_1_2_3_2_3 n18_a_sunglasses_story__1_1_2_3_2_1->n18_a_sunglasses_story__1_1_2_3_2_1_1 n18_a_sunglasses_story__1_1_2_3_2_2_1 ADJ n18_a_sunglasses_story__1_1_2_3_2_2->n18_a_sunglasses_story__1_1_2_3_2_2_1 n18_a_sunglasses_story__1_1_2_3_2_2_1->n18_a_sunglasses_story__1_1_2_3_2_2_1_1 n18_a_sunglasses_story__1_1_2_3_2_3->n18_a_sunglasses_story__1_1_2_3_2_3_1 n18_a_sunglasses_story__1_2_1 PRO n18_a_sunglasses_story__1_2->n18_a_sunglasses_story__1_2_1 n18_a_sunglasses_story__1_2_1->n18_a_sunglasses_story__1_2_1_1 n18_a_sunglasses_story__1_3->n18_a_sunglasses_story__1_3_1 n18_a_sunglasses_story__1_4_1 ADJ n18_a_sunglasses_story__1_4->n18_a_sunglasses_story__1_4_1 n18_a_sunglasses_story__1_4_1->n18_a_sunglasses_story__1_4_1_1 n18_a_sunglasses_story__1_5_1 IP-SUB n18_a_sunglasses_story__1_5->n18_a_sunglasses_story__1_5_1 n18_a_sunglasses_story__1_5_1_1 NP-SBJ n18_a_sunglasses_story__1_5_1->n18_a_sunglasses_story__1_5_1_1 n18_a_sunglasses_story__1_5_1_2 VBD;_Tn_ n18_a_sunglasses_story__1_5_1->n18_a_sunglasses_story__1_5_1_2 n18_a_sunglasses_story__1_5_1_3 NP-OB1 n18_a_sunglasses_story__1_5_1->n18_a_sunglasses_story__1_5_1_3 n18_a_sunglasses_story__1_5_1_1_1 PRO n18_a_sunglasses_story__1_5_1_1->n18_a_sunglasses_story__1_5_1_1_1 n18_a_sunglasses_story__1_5_1_1_1->n18_a_sunglasses_story__1_5_1_1_1_1 n18_a_sunglasses_story__1_5_1_2->n18_a_sunglasses_story__1_5_1_2_1 n18_a_sunglasses_story__1_5_1_3_1 D n18_a_sunglasses_story__1_5_1_3->n18_a_sunglasses_story__1_5_1_3_1 n18_a_sunglasses_story__1_5_1_3_2 N n18_a_sunglasses_story__1_5_1_3->n18_a_sunglasses_story__1_5_1_3_2 n18_a_sunglasses_story__1_5_1_3_3 PP n18_a_sunglasses_story__1_5_1_3->n18_a_sunglasses_story__1_5_1_3_3 n18_a_sunglasses_story__1_5_1_3_1->n18_a_sunglasses_story__1_5_1_3_1_1 n18_a_sunglasses_story__1_5_1_3_2->n18_a_sunglasses_story__1_5_1_3_2_1 n18_a_sunglasses_story__1_5_1_3_3_1 P-ROLE n18_a_sunglasses_story__1_5_1_3_3->n18_a_sunglasses_story__1_5_1_3_3_1 n18_a_sunglasses_story__1_5_1_3_3_2 NP n18_a_sunglasses_story__1_5_1_3_3->n18_a_sunglasses_story__1_5_1_3_3_2 n18_a_sunglasses_story__1_5_1_3_3_1->n18_a_sunglasses_story__1_5_1_3_3_1_1 n18_a_sunglasses_story__1_5_1_3_3_2_1 ADJP n18_a_sunglasses_story__1_5_1_3_3_2->n18_a_sunglasses_story__1_5_1_3_3_2_1 n18_a_sunglasses_story__1_5_1_3_3_2_2 NS n18_a_sunglasses_story__1_5_1_3_3_2->n18_a_sunglasses_story__1_5_1_3_3_2_2 n18_a_sunglasses_story__1_5_1_3_3_2_1_1 ADJ n18_a_sunglasses_story__1_5_1_3_3_2_1->n18_a_sunglasses_story__1_5_1_3_3_2_1_1 n18_a_sunglasses_story__1_5_1_3_3_2_1_1->n18_a_sunglasses_story__1_5_1_3_3_2_1_1_1 n18_a_sunglasses_story__1_5_1_3_3_2_2->n18_a_sunglasses_story__1_5_1_3_3_2_2_1 n18_a_sunglasses_story__1_6->n18_a_sunglasses_story__1_6_1 
( (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))