8_a_takmi
The cup looked like it was already opened.
arc(r_0008_0003__looked, r_0008_0001__The_r_0008_0002__cup, arg0).
arc(r_0008_0003__looked, r_0008_0006__was, r_0008_0004__like_clr12).
arc(r_0008_0006__was, r_0008_0008__opened, scope).
arc(r_0008_0008__opened, r_0008_0001__The_r_0008_0002__cup, arg1).
arc(r_0008_0008__opened, r_0008_0007__already, nim21).
arc(r_0008_0008__opened, z_000_8_a_takmi_19, arg0).
fof(formula,axiom,
? [R_8_3_LOOKED,R_8_6_WAS_OPENED,Z_8_A_TAKMI_19,R_8_1_THE_CUP,R_8_7_ALREADY] :
( the_cup(R_8_1_THE_CUP)
& already(R_8_7_ALREADY)
& looked(R_8_3_LOOKED,R_8_1_THE_CUP)
& like_clr12(R_8_3_LOOKED,R_8_6_WAS_OPENED)
& was_opened(R_8_6_WAS_OPENED,Z_8_A_TAKMI_19,R_8_1_THE_CUP)
& nim21(R_8_6_WAS_OPENED,R_8_7_ALREADY) ) ).
( (IP-MAT (NP-SBJ;{CUP} (D The;{the})
(N cup;{cup}))
(VBD;_V_as_though/as_if/like_ looked;{look[like]})
(PP-CLR (P-ROLE like;{like})
(IP-ADV (NP-SBJ;{CUP} (PRO it;{it}))
(BED;_cat_VePASS_ was;{be})
(IP-PPL-CAT (NP-LGS *)
(ADVP-NIM (ADV already;{already}))
(VVN;_Tn_ opened;{open}))))
(PUNC .))
(ID 8_a_takmi))