60_a_lockdown
<bbold> We formed an isolation bubble with two friends <ebold>
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_nim19).
fof(formula,axiom,
? [R_60_3_FORMED,R_60_2_WE,R_60_4_AN_ISOLATION_BUBBLE,R_60_8_TWO_FRIENDS] :
( we(R_60_2_WE)
& an_isolation_bubble(R_60_4_AN_ISOLATION_BUBBLE)
& two_friends(R_60_8_TWO_FRIENDS)
& formed(R_60_3_FORMED,R_60_2_WE,R_60_4_AN_ISOLATION_BUBBLE)
& with_nim19(R_60_3_FORMED,R_60_8_TWO_FRIENDS) ) ).
( (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))