Context                Previous, Next                Top


27_a_seiko_9r65
Then, how could it be possible to achieve such a degree of accuracy?

%3 r_0027_0004__could could r_0027_0001__Then Then r_0027_0004__could->r_0027_0001__Then [nim] r_0027_0006__be be r_0027_0004__could->r_0027_0006__be [scope] r_0027_0003__how how r_0027_0006__be->r_0027_0003__how [nim] r_0027_0007__possible possible r_0027_0006__be->r_0027_0007__possible [prd] r_0027_0008__to_r_0027_0009__achieve to achieve r_0027_0006__be->r_0027_0008__to_r_0027_0009__achieve [arg0] r_0027_0011__a_r_0027_0012__degree a degree r_0027_0008__to_r_0027_0009__achieve->r_0027_0011__a_r_0027_0012__degree [arg1] z_000_27_a_seiko_9r65_13 r_0027_0008__to_r_0027_0009__achieve->z_000_27_a_seiko_9r65_13 [arg0] r_0027_0010__such such r_0027_0011__a_r_0027_0012__degree->r_0027_0010__such [attrib] r_0027_0014__accuracy accuracy r_0027_0011__a_r_0027_0012__degree->r_0027_0014__accuracy of 
arc(r_0027_0004__could, r_0027_0001__Then, nim3).
arc(r_0027_0004__could, r_0027_0006__be, scope).
arc(r_0027_0006__be, r_0027_0003__how, nim17).
arc(r_0027_0006__be, r_0027_0007__possible, prd).
arc(r_0027_0006__be, r_0027_0008__to_r_0027_0009__achieve, arg0).
arc(r_0027_0008__to_r_0027_0009__achieve, r_0027_0011__a_r_0027_0012__degree, arg1).
arc(r_0027_0008__to_r_0027_0009__achieve, z_000_27_a_seiko_9r65_13, arg0).
arc(r_0027_0011__a_r_0027_0012__degree, r_0027_0010__such, attrib30).
arc(r_0027_0011__a_r_0027_0012__degree, r_0027_0014__accuracy, r_0027_0013__of).


%3 r_0027_0011__a_r_0027_0012__degree a degree r_0027_0014__accuracy accuracy r_0027_0011__a_r_0027_0012__degree->r_0027_0014__accuracy of r_0027_0010__such such r_0027_0011__a_r_0027_0012__degree->r_0027_0010__such [attrib] r_0027_0008__to_r_0027_0009__achieve to achieve r_0027_0008__to_r_0027_0009__achieve->r_0027_0011__a_r_0027_0012__degree [arg1] z_000_27_a_seiko_9r65_13 r_0027_0008__to_r_0027_0009__achieve->z_000_27_a_seiko_9r65_13 [arg0] r_0027_0004__could_r_0027_0006__be could be r_0027_0004__could_r_0027_0006__be->r_0027_0008__to_r_0027_0009__achieve [arg0] r_0027_0007__possible possible r_0027_0004__could_r_0027_0006__be->r_0027_0007__possible [prd] r_0027_0003__how how r_0027_0004__could_r_0027_0006__be->r_0027_0003__how [nim] r_0027_0001__Then Then r_0027_0004__could_r_0027_0006__be->r_0027_0001__Then [nim] 
fof(formula,axiom,
    ? [R_0027_0001__THEN,R_0027_0003__HOW,R_0027_0007__POSSIBLE,R_0027_0010__SUCH,R_0027_0014__ACCURACY,R_0027_0011__A_R_0027_0012__DEGREE,Z_000_27_A_SEIKO_9R65_13,R_0027_0008__TO_R_0027_0009__ACHIEVE,R_0027_0004__COULD_R_0027_0006__BE] :
      ( r_0027_0001__Then(R_0027_0001__THEN)
      & r_0027_0003__how(R_0027_0003__HOW)
      & r_0027_0007__possible(R_0027_0007__POSSIBLE)
      & r_0027_0010__such(R_0027_0010__SUCH)
      & r_0027_0014__accuracy(R_0027_0014__ACCURACY)
      & z_000_27_a_seiko_9r65_13(Z_000_27_A_SEIKO_9R65_13)
      & r_0027_0004__could_r_0027_0006__be(R_0027_0004__COULD_R_0027_0006__BE)
      & has_arg0(R_0027_0004__COULD_R_0027_0006__BE,R_0027_0008__TO_R_0027_0009__ACHIEVE)
      & r_0027_0008__to_r_0027_0009__achieve(R_0027_0008__TO_R_0027_0009__ACHIEVE)
      & has_arg0(R_0027_0008__TO_R_0027_0009__ACHIEVE,Z_000_27_A_SEIKO_9R65_13)
      & has_arg1(R_0027_0008__TO_R_0027_0009__ACHIEVE,R_0027_0011__A_R_0027_0012__DEGREE)
      & r_0027_0011__a_r_0027_0012__degree(R_0027_0011__A_R_0027_0012__DEGREE)
      & has_r_0027_0013__of(R_0027_0011__A_R_0027_0012__DEGREE,R_0027_0014__ACCURACY)
      & has_attrib30(R_0027_0011__A_R_0027_0012__DEGREE,R_0027_0010__SUCH)
      & has_prd(R_0027_0004__COULD_R_0027_0006__BE,R_0027_0007__POSSIBLE)
      & has_nim17(R_0027_0004__COULD_R_0027_0006__BE,R_0027_0003__HOW)
      & has_nim3(R_0027_0004__COULD_R_0027_0006__BE,R_0027_0001__THEN) ) ).


n27_a_seiko_9r65 n27_a_seiko_9r65__1_1_1_1_1 Then n27_a_seiko_9r65__1_1_2_1 , n27_a_seiko_9r65__1_1_3_1_1 how n27_a_seiko_9r65__1_1_4_1 could n27_a_seiko_9r65__1_1_5_1_1 it n27_a_seiko_9r65__1_1_6_1_1 *ICH*-152 n27_a_seiko_9r65__1_1_6_2_1 be n27_a_seiko_9r65__1_1_6_3_1_1 possible n27_a_seiko_9r65__1_1_6_4_1_1 to n27_a_seiko_9r65__1_1_6_4_2_1 achieve n27_a_seiko_9r65__1_1_6_4_3_1_1_1 such n27_a_seiko_9r65__1_1_6_4_3_2_1 a n27_a_seiko_9r65__1_1_6_4_3_3_1 degree n27_a_seiko_9r65__1_1_6_4_3_4_1_1 of n27_a_seiko_9r65__1_1_6_4_3_4_2_1_1 accuracy n27_a_seiko_9r65__1_2_1 ? n27_a_seiko_9r65__1 CP-QUE-MAT n27_a_seiko_9r65__1_1 IP-SUB n27_a_seiko_9r65__1->n27_a_seiko_9r65__1_1 n27_a_seiko_9r65__1_2 PUNC n27_a_seiko_9r65__1->n27_a_seiko_9r65__1_2 n27_a_seiko_9r65__1_1_1 ADVP-NIM n27_a_seiko_9r65__1_1->n27_a_seiko_9r65__1_1_1 n27_a_seiko_9r65__1_1_2 PUNC n27_a_seiko_9r65__1_1->n27_a_seiko_9r65__1_1_2 n27_a_seiko_9r65__1_1_3 ADVP-152 n27_a_seiko_9r65__1_1->n27_a_seiko_9r65__1_1_3 n27_a_seiko_9r65__1_1_4 MD;_cat_Vi_ n27_a_seiko_9r65__1_1->n27_a_seiko_9r65__1_1_4 n27_a_seiko_9r65__1_1_5 NP-SBJ n27_a_seiko_9r65__1_1->n27_a_seiko_9r65__1_1_5 n27_a_seiko_9r65__1_1_6 IP-INF-CAT n27_a_seiko_9r65__1_1->n27_a_seiko_9r65__1_1_6 n27_a_seiko_9r65__1_1_1_1 ADV n27_a_seiko_9r65__1_1_1->n27_a_seiko_9r65__1_1_1_1 n27_a_seiko_9r65__1_1_1_1->n27_a_seiko_9r65__1_1_1_1_1 n27_a_seiko_9r65__1_1_2->n27_a_seiko_9r65__1_1_2_1 n27_a_seiko_9r65__1_1_3_1 WADV n27_a_seiko_9r65__1_1_3->n27_a_seiko_9r65__1_1_3_1 n27_a_seiko_9r65__1_1_3_1->n27_a_seiko_9r65__1_1_3_1_1 n27_a_seiko_9r65__1_1_4->n27_a_seiko_9r65__1_1_4_1 n27_a_seiko_9r65__1_1_5_1 PRO;_provisional_ n27_a_seiko_9r65__1_1_5->n27_a_seiko_9r65__1_1_5_1 n27_a_seiko_9r65__1_1_5_1->n27_a_seiko_9r65__1_1_5_1_1 n27_a_seiko_9r65__1_1_6_1 ADVP-NIM n27_a_seiko_9r65__1_1_6->n27_a_seiko_9r65__1_1_6_1 n27_a_seiko_9r65__1_1_6_2 BE;_La_ n27_a_seiko_9r65__1_1_6->n27_a_seiko_9r65__1_1_6_2 n27_a_seiko_9r65__1_1_6_3 ADJP-PRD n27_a_seiko_9r65__1_1_6->n27_a_seiko_9r65__1_1_6_3 n27_a_seiko_9r65__1_1_6_4 IP-INF-NSBJ n27_a_seiko_9r65__1_1_6->n27_a_seiko_9r65__1_1_6_4 n27_a_seiko_9r65__1_1_6_1->n27_a_seiko_9r65__1_1_6_1_1 n27_a_seiko_9r65__1_1_6_2->n27_a_seiko_9r65__1_1_6_2_1 n27_a_seiko_9r65__1_1_6_3_1 ADJ n27_a_seiko_9r65__1_1_6_3->n27_a_seiko_9r65__1_1_6_3_1 n27_a_seiko_9r65__1_1_6_3_1->n27_a_seiko_9r65__1_1_6_3_1_1 n27_a_seiko_9r65__1_1_6_4_1 TO n27_a_seiko_9r65__1_1_6_4->n27_a_seiko_9r65__1_1_6_4_1 n27_a_seiko_9r65__1_1_6_4_2 VB;_Tn_ n27_a_seiko_9r65__1_1_6_4->n27_a_seiko_9r65__1_1_6_4_2 n27_a_seiko_9r65__1_1_6_4_3 NP-OB1 n27_a_seiko_9r65__1_1_6_4->n27_a_seiko_9r65__1_1_6_4_3 n27_a_seiko_9r65__1_1_6_4_1->n27_a_seiko_9r65__1_1_6_4_1_1 n27_a_seiko_9r65__1_1_6_4_2->n27_a_seiko_9r65__1_1_6_4_2_1 n27_a_seiko_9r65__1_1_6_4_3_1 ADJP n27_a_seiko_9r65__1_1_6_4_3->n27_a_seiko_9r65__1_1_6_4_3_1 n27_a_seiko_9r65__1_1_6_4_3_2 D n27_a_seiko_9r65__1_1_6_4_3->n27_a_seiko_9r65__1_1_6_4_3_2 n27_a_seiko_9r65__1_1_6_4_3_3 N n27_a_seiko_9r65__1_1_6_4_3->n27_a_seiko_9r65__1_1_6_4_3_3 n27_a_seiko_9r65__1_1_6_4_3_4 PP n27_a_seiko_9r65__1_1_6_4_3->n27_a_seiko_9r65__1_1_6_4_3_4 n27_a_seiko_9r65__1_1_6_4_3_1_1 ADJ;_such_ n27_a_seiko_9r65__1_1_6_4_3_1->n27_a_seiko_9r65__1_1_6_4_3_1_1 n27_a_seiko_9r65__1_1_6_4_3_1_1->n27_a_seiko_9r65__1_1_6_4_3_1_1_1 n27_a_seiko_9r65__1_1_6_4_3_2->n27_a_seiko_9r65__1_1_6_4_3_2_1 n27_a_seiko_9r65__1_1_6_4_3_3->n27_a_seiko_9r65__1_1_6_4_3_3_1 n27_a_seiko_9r65__1_1_6_4_3_4_1 P-ROLE n27_a_seiko_9r65__1_1_6_4_3_4->n27_a_seiko_9r65__1_1_6_4_3_4_1 n27_a_seiko_9r65__1_1_6_4_3_4_2 NP n27_a_seiko_9r65__1_1_6_4_3_4->n27_a_seiko_9r65__1_1_6_4_3_4_2 n27_a_seiko_9r65__1_1_6_4_3_4_1->n27_a_seiko_9r65__1_1_6_4_3_4_1_1 n27_a_seiko_9r65__1_1_6_4_3_4_2_1 N n27_a_seiko_9r65__1_1_6_4_3_4_2->n27_a_seiko_9r65__1_1_6_4_3_4_2_1 n27_a_seiko_9r65__1_1_6_4_3_4_2_1->n27_a_seiko_9r65__1_1_6_4_3_4_2_1_1 n27_a_seiko_9r65__1_2->n27_a_seiko_9r65__1_2_1 
( (CP-QUE-MAT (IP-SUB (ADVP-NIM (ADV Then;{then}))
                      (PUNC ,)
                      (ADVP-152 (WADV how;{how}))
                      (MD;_cat_Vi_ could;{can})
                      (NP-SBJ (PRO;_provisional_ it;{it}))
                      (IP-INF-CAT (ADVP-NIM *ICH*-152)
                                  (BE;_La_ be;{be})
                                  (ADJP-PRD (ADJ possible;{possible}))
                                  (IP-INF-NSBJ (TO to;{to})
                                               (VB;_Tn_ achieve;{achieve})
                                               (NP-OB1;{ACCURACY} (ADJP (ADJ;_such_ such;{such}))
                                                                  (D a;{a})
                                                                  (N degree;{degree})
                                                                  (PP (P-ROLE of;{of})
                                                                      (NP (N accuracy;{accuracy})))))))
              (PUNC ?))
  (ID 27_a_seiko_9r65))