TSPC 27_a_seiko

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

( (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))

arc(r_0027_0004__could,r_0027_0001__Then,nim).
arc(r_0027_0004__could,r_0027_0006__be,scope).
arc(r_0027_0006__be,r_0027_0003__how,nim).
arc(r_0027_0006__be,r_0027_0007__possible,prd).
arc(r_0027_0006__be,r_0027_0009__achieve,arg0).
arc(r_0027_0009__achieve,r_0027_0011__a_r_0027_0012__degree,arg1).
arc(r_0027_0009__achieve,z_0027_5003,arg0).
arc(r_0027_0011__a_r_0027_0012__degree,r_0027_0010__such,attrib).
arc(r_0027_0011__a_r_0027_0012__degree,r_0027_0014__accuracy,r_0027_0013__of).

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_0027_5003,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_0027_5003(Z_0027_5003)
      & 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_0009__ACHIEVE)
      & r_0027_0009__achieve(R_0027_0009__ACHIEVE)
      & has_arg0(R_0027_0009__ACHIEVE,Z_0027_5003)
      & has_arg1(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_attrib(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_nim(R_0027_0004__COULD_R_0027_0006__BE,R_0027_0003__HOW)
      & has_nim(R_0027_0004__COULD_R_0027_0006__BE,R_0027_0001__THEN) ) ).