Context                Previous, Next                Top


1_a_stories_11_h38
It happened when we were in Switzerland.

%3 r_0001_0002__happened happened r_0001_0001__It It r_0001_0002__happened->r_0001_0001__It [arg0] r_0001_0003__when when r_0001_0003__when->r_0001_0002__happened [scope] r_0001_0005__were were r_0001_0003__when->r_0001_0005__were [restriction] r_0001_0004__we we r_0001_0005__were->r_0001_0004__we [arg0] r_0001_0007__Switzerland Switzerland r_0001_0005__were->r_0001_0007__Switzerland in [clr] 
arc(r_0001_0002__happened, r_0001_0001__It, arg0).
arc(r_0001_0003__when, r_0001_0002__happened, scope).
arc(r_0001_0003__when, r_0001_0005__were, restriction).
arc(r_0001_0005__were, r_0001_0004__we, arg0).
arc(r_0001_0005__were, r_0001_0007__Switzerland, r_0001_0006__in_clr19).


%3 r_0001_0002__happened happened r_0001_0001__It It r_0001_0002__happened->r_0001_0001__It [arg0] r_0001_0003__when when r_0001_0003__when->r_0001_0002__happened [scope] r_0001_0005__were were r_0001_0003__when->r_0001_0005__were [restriction] r_0001_0004__we we r_0001_0005__were->r_0001_0004__we [arg0] r_0001_0007__Switzerland Switzerland r_0001_0005__were->r_0001_0007__Switzerland in [clr] 
fof(formula,axiom,
    ! [R_1_5_WERE,R_1_4_WE,R_1_7_SWITZERLAND] :
      ( ( we(R_1_4_WE)
        & switzerland(R_1_7_SWITZERLAND)
        & were(R_1_5_WERE,R_1_4_WE)
        & in_clr19(R_1_5_WERE,R_1_7_SWITZERLAND) )
     => ? [R_1_2_HAPPENED,R_1_1_IT] :
          ( it(R_1_1_IT)
          & happened(R_1_2_HAPPENED,R_1_1_IT) ) ) ).


n1_a_stories_11_h38 n1_a_stories_11_h38_4 It n1_a_stories_11_h38_6 happened n1_a_stories_11_h38_9 when n1_a_stories_11_h38_13 we n1_a_stories_11_h38_15 were n1_a_stories_11_h38_18 in n1_a_stories_11_h38_21 Switzerland n1_a_stories_11_h38_23 . n1_a_stories_11_h38_1 IP-MAT n1_a_stories_11_h38_2 NP-SBJ n1_a_stories_11_h38_1->n1_a_stories_11_h38_2 n1_a_stories_11_h38_5 VBD;_I_ n1_a_stories_11_h38_1->n1_a_stories_11_h38_5 n1_a_stories_11_h38_7 PP-SCON n1_a_stories_11_h38_1->n1_a_stories_11_h38_7 n1_a_stories_11_h38_22 PUNC n1_a_stories_11_h38_1->n1_a_stories_11_h38_22 n1_a_stories_11_h38_3 PRO n1_a_stories_11_h38_2->n1_a_stories_11_h38_3 n1_a_stories_11_h38_3->n1_a_stories_11_h38_4 n1_a_stories_11_h38_5->n1_a_stories_11_h38_6 n1_a_stories_11_h38_8 P-ROLE n1_a_stories_11_h38_7->n1_a_stories_11_h38_8 n1_a_stories_11_h38_10 IP-ADV n1_a_stories_11_h38_7->n1_a_stories_11_h38_10 n1_a_stories_11_h38_8->n1_a_stories_11_h38_9 n1_a_stories_11_h38_11 NP-SBJ n1_a_stories_11_h38_10->n1_a_stories_11_h38_11 n1_a_stories_11_h38_14 BED;_Ipr_ n1_a_stories_11_h38_10->n1_a_stories_11_h38_14 n1_a_stories_11_h38_16 PP-CLR n1_a_stories_11_h38_10->n1_a_stories_11_h38_16 n1_a_stories_11_h38_12 PRO n1_a_stories_11_h38_11->n1_a_stories_11_h38_12 n1_a_stories_11_h38_12->n1_a_stories_11_h38_13 n1_a_stories_11_h38_14->n1_a_stories_11_h38_15 n1_a_stories_11_h38_17 P-ROLE n1_a_stories_11_h38_16->n1_a_stories_11_h38_17 n1_a_stories_11_h38_19 NP n1_a_stories_11_h38_16->n1_a_stories_11_h38_19 n1_a_stories_11_h38_17->n1_a_stories_11_h38_18 n1_a_stories_11_h38_20 NPR n1_a_stories_11_h38_19->n1_a_stories_11_h38_20 n1_a_stories_11_h38_20->n1_a_stories_11_h38_21 n1_a_stories_11_h38_22->n1_a_stories_11_h38_23 
( (IP-MAT (NP-SBJ (PRO It;{it}))
          (VBD;_I_ happened;{happen})
          (PP-SCON (P-ROLE when;{when})
                   (IP-ADV (NP-SBJ (PRO we;{we}))
                           (BED;_Ipr_ were;{be[in]})
                           (PP-CLR (P-ROLE in;{in})
                                   (NP (NPR Switzerland;{Switzerland})))))
          (PUNC .))
  (ID 1_a_stories_11_h38))