( (IP-MAT (NP-SBJ;{COLLEAGUES} (ADVP (ADV Literally;{literally}))
                               (Q;_nphd_ everyone;{everyone})
                               (IP-REL (NP-SBJ (RPRO who;{who}))
                                       (BED;_Ipr_ was;{be[on]})
                                       (PP-CLR (P-ROLE on;{on})
                                               (NP (D the;{the})
                                                   (N conference;{conference})
                                                   (N call;{call})))))
          (MD;_cat_Vi_ would;{will})
          (IP-INF-CAT (HV;_cat_Ve_ have;{have})
                      (IP-PPL-CAT (BEN;_La_ been;{be})
                                  (ADJP-PRD (ADJ;_cat_ able;{able})
                                            (IP-INF (TO to;{to})
                                                    (VB;_Tn_ see;{see})
                                                    (NP-OB1 (D the;{the})
                                                            (N reflection;{reflection})
                                                            (PP (P-ROLE behind;{behind})
                                                                (NP (NP-GEN;{HUBBY_OF_D} (PRO;_genm_ his;{his}))
                                                                    (N head;{head}))))))))
          (PUNC .))
  (ID 44_a_lockdown;speaker=d))

arc(r_0044_0002__everyone__quant,r_0044_0009__would,scope).
arc(r_0044_0002__everyone__quant,z_0044_5006,restriction).
arc(r_0044_0004__was_r_0044_0005__on,r_0044_0006__the_r_0044_0007__conference_r_0044_0008__call,arg1).
arc(r_0044_0004__was_r_0044_0005__on,z_0044_5006,arg0).
arc(r_0044_0009__would,r_0044_0010__have,scope).
arc(r_0044_0010__have,r_0044_0011__been,scope).
arc(r_0044_0011__been,r_0044_0012__able,scope).
arc(r_0044_0012__able,r_0044_0014__see,scope).
arc(r_0044_0014__see,r_0044_0015__the_r_0044_0016__reflection,arg1).
arc(r_0044_0014__see,z_0044_5006,arg0).
arc(r_0044_0015__the_r_0044_0016__reflection,r_0044_0019__head,r_0044_0017__behind).
arc(r_0044_0019__head,r_0044_0018__his,gen).
arc(z_0044_5006,r_0044_0001__Literally,qual).

fof(formula,axiom,
    ! [Z_0044_5006,R_0044_0006__THE_R_0044_0007__CONFERENCE_R_0044_0008__CALL,R_0044_0001__LITERALLY,R_0044_0004__WAS_R_0044_0005__ON] :
      ( ( r_0044_0001__Literally(R_0044_0001__LITERALLY)
        & r_0044_0006__the_r_0044_0007__conference_r_0044_0008__call(R_0044_0006__THE_R_0044_0007__CONFERENCE_R_0044_0008__CALL)
        & r_0044_0004__was_r_0044_0005__on(R_0044_0004__WAS_R_0044_0005__ON)
        & has_arg0(R_0044_0004__WAS_R_0044_0005__ON,Z_0044_5006)
        & z_0044_5006(Z_0044_5006)
        & has_qual(Z_0044_5006,R_0044_0001__LITERALLY)
        & has_arg1(R_0044_0004__WAS_R_0044_0005__ON,R_0044_0006__THE_R_0044_0007__CONFERENCE_R_0044_0008__CALL) )
     => ? [R_0044_0018__HIS,R_0044_0019__HEAD,R_0044_0015__THE_R_0044_0016__REFLECTION,R_0044_0009__WOULD_R_0044_0010__HAVE_R_0044_0011__BEEN_R_0044_0012__ABLE_R_0044_0014__SEE] :
          ( r_0044_0018__his(R_0044_0018__HIS)
          & r_0044_0009__would_r_0044_0010__have_r_0044_0011__been_r_0044_0012__able_r_0044_0014__see(R_0044_0009__WOULD_R_0044_0010__HAVE_R_0044_0011__BEEN_R_0044_0012__ABLE_R_0044_0014__SEE)
          & has_arg0(R_0044_0009__WOULD_R_0044_0010__HAVE_R_0044_0011__BEEN_R_0044_0012__ABLE_R_0044_0014__SEE,Z_0044_5006)
          & has_arg1(R_0044_0009__WOULD_R_0044_0010__HAVE_R_0044_0011__BEEN_R_0044_0012__ABLE_R_0044_0014__SEE,R_0044_0015__THE_R_0044_0016__REFLECTION)
          & r_0044_0015__the_r_0044_0016__reflection(R_0044_0015__THE_R_0044_0016__REFLECTION)
          & has_r_0044_0017__behind(R_0044_0015__THE_R_0044_0016__REFLECTION,R_0044_0019__HEAD)
          & r_0044_0019__head(R_0044_0019__HEAD)
          & has_gen(R_0044_0019__HEAD,R_0044_0018__HIS) ) ) ).