Context                Previous, Next                Top


8_a_takmi
The cup looked like it was already opened.

%3 r_0008_0003__looked looked r_0008_0001__The_r_0008_0002__cup The cup r_0008_0003__looked->r_0008_0001__The_r_0008_0002__cup [arg0] r_0008_0006__was was r_0008_0003__looked->r_0008_0006__was like [clr] r_0008_0008__opened opened r_0008_0006__was->r_0008_0008__opened [scope] r_0008_0008__opened->r_0008_0001__The_r_0008_0002__cup [arg1] r_0008_0007__already already r_0008_0008__opened->r_0008_0007__already [nim] z_000_8_a_takmi_19 r_0008_0008__opened->z_000_8_a_takmi_19 [arg0] 
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).


%3 r_0008_0006__was_r_0008_0008__opened was opened z_000_8_a_takmi_19 r_0008_0006__was_r_0008_0008__opened->z_000_8_a_takmi_19 [arg0] r_0008_0007__already already r_0008_0006__was_r_0008_0008__opened->r_0008_0007__already [nim] r_0008_0001__The_r_0008_0002__cup The cup r_0008_0006__was_r_0008_0008__opened->r_0008_0001__The_r_0008_0002__cup [arg1] r_0008_0003__looked looked r_0008_0003__looked->r_0008_0006__was_r_0008_0008__opened like [clr] r_0008_0003__looked->r_0008_0001__The_r_0008_0002__cup [arg0] 
fof(formula,axiom,
    ? [R_0008_0001__THE_R_0008_0002__CUP,R_0008_0007__ALREADY,Z_000_8_A_TAKMI_19,R_0008_0006__WAS_R_0008_0008__OPENED,R_0008_0003__LOOKED] :
      ( r_0008_0001__The_r_0008_0002__cup(R_0008_0001__THE_R_0008_0002__CUP)
      & r_0008_0007__already(R_0008_0007__ALREADY)
      & z_000_8_a_takmi_19(Z_000_8_A_TAKMI_19)
      & r_0008_0003__looked(R_0008_0003__LOOKED)
      & has_r_0008_0004__like_clr12(R_0008_0003__LOOKED,R_0008_0006__WAS_R_0008_0008__OPENED)
      & r_0008_0006__was_r_0008_0008__opened(R_0008_0006__WAS_R_0008_0008__OPENED)
      & has_arg0(R_0008_0006__WAS_R_0008_0008__OPENED,Z_000_8_A_TAKMI_19)
      & has_nim21(R_0008_0006__WAS_R_0008_0008__OPENED,R_0008_0007__ALREADY)
      & has_arg1(R_0008_0006__WAS_R_0008_0008__OPENED,R_0008_0001__THE_R_0008_0002__CUP)
      & has_arg0(R_0008_0003__LOOKED,R_0008_0001__THE_R_0008_0002__CUP) ) ).


n8_a_takmi n8_a_takmi__1_1_1_1 The n8_a_takmi__1_1_2_1 cup n8_a_takmi__1_2_1 looked n8_a_takmi__1_3_1_1 like n8_a_takmi__1_3_2_1_1_1 it n8_a_takmi__1_3_2_2_1 was n8_a_takmi__1_3_2_3_1_1 * n8_a_takmi__1_3_2_3_2_1_1 already n8_a_takmi__1_3_2_3_3_1 opened n8_a_takmi__1_4_1 . n8_a_takmi__1 IP-MAT n8_a_takmi__1_1 NP-SBJ n8_a_takmi__1->n8_a_takmi__1_1 n8_a_takmi__1_2 VBD;_V_as_though/as_if/like_ n8_a_takmi__1->n8_a_takmi__1_2 n8_a_takmi__1_3 PP-CLR n8_a_takmi__1->n8_a_takmi__1_3 n8_a_takmi__1_4 PUNC n8_a_takmi__1->n8_a_takmi__1_4 n8_a_takmi__1_1_1 D n8_a_takmi__1_1->n8_a_takmi__1_1_1 n8_a_takmi__1_1_2 N n8_a_takmi__1_1->n8_a_takmi__1_1_2 n8_a_takmi__1_1_1->n8_a_takmi__1_1_1_1 n8_a_takmi__1_1_2->n8_a_takmi__1_1_2_1 n8_a_takmi__1_2->n8_a_takmi__1_2_1 n8_a_takmi__1_3_1 P-ROLE n8_a_takmi__1_3->n8_a_takmi__1_3_1 n8_a_takmi__1_3_2 IP-ADV n8_a_takmi__1_3->n8_a_takmi__1_3_2 n8_a_takmi__1_3_1->n8_a_takmi__1_3_1_1 n8_a_takmi__1_3_2_1 NP-SBJ n8_a_takmi__1_3_2->n8_a_takmi__1_3_2_1 n8_a_takmi__1_3_2_2 BED;_cat_VePASS_ n8_a_takmi__1_3_2->n8_a_takmi__1_3_2_2 n8_a_takmi__1_3_2_3 IP-PPL-CAT n8_a_takmi__1_3_2->n8_a_takmi__1_3_2_3 n8_a_takmi__1_3_2_1_1 PRO n8_a_takmi__1_3_2_1->n8_a_takmi__1_3_2_1_1 n8_a_takmi__1_3_2_1_1->n8_a_takmi__1_3_2_1_1_1 n8_a_takmi__1_3_2_2->n8_a_takmi__1_3_2_2_1 n8_a_takmi__1_3_2_3_1 NP-LGS n8_a_takmi__1_3_2_3->n8_a_takmi__1_3_2_3_1 n8_a_takmi__1_3_2_3_2 ADVP-NIM n8_a_takmi__1_3_2_3->n8_a_takmi__1_3_2_3_2 n8_a_takmi__1_3_2_3_3 VVN;_Tn_ n8_a_takmi__1_3_2_3->n8_a_takmi__1_3_2_3_3 n8_a_takmi__1_3_2_3_1->n8_a_takmi__1_3_2_3_1_1 n8_a_takmi__1_3_2_3_2_1 ADV n8_a_takmi__1_3_2_3_2->n8_a_takmi__1_3_2_3_2_1 n8_a_takmi__1_3_2_3_2_1->n8_a_takmi__1_3_2_3_2_1_1 n8_a_takmi__1_3_2_3_3->n8_a_takmi__1_3_2_3_3_1 n8_a_takmi__1_4->n8_a_takmi__1_4_1 
( (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))