TSPC 70_a_lob

70_a_lob_j01
Whether such an apparatus can be incorporated in a reactor circuit in a manner that will satisfy safety requirements will need further study.

arc(r_0070_0001__Whether_r_0070_0005__can, r_0070_0006__be, scope).
arc(r_0070_0003__an_r_0070_0004__apparatus, r_0070_0002__such, attrib7).
arc(r_0070_0006__be, r_0070_0007__incorporated, scope).
arc(r_0070_0007__incorporated, r_0070_0003__an_r_0070_0004__apparatus, arg1).
arc(r_0070_0007__incorporated, r_0070_0009__a_r_0070_0010__reactor_r_0070_0011__circuit, r_0070_0008__in_nim27).
arc(r_0070_0007__incorporated, r_0070_0013__a_r_0070_0014__manner, r_0070_0012__in_nim37).
arc(r_0070_0007__incorporated, z_000_70_a_lob_j01_20, arg0).
arc(r_0070_0015__that_r_0070_0016__will, r_0070_0017__satisfy, scope).
arc(r_0070_0017__satisfy, r_0070_0013__a_r_0070_0014__manner, arg0).
arc(r_0070_0017__satisfy, r_0070_0018__safety_r_0070_0019__requirements, arg1).
arc(r_0070_0020__will, r_0070_0021__need, scope).
arc(r_0070_0021__need, r_0070_0001__Whether_r_0070_0005__can, arg0).
arc(r_0070_0021__need, r_0070_0023__study, arg1).
arc(r_0070_0023__study, r_0070_0022__further, attrib63).

fof(formula,axiom,
    ? [R_0070_0013__A_R_0070_0014__MANNER,R_0070_0018__SAFETY_R_0070_0019__REQUIREMENTS,R_0070_0015__THAT_R_0070_0016__WILL_R_0070_0017__SATISFY,R_0070_0002__SUCH,R_0070_0003__AN_R_0070_0004__APPARATUS,R_0070_0009__A_R_0070_0010__REACTOR_R_0070_0011__CIRCUIT,Z_000_70_A_LOB_J01_20,R_0070_0001__WHETHER_R_0070_0005__CAN_R_0070_0006__BE_R_0070_0007__INCORPORATED,R_0070_0022__FURTHER,R_0070_0023__STUDY,R_0070_0020__WILL_R_0070_0021__NEED] :
      ( r_0070_0002__such(R_0070_0002__SUCH)
      & r_0070_0009__a_r_0070_0010__reactor_r_0070_0011__circuit(R_0070_0009__A_R_0070_0010__REACTOR_R_0070_0011__CIRCUIT)
      & r_0070_0013__a_r_0070_0014__manner(R_0070_0013__A_R_0070_0014__MANNER)
      & r_0070_0018__safety_r_0070_0019__requirements(R_0070_0018__SAFETY_R_0070_0019__REQUIREMENTS)
      & r_0070_0022__further(R_0070_0022__FURTHER)
      & z_000_70_a_lob_j01_20(Z_000_70_A_LOB_J01_20)
      & r_0070_0020__will_r_0070_0021__need(R_0070_0020__WILL_R_0070_0021__NEED)
      & has_arg1(R_0070_0020__WILL_R_0070_0021__NEED,R_0070_0023__STUDY)
      & r_0070_0023__study(R_0070_0023__STUDY)
      & has_attrib63(R_0070_0023__STUDY,R_0070_0022__FURTHER)
      & has_arg0(R_0070_0020__WILL_R_0070_0021__NEED,R_0070_0001__WHETHER_R_0070_0005__CAN_R_0070_0006__BE_R_0070_0007__INCORPORATED)
      & r_0070_0001__Whether_r_0070_0005__can_r_0070_0006__be_r_0070_0007__incorporated(R_0070_0001__WHETHER_R_0070_0005__CAN_R_0070_0006__BE_R_0070_0007__INCORPORATED)
      & has_arg0(R_0070_0001__WHETHER_R_0070_0005__CAN_R_0070_0006__BE_R_0070_0007__INCORPORATED,Z_000_70_A_LOB_J01_20)
      & has_r_0070_0012__in_nim37(R_0070_0001__WHETHER_R_0070_0005__CAN_R_0070_0006__BE_R_0070_0007__INCORPORATED,R_0070_0013__A_R_0070_0014__MANNER)
      & has_r_0070_0008__in_nim27(R_0070_0001__WHETHER_R_0070_0005__CAN_R_0070_0006__BE_R_0070_0007__INCORPORATED,R_0070_0009__A_R_0070_0010__REACTOR_R_0070_0011__CIRCUIT)
      & has_arg1(R_0070_0001__WHETHER_R_0070_0005__CAN_R_0070_0006__BE_R_0070_0007__INCORPORATED,R_0070_0003__AN_R_0070_0004__APPARATUS)
      & r_0070_0003__an_r_0070_0004__apparatus(R_0070_0003__AN_R_0070_0004__APPARATUS)
      & has_attrib7(R_0070_0003__AN_R_0070_0004__APPARATUS,R_0070_0002__SUCH)
      & r_0070_0015__that_r_0070_0016__will_r_0070_0017__satisfy(R_0070_0015__THAT_R_0070_0016__WILL_R_0070_0017__SATISFY)
      & has_arg1(R_0070_0015__THAT_R_0070_0016__WILL_R_0070_0017__SATISFY,R_0070_0018__SAFETY_R_0070_0019__REQUIREMENTS)
      & has_arg0(R_0070_0015__THAT_R_0070_0016__WILL_R_0070_0017__SATISFY,R_0070_0013__A_R_0070_0014__MANNER) ) ).

( (IP-MAT (CP-QUE-SBJ (IP-SUB (WQ Whether;{whether})
                              (NP-SBJ (ADJP (ADJ;_such_ such;{such}))
                                      (D an;{an})
                                      (N apparatus;{apparatus}))
                              (MD;_cat_Vi_ can;{can})
                              (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                                          (IP-PPL-CAT (NP-LGS *)
                                                      (VVN;__ incorporated;{incorporate})
                                                      (PP-NIM (P-ROLE in;{in})
                                                              (NP (D a;{a})
                                                                  (N reactor;{reactor})
                                                                  (N circuit;{circuit})))
                                                      (PP-NIM (P-ROLE in;{in})
                                                              (NP (D a;{a})
                                                                  (N manner;{manner})
                                                                  (IP-REL (C that;{that})
                                                                          (NP-SBJ *T*)
                                                                          (MD;_cat_Vi_ will;{will})
                                                                          (IP-INF-CAT (VB;__ satisfy;{satisfy})
                                                                                      (NP-OB1 (N safety;{safety})
                                                                                              (NS requirements;{requirement}))))))))))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (VB;__ need;{need})
                      (NP-OB1 (ADJP (ADJR further;{far}))
                              (N study;{study})))
          (PUNC .))
  (ID 70_a_lob_j01))