Context                Previous, Next                Top


23_a_thrust
Destroying a limpet gun.... 750 points

%3 r_0023_0001__Destroying Destroying r_0023_0002__a_r_0023_0003__limpet_r_0023_0004__gun a limpet gun r_0023_0001__Destroying->r_0023_0002__a_r_0023_0003__limpet_r_0023_0004__gun [arg1] z_000_23_a_thrust_2 r_0023_0001__Destroying->z_000_23_a_thrust_2 [arg0] z_000_23_a_thrust_1 z_000_23_a_thrust_1->r_0023_0001__Destroying [arg0] r_0023_0006__750_r_0023_0007__points 750 points z_000_23_a_thrust_1->r_0023_0006__750_r_0023_0007__points [prd] 
arc(r_0023_0001__Destroying, r_0023_0002__a_r_0023_0003__limpet_r_0023_0004__gun, arg1).
arc(r_0023_0001__Destroying, z_000_23_a_thrust_2, arg0).
arc(z_000_23_a_thrust_1, r_0023_0001__Destroying, arg0).
arc(z_000_23_a_thrust_1, r_0023_0006__750_r_0023_0007__points, prd).


%3 z_000_23_a_thrust_1 r_0023_0006__750_r_0023_0007__points 750 points z_000_23_a_thrust_1->r_0023_0006__750_r_0023_0007__points [prd] r_0023_0001__Destroying Destroying z_000_23_a_thrust_1->r_0023_0001__Destroying [arg0] z_000_23_a_thrust_2 r_0023_0001__Destroying->z_000_23_a_thrust_2 [arg0] r_0023_0002__a_r_0023_0003__limpet_r_0023_0004__gun a limpet gun r_0023_0001__Destroying->r_0023_0002__a_r_0023_0003__limpet_r_0023_0004__gun [arg1] 
fof(formula,axiom,
    ? [Z_23_A_THRUST_1,R_23_1_DESTROYING,Z_23_A_THRUST_2,R_23_2_A_LIMPET_GUN,R_23_6_750_POINTS] :
      ( a_limpet_gun(R_23_2_A_LIMPET_GUN)
      & 750_points(R_23_6_750_POINTS)
      & z_23_a_thrust_1(Z_23_A_THRUST_1,R_23_1_DESTROYING,R_23_6_750_POINTS)
      & destroying(R_23_1_DESTROYING,Z_23_A_THRUST_2,R_23_2_A_LIMPET_GUN) ) ).


n23_a_thrust n23_a_thrust__1_1_1_1 Destroying n23_a_thrust__1_1_2_1_1 a n23_a_thrust__1_1_2_2_1 limpet n23_a_thrust__1_1_2_3_1 gun n23_a_thrust__1_2_1 .... n23_a_thrust__1_3_1_1 750 n23_a_thrust__1_3_2_1 points n23_a_thrust__1 IP-MAT n23_a_thrust__1_1 IP-PPL-SBJ n23_a_thrust__1->n23_a_thrust__1_1 n23_a_thrust__1_2 PUNC n23_a_thrust__1->n23_a_thrust__1_2 n23_a_thrust__1_3 NP-PRD n23_a_thrust__1->n23_a_thrust__1_3 n23_a_thrust__1_1_1 VAG;_Tn_ n23_a_thrust__1_1->n23_a_thrust__1_1_1 n23_a_thrust__1_1_2 NP-OB1 n23_a_thrust__1_1->n23_a_thrust__1_1_2 n23_a_thrust__1_1_1->n23_a_thrust__1_1_1_1 n23_a_thrust__1_1_2_1 D n23_a_thrust__1_1_2->n23_a_thrust__1_1_2_1 n23_a_thrust__1_1_2_2 N n23_a_thrust__1_1_2->n23_a_thrust__1_1_2_2 n23_a_thrust__1_1_2_3 N n23_a_thrust__1_1_2->n23_a_thrust__1_1_2_3 n23_a_thrust__1_1_2_1->n23_a_thrust__1_1_2_1_1 n23_a_thrust__1_1_2_2->n23_a_thrust__1_1_2_2_1 n23_a_thrust__1_1_2_3->n23_a_thrust__1_1_2_3_1 n23_a_thrust__1_2->n23_a_thrust__1_2_1 n23_a_thrust__1_3_1 NUM n23_a_thrust__1_3->n23_a_thrust__1_3_1 n23_a_thrust__1_3_2 NS n23_a_thrust__1_3->n23_a_thrust__1_3_2 n23_a_thrust__1_3_1->n23_a_thrust__1_3_1_1 n23_a_thrust__1_3_2->n23_a_thrust__1_3_2_1 
( (IP-MAT (IP-PPL-SBJ (VAG;_Tn_ Destroying;{destroy})
                      (NP-OB1 (D a;{a})
                              (N limpet;{limpet})
                              (N gun;{gun})))
          (PUNC ....)
          (NP-PRD (NUM 750)
                  (NS points;{point})))
  (ID 23_a_thrust))