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,
    ? [Z_000_97_A_LOB_J01_14,R_0097_0006__STIRRING,R_0097_0002__A_R_0097_0003__GLASS_R_0097_0004__ROD,Z_000_97_A_LOB_J01_1,R_0097_0001__USE] :
      ( z_000_97_a_lob_j01_1(Z_000_97_A_LOB_J01_1)
      & z_000_97_a_lob_j01_14(Z_000_97_A_LOB_J01_14)
      & r_0097_0001__Use(R_0097_0001__USE)
      & has_arg0(R_0097_0001__USE,Z_000_97_A_LOB_J01_1)
      & has_arg1(R_0097_0001__USE,R_0097_0002__A_R_0097_0003__GLASS_R_0097_0004__ROD)
      & r_0097_0002__a_r_0097_0003__glass_r_0097_0004__rod(R_0097_0002__A_R_0097_0003__GLASS_R_0097_0004__ROD)
      & has_r_0097_0005__for(R_0097_0002__A_R_0097_0003__GLASS_R_0097_0004__ROD,R_0097_0006__STIRRING)
      & r_0097_0006__stirring(R_0097_0006__STIRRING)
      & has_arg0(R_0097_0006__STIRRING,Z_000_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))