( (IP-MAT (NP-SBJ;{PERSON_F+HOUSEMATE+FRIEND_A+FRIEND_B} (PRO We;{we}))
          (VBD;_phr_Vp_ met;{meet[up]})
          (RP up;{up})
          (ADVP-NIM (ADV maybe;{maybe}))
          (NP-NIM (ADVP (ADV about;{about}))
                  (NUM four;{four})
                  (NS times;{time})
                  (PP (P-ROLE in;{in})
                      (NP (N total;{total}))))
          (PUNC .))
  (ID 63_a_lockdown;speaker=f))

arc(r_0063_0002__met_r_0063_0003__up,r_0063_0001__We,arg0).
arc(r_0063_0002__met_r_0063_0003__up,r_0063_0004__maybe,nim).
arc(r_0063_0002__met_r_0063_0003__up,r_0063_0006__four_r_0063_0007__times,nim).
arc(r_0063_0006__four_r_0063_0007__times,r_0063_0005__about,qual).
arc(r_0063_0006__four_r_0063_0007__times,r_0063_0009__total,r_0063_0008__in).

fof(formula,axiom,
    ? [R_0063_0001__WE,R_0063_0004__MAYBE,R_0063_0005__ABOUT,R_0063_0009__TOTAL,R_0063_0006__FOUR_R_0063_0007__TIMES,R_0063_0002__MET_R_0063_0003__UP] :
      ( r_0063_0001__We(R_0063_0001__WE)
      & r_0063_0004__maybe(R_0063_0004__MAYBE)
      & r_0063_0005__about(R_0063_0005__ABOUT)
      & r_0063_0009__total(R_0063_0009__TOTAL)
      & r_0063_0002__met_r_0063_0003__up(R_0063_0002__MET_R_0063_0003__UP)
      & has_nim(R_0063_0002__MET_R_0063_0003__UP,R_0063_0006__FOUR_R_0063_0007__TIMES)
      & r_0063_0006__four_r_0063_0007__times(R_0063_0006__FOUR_R_0063_0007__TIMES)
      & has_r_0063_0008__in(R_0063_0006__FOUR_R_0063_0007__TIMES,R_0063_0009__TOTAL)
      & has_qual(R_0063_0006__FOUR_R_0063_0007__TIMES,R_0063_0005__ABOUT)
      & has_nim(R_0063_0002__MET_R_0063_0003__UP,R_0063_0004__MAYBE)
      & has_arg0(R_0063_0002__MET_R_0063_0003__UP,R_0063_0001__WE) ) ).