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 z_000_18_a_genieus_2 r_0018_0006__wondered wondered z_000_18_a_genieus_2->r_0018_0006__wondered [conj2] r_0018_0001__Holding Holding z_000_18_a_genieus_2->r_0018_0001__Holding [conj1] 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_0005__he he r_0018_0006__wondered->r_0018_0005__he [arg0] 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_0001__Holding->r_0018_0005__he [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_0012__could_r_0018_0013__do->r_0018_0002__the_r_0018_0003__lamp [arg0] r_0018_0010__magic magic r_0018_0007__what_r_0018_0008__sort->r_0018_0010__magic of 
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__1_1_1_1_1 Holding n18_a_genieus__1_1_1_2_1_1 the n18_a_genieus__1_1_1_2_2_1 lamp n18_a_genieus__1_2_1 , n18_a_genieus__1_3_1_1 he n18_a_genieus__1_4_1 wondered n18_a_genieus__1_5_1_1_1_1 what n18_a_genieus__1_5_1_1_2_1 sort n18_a_genieus__1_5_1_1_3_1_1 of n18_a_genieus__1_5_1_1_3_2_1_1 magic n18_a_genieus__1_5_1_2_1_1 it n18_a_genieus__1_5_1_3_1 could n18_a_genieus__1_5_1_4_1_1 *ICH*-114 n18_a_genieus__1_5_1_4_2_1 do n18_a_genieus__1_6_1 . n18_a_genieus__1 IP-MAT n18_a_genieus__1_1 PP-SCON n18_a_genieus__1->n18_a_genieus__1_1 n18_a_genieus__1_2 PUNC n18_a_genieus__1->n18_a_genieus__1_2 n18_a_genieus__1_3 NP-SBJ n18_a_genieus__1->n18_a_genieus__1_3 n18_a_genieus__1_4 VBD;_Tw_ n18_a_genieus__1->n18_a_genieus__1_4 n18_a_genieus__1_5 CP-QUE-OB1 n18_a_genieus__1->n18_a_genieus__1_5 n18_a_genieus__1_6 PUNC n18_a_genieus__1->n18_a_genieus__1_6 n18_a_genieus__1_1_1 IP-PPL2 n18_a_genieus__1_1->n18_a_genieus__1_1_1 n18_a_genieus__1_1_1_1 VAG;_Tn_ n18_a_genieus__1_1_1->n18_a_genieus__1_1_1_1 n18_a_genieus__1_1_1_2 NP-OB1 n18_a_genieus__1_1_1->n18_a_genieus__1_1_1_2 n18_a_genieus__1_1_1_1->n18_a_genieus__1_1_1_1_1 n18_a_genieus__1_1_1_2_1 D n18_a_genieus__1_1_1_2->n18_a_genieus__1_1_1_2_1 n18_a_genieus__1_1_1_2_2 N n18_a_genieus__1_1_1_2->n18_a_genieus__1_1_1_2_2 n18_a_genieus__1_1_1_2_1->n18_a_genieus__1_1_1_2_1_1 n18_a_genieus__1_1_1_2_2->n18_a_genieus__1_1_1_2_2_1 n18_a_genieus__1_2->n18_a_genieus__1_2_1 n18_a_genieus__1_3_1 PRO n18_a_genieus__1_3->n18_a_genieus__1_3_1 n18_a_genieus__1_3_1->n18_a_genieus__1_3_1_1 n18_a_genieus__1_4->n18_a_genieus__1_4_1 n18_a_genieus__1_5_1 IP-SUB n18_a_genieus__1_5->n18_a_genieus__1_5_1 n18_a_genieus__1_5_1_1 NP-114 n18_a_genieus__1_5_1->n18_a_genieus__1_5_1_1 n18_a_genieus__1_5_1_2 NP-SBJ n18_a_genieus__1_5_1->n18_a_genieus__1_5_1_2 n18_a_genieus__1_5_1_3 MD;_cat_Vi_ n18_a_genieus__1_5_1->n18_a_genieus__1_5_1_3 n18_a_genieus__1_5_1_4 IP-PPL-CAT n18_a_genieus__1_5_1->n18_a_genieus__1_5_1_4 n18_a_genieus__1_5_1_1_1 WD n18_a_genieus__1_5_1_1->n18_a_genieus__1_5_1_1_1 n18_a_genieus__1_5_1_1_2 N n18_a_genieus__1_5_1_1->n18_a_genieus__1_5_1_1_2 n18_a_genieus__1_5_1_1_3 PP n18_a_genieus__1_5_1_1->n18_a_genieus__1_5_1_1_3 n18_a_genieus__1_5_1_1_1->n18_a_genieus__1_5_1_1_1_1 n18_a_genieus__1_5_1_1_2->n18_a_genieus__1_5_1_1_2_1 n18_a_genieus__1_5_1_1_3_1 P-ROLE n18_a_genieus__1_5_1_1_3->n18_a_genieus__1_5_1_1_3_1 n18_a_genieus__1_5_1_1_3_2 NP n18_a_genieus__1_5_1_1_3->n18_a_genieus__1_5_1_1_3_2 n18_a_genieus__1_5_1_1_3_1->n18_a_genieus__1_5_1_1_3_1_1 n18_a_genieus__1_5_1_1_3_2_1 N n18_a_genieus__1_5_1_1_3_2->n18_a_genieus__1_5_1_1_3_2_1 n18_a_genieus__1_5_1_1_3_2_1->n18_a_genieus__1_5_1_1_3_2_1_1 n18_a_genieus__1_5_1_2_1 PRO n18_a_genieus__1_5_1_2->n18_a_genieus__1_5_1_2_1 n18_a_genieus__1_5_1_2_1->n18_a_genieus__1_5_1_2_1_1 n18_a_genieus__1_5_1_3->n18_a_genieus__1_5_1_3_1 n18_a_genieus__1_5_1_4_1 NP-OB1 n18_a_genieus__1_5_1_4->n18_a_genieus__1_5_1_4_1 n18_a_genieus__1_5_1_4_2 DO;_Tn_ n18_a_genieus__1_5_1_4->n18_a_genieus__1_5_1_4_2 n18_a_genieus__1_5_1_4_1->n18_a_genieus__1_5_1_4_1_1 n18_a_genieus__1_5_1_4_2->n18_a_genieus__1_5_1_4_2_1 n18_a_genieus__1_6->n18_a_genieus__1_6_1 
( (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))