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_0002__were_r_0019_0003__supposed were supposed r_0019_0001__You You r_0019_0002__were_r_0019_0003__supposed->r_0019_0001__You [arg1] r_0019_0004__to_r_0019_0005__rub to rub 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_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] 
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_4 You n19_a_genieus_6 were n19_a_genieus_9 * n19_a_genieus_11 supposed n19_a_genieus_14 to n19_a_genieus_16 rub n19_a_genieus_20 magic n19_a_genieus_22 lamps n19_a_genieus_24 , n19_a_genieus_28 were n19_a_genieus_30 n't n19_a_genieus_33 you n19_a_genieus_35 ? n19_a_genieus_1 IP-MAT n19_a_genieus_2 NP-SBJ n19_a_genieus_1->n19_a_genieus_2 n19_a_genieus_5 BED;_cat_VePASS_ n19_a_genieus_1->n19_a_genieus_5 n19_a_genieus_7 IP-PPL-CAT n19_a_genieus_1->n19_a_genieus_7 n19_a_genieus_23 PUNC n19_a_genieus_1->n19_a_genieus_23 n19_a_genieus_25 CP-QUE-TAG n19_a_genieus_1->n19_a_genieus_25 n19_a_genieus_34 PUNC n19_a_genieus_1->n19_a_genieus_34 n19_a_genieus_3 PRO n19_a_genieus_2->n19_a_genieus_3 n19_a_genieus_3->n19_a_genieus_4 n19_a_genieus_5->n19_a_genieus_6 n19_a_genieus_8 NP-LGS n19_a_genieus_7->n19_a_genieus_8 n19_a_genieus_10 VVN;_Cn.t_ n19_a_genieus_7->n19_a_genieus_10 n19_a_genieus_12 IP-INF-PRD n19_a_genieus_7->n19_a_genieus_12 n19_a_genieus_8->n19_a_genieus_9 n19_a_genieus_10->n19_a_genieus_11 n19_a_genieus_13 TO n19_a_genieus_12->n19_a_genieus_13 n19_a_genieus_15 VB;_Tn_ n19_a_genieus_12->n19_a_genieus_15 n19_a_genieus_17 NP-OB1 n19_a_genieus_12->n19_a_genieus_17 n19_a_genieus_13->n19_a_genieus_14 n19_a_genieus_15->n19_a_genieus_16 n19_a_genieus_18 ADJP n19_a_genieus_17->n19_a_genieus_18 n19_a_genieus_21 NS n19_a_genieus_17->n19_a_genieus_21 n19_a_genieus_19 ADJ n19_a_genieus_18->n19_a_genieus_19 n19_a_genieus_19->n19_a_genieus_20 n19_a_genieus_21->n19_a_genieus_22 n19_a_genieus_23->n19_a_genieus_24 n19_a_genieus_26 IP-SUB n19_a_genieus_25->n19_a_genieus_26 n19_a_genieus_27 BED;_cat_VePASS_ n19_a_genieus_26->n19_a_genieus_27 n19_a_genieus_29 NEG n19_a_genieus_26->n19_a_genieus_29 n19_a_genieus_31 NP-SBJ n19_a_genieus_26->n19_a_genieus_31 n19_a_genieus_27->n19_a_genieus_28 n19_a_genieus_29->n19_a_genieus_30 n19_a_genieus_32 PRO n19_a_genieus_31->n19_a_genieus_32 n19_a_genieus_32->n19_a_genieus_33 n19_a_genieus_34->n19_a_genieus_35 
( (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))