Context                Previous, Next                Top


19_a_genieus
You were supposed to rub magic lamps, weren't you?

%3 r_0019_0002__were were r_0019_0003__supposed supposed r_0019_0002__were->r_0019_0003__supposed [scope] r_0019_0001__You You r_0019_0003__supposed->r_0019_0001__You [arg1] r_0019_0004__to_r_0019_0005__rub to rub r_0019_0003__supposed->r_0019_0004__to_r_0019_0005__rub [prd] z_000_19_a_genieus_8 r_0019_0003__supposed->z_000_19_a_genieus_8 [arg0] r_0019_0007__lamps lamps r_0019_0004__to_r_0019_0005__rub->r_0019_0007__lamps [arg1] x_000_19_a_genieus_12 __ r_0019_0004__to_r_0019_0005__rub->x_000_19_a_genieus_12 [arg0] r_0019_0006__magic magic r_0019_0007__lamps->r_0019_0006__magic [attrib] 
arc(r_0019_0002__were, r_0019_0003__supposed, scope).
arc(r_0019_0003__supposed, r_0019_0001__You, arg1).
arc(r_0019_0003__supposed, r_0019_0004__to_r_0019_0005__rub, prd).
arc(r_0019_0003__supposed, z_000_19_a_genieus_8, arg0).
arc(r_0019_0004__to_r_0019_0005__rub, r_0019_0007__lamps, arg1).
arc(r_0019_0004__to_r_0019_0005__rub, x_000_19_a_genieus_12, arg0).
arc(r_0019_0007__lamps, r_0019_0006__magic, attrib18).


%3 r_0019_0007__lamps lamps r_0019_0006__magic magic r_0019_0007__lamps->r_0019_0006__magic [attrib] r_0019_0004__to_r_0019_0005__rub to rub r_0019_0004__to_r_0019_0005__rub->r_0019_0007__lamps [arg1] x_000_19_a_genieus_12 __ r_0019_0004__to_r_0019_0005__rub->x_000_19_a_genieus_12 [arg0] r_0019_0002__were_r_0019_0003__supposed were supposed r_0019_0002__were_r_0019_0003__supposed->r_0019_0004__to_r_0019_0005__rub [prd] z_000_19_a_genieus_8 r_0019_0002__were_r_0019_0003__supposed->z_000_19_a_genieus_8 [arg0] r_0019_0001__You You r_0019_0002__were_r_0019_0003__supposed->r_0019_0001__You [arg1] 
fof(formula,axiom,
    ? [R_19_2_WERE_SUPPOSED,Z_19_A_GENIEUS_8,R_19_1_YOU,R_19_4_TO_RUB,X_19_A_GENIEUS_12,R_19_7_LAMPS,R_19_6_MAGIC] :
      ( you(R_19_1_YOU)
      & magic(R_19_6_MAGIC)
      & were_supposed(R_19_2_WERE_SUPPOSED,Z_19_A_GENIEUS_8,R_19_1_YOU,R_19_4_TO_RUB)
      & to_rub(R_19_4_TO_RUB,X_19_A_GENIEUS_12,R_19_7_LAMPS)
      & lamps(R_19_7_LAMPS)
      & attrib18(R_19_7_LAMPS,R_19_6_MAGIC) ) ).


n19_a_genieus n19_a_genieus__1_1_1_1 You n19_a_genieus__1_2_1 were n19_a_genieus__1_3_1_1 * n19_a_genieus__1_3_2_1 supposed n19_a_genieus__1_3_3_1_1 to n19_a_genieus__1_3_3_2_1 rub n19_a_genieus__1_3_3_3_1_1_1 magic n19_a_genieus__1_3_3_3_2_1 lamps n19_a_genieus__1_4_1 , n19_a_genieus__1_5_1_1_1 were n19_a_genieus__1_5_1_2_1 n't n19_a_genieus__1_5_1_3_1_1 you n19_a_genieus__1_6_1 ? n19_a_genieus__1 IP-MAT n19_a_genieus__1_1 NP-SBJ n19_a_genieus__1->n19_a_genieus__1_1 n19_a_genieus__1_2 BED;_cat_VePASS_ n19_a_genieus__1->n19_a_genieus__1_2 n19_a_genieus__1_3 IP-PPL-CAT n19_a_genieus__1->n19_a_genieus__1_3 n19_a_genieus__1_4 PUNC n19_a_genieus__1->n19_a_genieus__1_4 n19_a_genieus__1_5 CP-QUE-TAG n19_a_genieus__1->n19_a_genieus__1_5 n19_a_genieus__1_6 PUNC n19_a_genieus__1->n19_a_genieus__1_6 n19_a_genieus__1_1_1 PRO n19_a_genieus__1_1->n19_a_genieus__1_1_1 n19_a_genieus__1_1_1->n19_a_genieus__1_1_1_1 n19_a_genieus__1_2->n19_a_genieus__1_2_1 n19_a_genieus__1_3_1 NP-LGS n19_a_genieus__1_3->n19_a_genieus__1_3_1 n19_a_genieus__1_3_2 VVN;_Cn.t_ n19_a_genieus__1_3->n19_a_genieus__1_3_2 n19_a_genieus__1_3_3 IP-INF-PRD n19_a_genieus__1_3->n19_a_genieus__1_3_3 n19_a_genieus__1_3_1->n19_a_genieus__1_3_1_1 n19_a_genieus__1_3_2->n19_a_genieus__1_3_2_1 n19_a_genieus__1_3_3_1 TO n19_a_genieus__1_3_3->n19_a_genieus__1_3_3_1 n19_a_genieus__1_3_3_2 VB;_Tn_ n19_a_genieus__1_3_3->n19_a_genieus__1_3_3_2 n19_a_genieus__1_3_3_3 NP-OB1 n19_a_genieus__1_3_3->n19_a_genieus__1_3_3_3 n19_a_genieus__1_3_3_1->n19_a_genieus__1_3_3_1_1 n19_a_genieus__1_3_3_2->n19_a_genieus__1_3_3_2_1 n19_a_genieus__1_3_3_3_1 ADJP n19_a_genieus__1_3_3_3->n19_a_genieus__1_3_3_3_1 n19_a_genieus__1_3_3_3_2 NS n19_a_genieus__1_3_3_3->n19_a_genieus__1_3_3_3_2 n19_a_genieus__1_3_3_3_1_1 ADJ n19_a_genieus__1_3_3_3_1->n19_a_genieus__1_3_3_3_1_1 n19_a_genieus__1_3_3_3_1_1->n19_a_genieus__1_3_3_3_1_1_1 n19_a_genieus__1_3_3_3_2->n19_a_genieus__1_3_3_3_2_1 n19_a_genieus__1_4->n19_a_genieus__1_4_1 n19_a_genieus__1_5_1 IP-SUB n19_a_genieus__1_5->n19_a_genieus__1_5_1 n19_a_genieus__1_5_1_1 BED;_cat_VePASS_ n19_a_genieus__1_5_1->n19_a_genieus__1_5_1_1 n19_a_genieus__1_5_1_2 NEG n19_a_genieus__1_5_1->n19_a_genieus__1_5_1_2 n19_a_genieus__1_5_1_3 NP-SBJ n19_a_genieus__1_5_1->n19_a_genieus__1_5_1_3 n19_a_genieus__1_5_1_1->n19_a_genieus__1_5_1_1_1 n19_a_genieus__1_5_1_2->n19_a_genieus__1_5_1_2_1 n19_a_genieus__1_5_1_3_1 PRO n19_a_genieus__1_5_1_3->n19_a_genieus__1_5_1_3_1 n19_a_genieus__1_5_1_3_1->n19_a_genieus__1_5_1_3_1_1 n19_a_genieus__1_6->n19_a_genieus__1_6_1 
( (IP-MAT (NP-SBJ (PRO You;{you}))
          (BED;_cat_VePASS_ were;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Cn.t_ supposed;{suppose})
                      (IP-INF-PRD (TO to;{to})
                                  (VB;_Tn_ rub;{rub})
                                  (NP-OB1 (ADJP (ADJ magic;{magic}))
                                          (NS lamps;{lamp}))))
          (PUNC ,)
          (CP-QUE-TAG (IP-SUB (BED;_cat_VePASS_ were;{be})
                              (NEG n<apos>t;{not})
                              (NP-SBJ (PRO you;{you}))))
          (PUNC ?))
  (ID 19_a_genieus))