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_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_r_0008_0008__opened was opened r_0008_0003__looked->r_0008_0006__was_r_0008_0008__opened like [clr] r_0008_0006__was_r_0008_0008__opened->r_0008_0001__The_r_0008_0002__cup [arg1] r_0008_0007__already already r_0008_0006__was_r_0008_0008__opened->r_0008_0007__already [nim] z_000_8_a_takmi_19 r_0008_0006__was_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) ) ).


n8_a_takmi n8_a_takmi_4 The n8_a_takmi_6 cup n8_a_takmi_8 looked n8_a_takmi_11 like n8_a_takmi_15 it n8_a_takmi_17 was n8_a_takmi_20 * n8_a_takmi_23 already n8_a_takmi_25 opened n8_a_takmi_27 . n8_a_takmi_1 IP-MAT n8_a_takmi_2 NP-SBJ n8_a_takmi_1->n8_a_takmi_2 n8_a_takmi_7 VBD;_V_as_though/as_if/like_ n8_a_takmi_1->n8_a_takmi_7 n8_a_takmi_9 PP-CLR n8_a_takmi_1->n8_a_takmi_9 n8_a_takmi_26 PUNC n8_a_takmi_1->n8_a_takmi_26 n8_a_takmi_3 D n8_a_takmi_2->n8_a_takmi_3 n8_a_takmi_5 N n8_a_takmi_2->n8_a_takmi_5 n8_a_takmi_3->n8_a_takmi_4 n8_a_takmi_5->n8_a_takmi_6 n8_a_takmi_7->n8_a_takmi_8 n8_a_takmi_10 P-ROLE n8_a_takmi_9->n8_a_takmi_10 n8_a_takmi_12 IP-ADV n8_a_takmi_9->n8_a_takmi_12 n8_a_takmi_10->n8_a_takmi_11 n8_a_takmi_13 NP-SBJ n8_a_takmi_12->n8_a_takmi_13 n8_a_takmi_16 BED;_cat_VePASS_ n8_a_takmi_12->n8_a_takmi_16 n8_a_takmi_18 IP-PPL-CAT n8_a_takmi_12->n8_a_takmi_18 n8_a_takmi_14 PRO n8_a_takmi_13->n8_a_takmi_14 n8_a_takmi_14->n8_a_takmi_15 n8_a_takmi_16->n8_a_takmi_17 n8_a_takmi_19 NP-LGS n8_a_takmi_18->n8_a_takmi_19 n8_a_takmi_21 ADVP-NIM n8_a_takmi_18->n8_a_takmi_21 n8_a_takmi_24 VVN;_Tn_ n8_a_takmi_18->n8_a_takmi_24 n8_a_takmi_19->n8_a_takmi_20 n8_a_takmi_22 ADV n8_a_takmi_21->n8_a_takmi_22 n8_a_takmi_22->n8_a_takmi_23 n8_a_takmi_24->n8_a_takmi_25 n8_a_takmi_26->n8_a_takmi_27 
( (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))