( (IP-MAT (NP-SBJ (PRO;_provisional_ It;{it}))
          (BED;_La_ was;{be})
          (ADJP-PRD (ADJ horrifying;{horrifying}))
          (CP-QUE-NSBJ (IP-SUB (ADVP-NIM (WADV when;{when}))
                               (NP-SBJ;{PERSON_D} (PRO I;{I}))
                               (VBD;_Tf_ realised;{realise})
                               (CP-THT-OB1 (IP-SUB (NP-SBJ;{COLLEAGUES} (Q;_nphd_ everyone;{everyone}))
                                                   (MD;_cat_Vi_ could;{can})
                                                   (IP-INF-CAT (VB;_I_ see;{see}))))))
          (PUNC .))
  (ID 46_a_lockdown;speaker=d))

arc(r_0046_0002__was,r_0046_0003__horrifying,prd).
arc(r_0046_0002__was,r_0046_0006__realised,arg0).
arc(r_0046_0006__realised,r_0046_0004__when,nim).
arc(r_0046_0006__realised,r_0046_0005__I,arg0).
arc(r_0046_0006__realised,r_0046_0007__everyone__quant,arg1).
arc(r_0046_0007__everyone__quant,r_0046_0008__could,scope).
arc(r_0046_0007__everyone__quant,z_0046_5007,restriction).
arc(r_0046_0008__could,r_0046_0009__see,scope).
arc(r_0046_0009__see,z_0046_5007,arg0).

fof(formula,axiom,
    ? [R_0046_0003__HORRIFYING,R_0046_0004__WHEN,R_0046_0005__I,R_0046_0006__REALISED,R_0046_0002__WAS] :
      ( r_0046_0003__horrifying(R_0046_0003__HORRIFYING)
      & r_0046_0004__when(R_0046_0004__WHEN)
      & r_0046_0005__I(R_0046_0005__I)
      & r_0046_0002__was(R_0046_0002__WAS)
      & has_arg0(R_0046_0002__WAS,R_0046_0006__REALISED)
      & r_0046_0006__realised(R_0046_0006__REALISED)
      & ! [Z_0046_5007] :
          ( z_0046_5007(Z_0046_5007)
         => ? [R_0046_0008__COULD_R_0046_0009__SEE] :
              ( r_0046_0008__could_r_0046_0009__see(R_0046_0008__COULD_R_0046_0009__SEE)
              & has_arg0(R_0046_0008__COULD_R_0046_0009__SEE,Z_0046_5007) ) )
      & has_arg0(R_0046_0006__REALISED,R_0046_0005__I)
      & has_nim(R_0046_0006__REALISED,R_0046_0004__WHEN)
      & has_prd(R_0046_0002__WAS,R_0046_0003__HORRIFYING) ) ).