Context                Previous, Next                Top


97_a_lob_j01
Use a glass rod for stirring.

%3 r_0097_0001__Use Use r_0097_0002__a_r_0097_0003__glass_r_0097_0004__rod a glass rod r_0097_0001__Use->r_0097_0002__a_r_0097_0003__glass_r_0097_0004__rod [arg1] z_000_97_a_lob_j01_1 r_0097_0001__Use->z_000_97_a_lob_j01_1 [arg0] r_0097_0006__stirring stirring r_0097_0002__a_r_0097_0003__glass_r_0097_0004__rod->r_0097_0006__stirring for z_000_97_a_lob_j01_14 r_0097_0006__stirring->z_000_97_a_lob_j01_14 [arg0] 
arc(r_0097_0001__Use, r_0097_0002__a_r_0097_0003__glass_r_0097_0004__rod, arg1).
arc(r_0097_0001__Use, z_000_97_a_lob_j01_1, arg0).
arc(r_0097_0002__a_r_0097_0003__glass_r_0097_0004__rod, r_0097_0006__stirring, r_0097_0005__for).
arc(r_0097_0006__stirring, z_000_97_a_lob_j01_14, arg0).


%3 r_0097_0001__Use Use r_0097_0002__a_r_0097_0003__glass_r_0097_0004__rod a glass rod r_0097_0001__Use->r_0097_0002__a_r_0097_0003__glass_r_0097_0004__rod [arg1] z_000_97_a_lob_j01_1 r_0097_0001__Use->z_000_97_a_lob_j01_1 [arg0] r_0097_0006__stirring stirring r_0097_0002__a_r_0097_0003__glass_r_0097_0004__rod->r_0097_0006__stirring for z_000_97_a_lob_j01_14 r_0097_0006__stirring->z_000_97_a_lob_j01_14 [arg0] 
fof(formula,axiom,
    ? [R_97_1_USE,Z_97_A_LOB_J01_1,R_97_2_A_GLASS_ROD,R_97_6_STIRRING,Z_97_A_LOB_J01_14] :
      ( use(R_97_1_USE,Z_97_A_LOB_J01_1,R_97_2_A_GLASS_ROD)
      & a_glass_rod(R_97_2_A_GLASS_ROD)
      & for(R_97_2_A_GLASS_ROD,R_97_6_STIRRING)
      & stirring(R_97_6_STIRRING,Z_97_A_LOB_J01_14) ) ).


n97_a_lob_j01 n97_a_lob_j01_3 Use n97_a_lob_j01_6 a n97_a_lob_j01_8 glass n97_a_lob_j01_10 rod n97_a_lob_j01_13 for n97_a_lob_j01_16 stirring n97_a_lob_j01_18 . n97_a_lob_j01_1 IP-IMP n97_a_lob_j01_2 VB;__ n97_a_lob_j01_1->n97_a_lob_j01_2 n97_a_lob_j01_4 NP-OB1 n97_a_lob_j01_1->n97_a_lob_j01_4 n97_a_lob_j01_17 PUNC n97_a_lob_j01_1->n97_a_lob_j01_17 n97_a_lob_j01_2->n97_a_lob_j01_3 n97_a_lob_j01_5 D n97_a_lob_j01_4->n97_a_lob_j01_5 n97_a_lob_j01_7 N n97_a_lob_j01_4->n97_a_lob_j01_7 n97_a_lob_j01_9 N n97_a_lob_j01_4->n97_a_lob_j01_9 n97_a_lob_j01_11 PP n97_a_lob_j01_4->n97_a_lob_j01_11 n97_a_lob_j01_5->n97_a_lob_j01_6 n97_a_lob_j01_7->n97_a_lob_j01_8 n97_a_lob_j01_9->n97_a_lob_j01_10 n97_a_lob_j01_12 P-ROLE n97_a_lob_j01_11->n97_a_lob_j01_12 n97_a_lob_j01_14 IP-PPL n97_a_lob_j01_11->n97_a_lob_j01_14 n97_a_lob_j01_12->n97_a_lob_j01_13 n97_a_lob_j01_15 VAG;__ n97_a_lob_j01_14->n97_a_lob_j01_15 n97_a_lob_j01_15->n97_a_lob_j01_16 n97_a_lob_j01_17->n97_a_lob_j01_18 
( (IP-IMP (VB;__ Use;{use})
          (NP-OB1 (D a;{a})
                  (N glass;{glass})
                  (N rod;{rod})
                  (PP (P-ROLE for;{for})
                      (IP-PPL (VAG;__ stirring;{stir}))))
          (PUNC .))
  (ID 97_a_lob_j01))