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_0006__stirring stirring z_000_97_a_lob_j01_14 r_0097_0006__stirring->z_000_97_a_lob_j01_14 [arg0] r_0097_0002__a_r_0097_0003__glass_r_0097_0004__rod a glass rod r_0097_0002__a_r_0097_0003__glass_r_0097_0004__rod->r_0097_0006__stirring for r_0097_0001__Use Use 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] 
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__1_1_1 Use n97_a_lob_j01__1_2_1_1 a n97_a_lob_j01__1_2_2_1 glass n97_a_lob_j01__1_2_3_1 rod n97_a_lob_j01__1_2_4_1_1 for n97_a_lob_j01__1_2_4_2_1_1 stirring n97_a_lob_j01__1_3_1 . n97_a_lob_j01__1 IP-IMP n97_a_lob_j01__1_1 VB;__ n97_a_lob_j01__1->n97_a_lob_j01__1_1 n97_a_lob_j01__1_2 NP-OB1 n97_a_lob_j01__1->n97_a_lob_j01__1_2 n97_a_lob_j01__1_3 PUNC n97_a_lob_j01__1->n97_a_lob_j01__1_3 n97_a_lob_j01__1_1->n97_a_lob_j01__1_1_1 n97_a_lob_j01__1_2_1 D n97_a_lob_j01__1_2->n97_a_lob_j01__1_2_1 n97_a_lob_j01__1_2_2 N n97_a_lob_j01__1_2->n97_a_lob_j01__1_2_2 n97_a_lob_j01__1_2_3 N n97_a_lob_j01__1_2->n97_a_lob_j01__1_2_3 n97_a_lob_j01__1_2_4 PP n97_a_lob_j01__1_2->n97_a_lob_j01__1_2_4 n97_a_lob_j01__1_2_1->n97_a_lob_j01__1_2_1_1 n97_a_lob_j01__1_2_2->n97_a_lob_j01__1_2_2_1 n97_a_lob_j01__1_2_3->n97_a_lob_j01__1_2_3_1 n97_a_lob_j01__1_2_4_1 P-ROLE n97_a_lob_j01__1_2_4->n97_a_lob_j01__1_2_4_1 n97_a_lob_j01__1_2_4_2 IP-PPL n97_a_lob_j01__1_2_4->n97_a_lob_j01__1_2_4_2 n97_a_lob_j01__1_2_4_1->n97_a_lob_j01__1_2_4_1_1 n97_a_lob_j01__1_2_4_2_1 VAG;__ n97_a_lob_j01__1_2_4_2->n97_a_lob_j01__1_2_4_2_1 n97_a_lob_j01__1_2_4_2_1->n97_a_lob_j01__1_2_4_2_1_1 n97_a_lob_j01__1_3->n97_a_lob_j01__1_3_1 
( (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))