44_a_lockdown
Literally everyone who was on the conference call would have been able to see the reflection behind his head.
arc(r_0044_0002__everyone_quant, r_0044_0009__would, scope).
arc(r_0044_0002__everyone_quant, z_000_44_a_lockdown_2, restriction).
arc(r_0044_0004__was, r_0044_0006__the_r_0044_0007__conference_r_0044_0008__call, r_0044_0005__on_clr17).
arc(r_0044_0004__was, z_000_44_a_lockdown_2, 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, prd).
arc(r_0044_0011__been, z_000_44_a_lockdown_2, arg0).
arc(r_0044_0012__able, r_0044_0013__to_r_0044_0014__see, emb35).
arc(r_0044_0013__to_r_0044_0014__see, r_0044_0015__the_r_0044_0016__reflection, arg1).
arc(r_0044_0013__to_r_0044_0014__see, z_000_44_a_lockdown_35, 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_000_44_a_lockdown_2, r_0044_0001__Literally, qual3).
fof(formula,axiom,
! [Z_000_44_A_LOCKDOWN_2,R_0044_0006__THE_R_0044_0007__CONFERENCE_R_0044_0008__CALL,R_0044_0001__LITERALLY,R_0044_0004__WAS] :
( ( 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_0004__WAS)
& has_arg0(R_0044_0004__WAS,Z_000_44_A_LOCKDOWN_2)
& z_000_44_a_lockdown_2(Z_000_44_A_LOCKDOWN_2)
& has_qual3(Z_000_44_A_LOCKDOWN_2,R_0044_0001__LITERALLY)
& has_r_0044_0005__on_clr17(R_0044_0004__WAS,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,Z_000_44_A_LOCKDOWN_35,R_0044_0013__TO_R_0044_0014__SEE,R_0044_0012__ABLE,R_0044_0009__WOULD_R_0044_0010__HAVE_R_0044_0011__BEEN] :
( r_0044_0018__his(R_0044_0018__HIS)
& z_000_44_a_lockdown_35(Z_000_44_A_LOCKDOWN_35)
& r_0044_0009__would_r_0044_0010__have_r_0044_0011__been(R_0044_0009__WOULD_R_0044_0010__HAVE_R_0044_0011__BEEN)
& has_arg0(R_0044_0009__WOULD_R_0044_0010__HAVE_R_0044_0011__BEEN,Z_000_44_A_LOCKDOWN_2)
& has_prd(R_0044_0009__WOULD_R_0044_0010__HAVE_R_0044_0011__BEEN,R_0044_0012__ABLE)
& r_0044_0012__able(R_0044_0012__ABLE)
& has_emb35(R_0044_0012__ABLE,R_0044_0013__TO_R_0044_0014__SEE)
& r_0044_0013__to_r_0044_0014__see(R_0044_0013__TO_R_0044_0014__SEE)
& has_arg0(R_0044_0013__TO_R_0044_0014__SEE,Z_000_44_A_LOCKDOWN_35)
& has_arg1(R_0044_0013__TO_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) ) ) ).
( (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))