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,
! [R_44_4_WAS,Z_44_A_LOCKDOWN_2,R_44_1_LITERALLY,R_44_6_THE_CONFERENCE_CALL] :
( ( literally(R_44_1_LITERALLY)
& the_conference_call(R_44_6_THE_CONFERENCE_CALL)
& was(R_44_4_WAS,Z_44_A_LOCKDOWN_2)
& z_44_a_lockdown_2(Z_44_A_LOCKDOWN_2)
& qual3(Z_44_A_LOCKDOWN_2,R_44_1_LITERALLY)
& on_clr17(R_44_4_WAS,R_44_6_THE_CONFERENCE_CALL) )
=> ? [R_44_9_WOULD_HAVE_BEEN,R_44_12_ABLE,R_44_13_TO_SEE,Z_44_A_LOCKDOWN_35,R_44_15_THE_REFLECTION,R_44_19_HEAD,R_44_18_HIS] :
( his(R_44_18_HIS)
& would_have_been(R_44_9_WOULD_HAVE_BEEN,Z_44_A_LOCKDOWN_2,R_44_12_ABLE)
& able(R_44_12_ABLE)
& emb35(R_44_12_ABLE,R_44_13_TO_SEE)
& to_see(R_44_13_TO_SEE,Z_44_A_LOCKDOWN_35,R_44_15_THE_REFLECTION)
& the_reflection(R_44_15_THE_REFLECTION)
& behind(R_44_15_THE_REFLECTION,R_44_19_HEAD)
& head(R_44_19_HEAD)
& gen(R_44_19_HEAD,R_44_18_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))