49_a_lob_j01
The practical application of the above idea will involve considerable experimentation before it can be realised.
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_49_12_BEFORE,R_49_14_CAN_BE_REALISED,Z_49_A_LOB_J01_45,R_49_8_WILL_INVOLVE,R_49_1_THE_APPLICATION,R_49_2_PRACTICAL,R_49_5_THE_IDEA,R_49_6_ABOVE,R_49_11_EXPERIMENTATION,R_49_10_CONSIDERABLE] :
( practical(R_49_2_PRACTICAL)
& above(R_49_6_ABOVE)
& considerable(R_49_10_CONSIDERABLE)
& before(R_49_12_BEFORE)
& conj1(R_49_12_BEFORE,R_49_14_CAN_BE_REALISED)
& can_be_realised(R_49_14_CAN_BE_REALISED,Z_49_A_LOB_J01_45,R_49_1_THE_APPLICATION)
& the_application(R_49_1_THE_APPLICATION)
& attrib5(R_49_1_THE_APPLICATION,R_49_2_PRACTICAL)
& of(R_49_1_THE_APPLICATION,R_49_5_THE_IDEA)
& the_idea(R_49_5_THE_IDEA)
& qual16(R_49_5_THE_IDEA,R_49_6_ABOVE)
& conj2(R_49_12_BEFORE,R_49_8_WILL_INVOLVE)
& will_involve(R_49_8_WILL_INVOLVE,R_49_1_THE_APPLICATION,R_49_11_EXPERIMENTATION)
& experimentation(R_49_11_EXPERIMENTATION)
& attrib27(R_49_11_EXPERIMENTATION,R_49_10_CONSIDERABLE) ) ).
( (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))