Context                Previous, Next                Top


60_a_lockdown
<bbold> We formed an isolation bubble with two friends <ebold>

n60_a_lockdown n60_a_lockdown__1_1_1 <bbold> n60_a_lockdown__1_2_1_1 We n60_a_lockdown__1_3_1 formed n60_a_lockdown__1_4_1_1 an n60_a_lockdown__1_4_2_1 isolation n60_a_lockdown__1_4_3_1 bubble n60_a_lockdown__1_5_1_1 with n60_a_lockdown__1_5_2_1_1 two n60_a_lockdown__1_5_2_2_1 friends n60_a_lockdown__1_6_1 <ebold> n60_a_lockdown__1 IP-MAT n60_a_lockdown__1_1 PUNC n60_a_lockdown__1->n60_a_lockdown__1_1 n60_a_lockdown__1_2 NP-SBJ n60_a_lockdown__1->n60_a_lockdown__1_2 n60_a_lockdown__1_3 VBD;_Tn_ n60_a_lockdown__1->n60_a_lockdown__1_3 n60_a_lockdown__1_4 NP-OB1 n60_a_lockdown__1->n60_a_lockdown__1_4 n60_a_lockdown__1_5 PP-NIM n60_a_lockdown__1->n60_a_lockdown__1_5 n60_a_lockdown__1_6 PUNC n60_a_lockdown__1->n60_a_lockdown__1_6 n60_a_lockdown__1_1->n60_a_lockdown__1_1_1 n60_a_lockdown__1_2_1 PRO n60_a_lockdown__1_2->n60_a_lockdown__1_2_1 n60_a_lockdown__1_2_1->n60_a_lockdown__1_2_1_1 n60_a_lockdown__1_3->n60_a_lockdown__1_3_1 n60_a_lockdown__1_4_1 D n60_a_lockdown__1_4->n60_a_lockdown__1_4_1 n60_a_lockdown__1_4_2 N n60_a_lockdown__1_4->n60_a_lockdown__1_4_2 n60_a_lockdown__1_4_3 N n60_a_lockdown__1_4->n60_a_lockdown__1_4_3 n60_a_lockdown__1_4_1->n60_a_lockdown__1_4_1_1 n60_a_lockdown__1_4_2->n60_a_lockdown__1_4_2_1 n60_a_lockdown__1_4_3->n60_a_lockdown__1_4_3_1 n60_a_lockdown__1_5_1 P-ROLE n60_a_lockdown__1_5->n60_a_lockdown__1_5_1 n60_a_lockdown__1_5_2 NP n60_a_lockdown__1_5->n60_a_lockdown__1_5_2 n60_a_lockdown__1_5_1->n60_a_lockdown__1_5_1_1 n60_a_lockdown__1_5_2_1 NUM n60_a_lockdown__1_5_2->n60_a_lockdown__1_5_2_1 n60_a_lockdown__1_5_2_2 NS n60_a_lockdown__1_5_2->n60_a_lockdown__1_5_2_2 n60_a_lockdown__1_5_2_1->n60_a_lockdown__1_5_2_1_1 n60_a_lockdown__1_5_2_2->n60_a_lockdown__1_5_2_2_1 n60_a_lockdown__1_6->n60_a_lockdown__1_6_1 
( (IP-MAT (PUNC <bbold>)
          (NP-SBJ;{PERSON_F+HOUSEMATE} (PRO We;{we}))
          (VBD;_Tn_ formed;{form})
          (NP-OB1 (D an;{an})
                  (N isolation;{isolation})
                  (N bubble;{bubble}))
          (PP-NIM (P-ROLE with;{with})
                  (NP (NUM two;{two})
                      (NS friends;{friend})))
          (PUNC <ebold>))
  (ID 60_a_lockdown;speaker=f))


%3 r_0060_0003__formed formed r_0060_0008__two_r_0060_0009__friends two friends r_0060_0003__formed->r_0060_0008__two_r_0060_0009__friends with [nim] r_0060_0004__an_r_0060_0005__isolation_r_0060_0006__bubble an isolation bubble r_0060_0003__formed->r_0060_0004__an_r_0060_0005__isolation_r_0060_0006__bubble [arg1] r_0060_0002__We We r_0060_0003__formed->r_0060_0002__We [arg0] 
arc(r_0060_0003__formed,r_0060_0002__We,arg0).
arc(r_0060_0003__formed,r_0060_0004__an_r_0060_0005__isolation_r_0060_0006__bubble,arg1).
arc(r_0060_0003__formed,r_0060_0008__two_r_0060_0009__friends,r_0060_0007__with__nim).


%3 r_0060_0003__formed formed r_0060_0002__We We r_0060_0003__formed->r_0060_0002__We [arg0] r_0060_0004__an_r_0060_0005__isolation_r_0060_0006__bubble an isolation bubble r_0060_0003__formed->r_0060_0004__an_r_0060_0005__isolation_r_0060_0006__bubble [arg1] r_0060_0008__two_r_0060_0009__friends two friends r_0060_0003__formed->r_0060_0008__two_r_0060_0009__friends with [nim] 
fof(formula,axiom,
    ? [R_0060_0002__WE,R_0060_0004__AN_R_0060_0005__ISOLATION_R_0060_0006__BUBBLE,R_0060_0008__TWO_R_0060_0009__FRIENDS,R_0060_0003__FORMED] :
      ( r_0060_0002__We(R_0060_0002__WE)
      & r_0060_0004__an_r_0060_0005__isolation_r_0060_0006__bubble(R_0060_0004__AN_R_0060_0005__ISOLATION_R_0060_0006__BUBBLE)
      & r_0060_0008__two_r_0060_0009__friends(R_0060_0008__TWO_R_0060_0009__FRIENDS)
      & r_0060_0003__formed(R_0060_0003__FORMED)
      & has_r_0060_0007__with__nim(R_0060_0003__FORMED,R_0060_0008__TWO_R_0060_0009__FRIENDS)
      & has_arg1(R_0060_0003__FORMED,R_0060_0004__AN_R_0060_0005__ISOLATION_R_0060_0006__BUBBLE)
      & has_arg0(R_0060_0003__FORMED,R_0060_0002__WE) ) ).