arc(r_0049_0001__The_r_0049_0003__application, r_0049_0002__practical, attrib5).
arc(r_0049_0001__The_r_0049_0003__application, r_0049_0005__the_r_0049_0007__idea, r_0049_0004__of).
arc(r_0049_0005__the_r_0049_0007__idea, r_0049_0006__above, qual16).
arc(r_0049_0008__will, r_0049_0009__involve, scope).
arc(r_0049_0009__involve, r_0049_0001__The_r_0049_0003__application, arg0).
arc(r_0049_0009__involve, r_0049_0011__experimentation, arg1).
arc(r_0049_0011__experimentation, r_0049_0010__considerable, attrib27).
arc(r_0049_0012__before, r_0049_0008__will, scope).
arc(r_0049_0012__before, r_0049_0014__can, restriction).
arc(r_0049_0014__can, r_0049_0015__be, scope).
arc(r_0049_0015__be, r_0049_0016__realised, scope).
arc(r_0049_0016__realised, r_0049_0001__The_r_0049_0003__application, arg1).
arc(r_0049_0016__realised, z_000_49_a_lob_j01_45, arg0).

fof(formula,axiom,
    ? [R_0049_0002__PRACTICAL,R_0049_0006__ABOVE,R_0049_0005__THE_R_0049_0007__IDEA,R_0049_0001__THE_R_0049_0003__APPLICATION,R_0049_0010__CONSIDERABLE,R_0049_0011__EXPERIMENTATION,R_0049_0008__WILL_R_0049_0009__INVOLVE,Z_000_49_A_LOB_J01_45,R_0049_0014__CAN_R_0049_0015__BE_R_0049_0016__REALISED,R_0049_0012__BEFORE] :
      ( r_0049_0002__practical(R_0049_0002__PRACTICAL)
      & r_0049_0006__above(R_0049_0006__ABOVE)
      & r_0049_0010__considerable(R_0049_0010__CONSIDERABLE)
      & z_000_49_a_lob_j01_45(Z_000_49_A_LOB_J01_45)
      & r_0049_0012__before(R_0049_0012__BEFORE)
      & has_conj1(R_0049_0012__BEFORE,R_0049_0014__CAN_R_0049_0015__BE_R_0049_0016__REALISED)
      & r_0049_0014__can_r_0049_0015__be_r_0049_0016__realised(R_0049_0014__CAN_R_0049_0015__BE_R_0049_0016__REALISED)
      & has_arg0(R_0049_0014__CAN_R_0049_0015__BE_R_0049_0016__REALISED,Z_000_49_A_LOB_J01_45)
      & has_arg1(R_0049_0014__CAN_R_0049_0015__BE_R_0049_0016__REALISED,R_0049_0001__THE_R_0049_0003__APPLICATION)
      & r_0049_0001__The_r_0049_0003__application(R_0049_0001__THE_R_0049_0003__APPLICATION)
      & has_r_0049_0004__of(R_0049_0001__THE_R_0049_0003__APPLICATION,R_0049_0005__THE_R_0049_0007__IDEA)
      & r_0049_0005__the_r_0049_0007__idea(R_0049_0005__THE_R_0049_0007__IDEA)
      & has_qual16(R_0049_0005__THE_R_0049_0007__IDEA,R_0049_0006__ABOVE)
      & has_attrib5(R_0049_0001__THE_R_0049_0003__APPLICATION,R_0049_0002__PRACTICAL)
      & has_conj2(R_0049_0012__BEFORE,R_0049_0008__WILL_R_0049_0009__INVOLVE)
      & r_0049_0008__will_r_0049_0009__involve(R_0049_0008__WILL_R_0049_0009__INVOLVE)
      & has_arg1(R_0049_0008__WILL_R_0049_0009__INVOLVE,R_0049_0011__EXPERIMENTATION)
      & r_0049_0011__experimentation(R_0049_0011__EXPERIMENTATION)
      & has_attrib27(R_0049_0011__EXPERIMENTATION,R_0049_0010__CONSIDERABLE)
      & has_arg0(R_0049_0008__WILL_R_0049_0009__INVOLVE,R_0049_0001__THE_R_0049_0003__APPLICATION) ) ).

( (IP-MAT (NP-SBJ;{APPLICATION} (D The;{the})
                                (ADJP (ADJ practical;{practical}))
                                (N application;{application})
                                (PP (P-ROLE of;{of})
                                    (NP (D the;{the})
                                        (ADVP (ADV above;{above}))
                                        (N idea;{idea}))))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (VB;_Tn_ involve;{involve})
                      (NP-OB1 (ADJP (ADJ considerable;{considerable}))
                              (N experimentation;{experimentation})))
          (PP-SCON (P-CONN before;{before})
                   (IP-ADV (NP-SBJ;{APPLICATION} (PRO it;{it}))
                           (MD;_cat_Vi_ can;{can})
                           (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                                       (IP-PPL-CAT (NP-LGS *)
                                                   (VVN;_Tn_ realised;{realise})))))
          (PUNC .))
  (ID 49_a_lob_j01))