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, nim12).
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_000_46_a_lockdown_22, restriction).
arc(r_0046_0008__could, r_0046_0009__see, scope).
arc(r_0046_0009__see, z_000_46_a_lockdown_22, arg0).

fof(formula,axiom,
    ? [R_46_2_WAS,R_46_6_REALISED,R_46_5_I,R_46_4_WHEN,R_46_3_HORRIFYING] :
      ( i(R_46_5_I)
      & when(R_46_4_WHEN)
      & horrifying(R_46_3_HORRIFYING)
      & was(R_46_2_WAS,R_46_6_REALISED,R_46_3_HORRIFYING)
      & ! [Z_46_A_LOCKDOWN_22] :
          ( true
         => ? [R_46_8_COULD_SEE] : could_see(R_46_8_COULD_SEE,Z_46_A_LOCKDOWN_22) )
      & arg1(ARG1)
      & realised(R_46_6_REALISED,R_46_5_I)
      & nim12(R_46_6_REALISED,R_46_4_WHEN) ) ).

( (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))