Context                Previous, Next                Top


64_a_seiko_9r65
<bullseye> Impact

n64_a_seiko_9r65 n64_a_seiko_9r65__1_1_1 <bullseye> n64_a_seiko_9r65__1_2_1_1 Impact n64_a_seiko_9r65__1 FRAG n64_a_seiko_9r65__1_1 SYM n64_a_seiko_9r65__1->n64_a_seiko_9r65__1_1 n64_a_seiko_9r65__1_2 NP n64_a_seiko_9r65__1->n64_a_seiko_9r65__1_2 n64_a_seiko_9r65__1_1->n64_a_seiko_9r65__1_1_1 n64_a_seiko_9r65__1_2_1 N n64_a_seiko_9r65__1_2->n64_a_seiko_9r65__1_2_1 n64_a_seiko_9r65__1_2_1->n64_a_seiko_9r65__1_2_1_1 
( (FRAG (SYM <bullseye>)
        (NP (N Impact;{impact})))
  (ID 64_a_seiko_9r65))


%3 z_0064_5004 r_0064_0002__Impact Impact z_0064_5004->r_0064_0002__Impact 
arc(z_0064_5004,r_0064_0002__Impact,z_0064_5002).


%3 z_0064_5004 r_0064_0002__Impact Impact z_0064_5004->r_0064_0002__Impact 
fof(formula,axiom,
    ? [R_0064_0002__IMPACT,Z_0064_5004] :
      ( r_0064_0002__Impact(R_0064_0002__IMPACT)
      & z_0064_5004(Z_0064_5004)
      & has_z_0064_5002(Z_0064_5004,R_0064_0002__IMPACT) ) ).