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_0019_0001__YOU,R_0019_0006__MAGIC,R_0019_0007__LAMPS,X_000_19_A_GENIEUS_12,R_0019_0004__TO_R_0019_0005__RUB,Z_000_19_A_GENIEUS_8,R_0019_0002__WERE_R_0019_0003__SUPPOSED] :
      ( r_0019_0001__You(R_0019_0001__YOU)
      & r_0019_0006__magic(R_0019_0006__MAGIC)
      & x_000_19_a_genieus_12(X_000_19_A_GENIEUS_12)
      & z_000_19_a_genieus_8(Z_000_19_A_GENIEUS_8)
      & r_0019_0002__were_r_0019_0003__supposed(R_0019_0002__WERE_R_0019_0003__SUPPOSED)
      & has_arg0(R_0019_0002__WERE_R_0019_0003__SUPPOSED,Z_000_19_A_GENIEUS_8)
      & has_prd(R_0019_0002__WERE_R_0019_0003__SUPPOSED,R_0019_0004__TO_R_0019_0005__RUB)
      & r_0019_0004__to_r_0019_0005__rub(R_0019_0004__TO_R_0019_0005__RUB)
      & has_arg0(R_0019_0004__TO_R_0019_0005__RUB,X_000_19_A_GENIEUS_12)
      & has_arg1(R_0019_0004__TO_R_0019_0005__RUB,R_0019_0007__LAMPS)
      & r_0019_0007__lamps(R_0019_0007__LAMPS)
      & has_attrib18(R_0019_0007__LAMPS,R_0019_0006__MAGIC)
      & has_arg1(R_0019_0002__WERE_R_0019_0003__SUPPOSED,R_0019_0001__YOU) ) ).


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))