Context                Previous, Next                Top


18_a_genieus
Holding the lamp, he wondered what sort of magic it could do.

%3 r_0018_0001__Holding Holding r_0018_0002__the_r_0018_0003__lamp the lamp r_0018_0001__Holding->r_0018_0002__the_r_0018_0003__lamp [arg1] r_0018_0005__he he r_0018_0001__Holding->r_0018_0005__he [arg0] r_0018_0006__wondered wondered r_0018_0006__wondered->r_0018_0005__he [arg0] r_0018_0012__could could r_0018_0006__wondered->r_0018_0012__could [arg1] r_0018_0013__do do r_0018_0012__could->r_0018_0013__do [scope] r_0018_0007__what_r_0018_0008__sort what sort r_0018_0010__magic magic r_0018_0007__what_r_0018_0008__sort->r_0018_0010__magic of r_0018_0013__do->r_0018_0002__the_r_0018_0003__lamp [arg0] r_0018_0013__do->r_0018_0007__what_r_0018_0008__sort [arg1] z_000_18_a_genieus_2 z_000_18_a_genieus_2->r_0018_0001__Holding [restriction] z_000_18_a_genieus_2->r_0018_0006__wondered [scope] 
arc(r_0018_0001__Holding, r_0018_0002__the_r_0018_0003__lamp, arg1).
arc(r_0018_0001__Holding, r_0018_0005__he, arg0).
arc(r_0018_0006__wondered, r_0018_0005__he, arg0).
arc(r_0018_0006__wondered, r_0018_0012__could, arg1).
arc(r_0018_0007__what_r_0018_0008__sort, r_0018_0010__magic, r_0018_0009__of).
arc(r_0018_0012__could, r_0018_0013__do, scope).
arc(r_0018_0013__do, r_0018_0002__the_r_0018_0003__lamp, arg0).
arc(r_0018_0013__do, r_0018_0007__what_r_0018_0008__sort, arg1).
arc(z_000_18_a_genieus_2, r_0018_0001__Holding, restriction).
arc(z_000_18_a_genieus_2, r_0018_0006__wondered, scope).


%3 r_0018_0001__Holding Holding r_0018_0002__the_r_0018_0003__lamp the lamp r_0018_0001__Holding->r_0018_0002__the_r_0018_0003__lamp [arg1] r_0018_0005__he he r_0018_0001__Holding->r_0018_0005__he [arg0] r_0018_0006__wondered wondered r_0018_0006__wondered->r_0018_0005__he [arg0] r_0018_0012__could_r_0018_0013__do could do r_0018_0006__wondered->r_0018_0012__could_r_0018_0013__do [arg1] r_0018_0012__could_r_0018_0013__do->r_0018_0002__the_r_0018_0003__lamp [arg0] r_0018_0007__what_r_0018_0008__sort what sort r_0018_0012__could_r_0018_0013__do->r_0018_0007__what_r_0018_0008__sort [arg1] r_0018_0010__magic magic r_0018_0007__what_r_0018_0008__sort->r_0018_0010__magic of z_000_18_a_genieus_2 z_000_18_a_genieus_2->r_0018_0001__Holding [conj1] z_000_18_a_genieus_2->r_0018_0006__wondered [conj2] 
fof(formula,axiom,
    ? [Z_18_A_GENIEUS_2,R_18_1_HOLDING,R_18_6_WONDERED,R_18_5_HE,R_18_12_COULD_DO,R_18_2_THE_LAMP,R_18_7_WHAT_SORT,R_18_10_MAGIC] :
      ( he(R_18_5_HE)
      & the_lamp(R_18_2_THE_LAMP)
      & magic(R_18_10_MAGIC)
      & z_18_a_genieus_2(Z_18_A_GENIEUS_2)
      & conj1(Z_18_A_GENIEUS_2,R_18_1_HOLDING)
      & holding(R_18_1_HOLDING,R_18_5_HE,R_18_2_THE_LAMP)
      & conj2(Z_18_A_GENIEUS_2,R_18_6_WONDERED)
      & wondered(R_18_6_WONDERED,R_18_5_HE,R_18_12_COULD_DO)
      & could_do(R_18_12_COULD_DO,R_18_2_THE_LAMP,R_18_7_WHAT_SORT)
      & what_sort(R_18_7_WHAT_SORT)
      & of(R_18_7_WHAT_SORT,R_18_10_MAGIC) ) ).


n18_a_genieus n18_a_genieus_5 Holding n18_a_genieus_8 the n18_a_genieus_10 lamp n18_a_genieus_12 , n18_a_genieus_15 he n18_a_genieus_17 wondered n18_a_genieus_22 what n18_a_genieus_24 sort n18_a_genieus_27 of n18_a_genieus_30 magic n18_a_genieus_33 it n18_a_genieus_35 could n18_a_genieus_38 *ICH*-114 n18_a_genieus_40 do n18_a_genieus_42 . n18_a_genieus_1 IP-MAT n18_a_genieus_2 PP-SCON n18_a_genieus_1->n18_a_genieus_2 n18_a_genieus_11 PUNC n18_a_genieus_1->n18_a_genieus_11 n18_a_genieus_13 NP-SBJ n18_a_genieus_1->n18_a_genieus_13 n18_a_genieus_16 VBD;_Tw_ n18_a_genieus_1->n18_a_genieus_16 n18_a_genieus_18 CP-QUE-OB1 n18_a_genieus_1->n18_a_genieus_18 n18_a_genieus_41 PUNC n18_a_genieus_1->n18_a_genieus_41 n18_a_genieus_3 IP-PPL2 n18_a_genieus_2->n18_a_genieus_3 n18_a_genieus_4 VAG;_Tn_ n18_a_genieus_3->n18_a_genieus_4 n18_a_genieus_6 NP-OB1 n18_a_genieus_3->n18_a_genieus_6 n18_a_genieus_4->n18_a_genieus_5 n18_a_genieus_7 D n18_a_genieus_6->n18_a_genieus_7 n18_a_genieus_9 N n18_a_genieus_6->n18_a_genieus_9 n18_a_genieus_7->n18_a_genieus_8 n18_a_genieus_9->n18_a_genieus_10 n18_a_genieus_11->n18_a_genieus_12 n18_a_genieus_14 PRO n18_a_genieus_13->n18_a_genieus_14 n18_a_genieus_14->n18_a_genieus_15 n18_a_genieus_16->n18_a_genieus_17 n18_a_genieus_19 IP-SUB n18_a_genieus_18->n18_a_genieus_19 n18_a_genieus_20 NP-114 n18_a_genieus_19->n18_a_genieus_20 n18_a_genieus_31 NP-SBJ n18_a_genieus_19->n18_a_genieus_31 n18_a_genieus_34 MD;_cat_Vi_ n18_a_genieus_19->n18_a_genieus_34 n18_a_genieus_36 IP-PPL-CAT n18_a_genieus_19->n18_a_genieus_36 n18_a_genieus_21 WD n18_a_genieus_20->n18_a_genieus_21 n18_a_genieus_23 N n18_a_genieus_20->n18_a_genieus_23 n18_a_genieus_25 PP n18_a_genieus_20->n18_a_genieus_25 n18_a_genieus_21->n18_a_genieus_22 n18_a_genieus_23->n18_a_genieus_24 n18_a_genieus_26 P-ROLE n18_a_genieus_25->n18_a_genieus_26 n18_a_genieus_28 NP n18_a_genieus_25->n18_a_genieus_28 n18_a_genieus_26->n18_a_genieus_27 n18_a_genieus_29 N n18_a_genieus_28->n18_a_genieus_29 n18_a_genieus_29->n18_a_genieus_30 n18_a_genieus_32 PRO n18_a_genieus_31->n18_a_genieus_32 n18_a_genieus_32->n18_a_genieus_33 n18_a_genieus_34->n18_a_genieus_35 n18_a_genieus_37 NP-OB1 n18_a_genieus_36->n18_a_genieus_37 n18_a_genieus_39 DO;_Tn_ n18_a_genieus_36->n18_a_genieus_39 n18_a_genieus_37->n18_a_genieus_38 n18_a_genieus_39->n18_a_genieus_40 n18_a_genieus_41->n18_a_genieus_42 
( (IP-MAT (PP-SCON (IP-PPL2 (VAG;_Tn_ Holding;{hold})
                            (NP-OB1;{LAMP} (D the;{the})
                                           (N lamp;{lamp}))))
          (PUNC ,)
          (NP-SBJ;{YOUNG_MAN} (PRO he;{he}))
          (VBD;_Tw_ wondered;{wonder})
          (CP-QUE-OB1 (IP-SUB (NP-114 (WD what;{what})
                                      (N sort;{sort})
                                      (PP (P-ROLE of;{of})
                                          (NP (N magic;{magic}))))
                              (NP-SBJ;{LAMP} (PRO it;{it}))
                              (MD;_cat_Vi_ could;{could})
                              (IP-PPL-CAT (NP-OB1 *ICH*-114)
                                          (DO;_Tn_ do;{do}))))
          (PUNC .))
  (ID 18_a_genieus))