24_a_lob_n01
A tiny red light sprang into life, only to fade as the screen of the second radar scanner came into operation.
arc(r_0024_0001__A_r_0024_0004__light, r_0024_0002__tiny, attrib5).
arc(r_0024_0001__A_r_0024_0004__light, r_0024_0003__red, attrib8).
arc(r_0024_0005__sprang, r_0024_0001__A_r_0024_0004__light, arg0).
arc(r_0024_0005__sprang, r_0024_0007__life, r_0024_0006__into_clr18).
arc(r_0024_0005__sprang, r_0024_0009__only, nim23).
arc(r_0024_0010__to_r_0024_0011__fade, r_0024_0001__A_r_0024_0004__light, arg0).
arc(r_0024_0012__as, r_0024_0010__to_r_0024_0011__fade, scope).
arc(r_0024_0012__as, r_0024_0020__came, restriction).
arc(r_0024_0013__the_r_0024_0014__screen, r_0024_0016__the_r_0024_0017__second_r_0024_0018__radar_r_0024_0019__scanner, r_0024_0015__of).
arc(r_0024_0020__came, r_0024_0013__the_r_0024_0014__screen, arg0).
arc(r_0024_0020__came, r_0024_0022__operation, r_0024_0021__into_nim58).
arc(z_000_24_a_lob_n01_26, r_0024_0005__sprang, scope).
arc(z_000_24_a_lob_n01_26, r_0024_0012__as, restriction).
fof(formula,axiom,
? [R_0024_0002__TINY,R_0024_0003__RED,R_0024_0001__A_R_0024_0004__LIGHT,R_0024_0007__LIFE,R_0024_0009__ONLY,R_0024_0005__SPRANG,R_0024_0010__TO_R_0024_0011__FADE,R_0024_0016__THE_R_0024_0017__SECOND_R_0024_0018__RADAR_R_0024_0019__SCANNER,R_0024_0013__THE_R_0024_0014__SCREEN,R_0024_0022__OPERATION,R_0024_0020__CAME,R_0024_0012__AS,Z_000_24_A_LOB_N01_26] :
( r_0024_0002__tiny(R_0024_0002__TINY)
& r_0024_0003__red(R_0024_0003__RED)
& r_0024_0007__life(R_0024_0007__LIFE)
& r_0024_0009__only(R_0024_0009__ONLY)
& r_0024_0016__the_r_0024_0017__second_r_0024_0018__radar_r_0024_0019__scanner(R_0024_0016__THE_R_0024_0017__SECOND_R_0024_0018__RADAR_R_0024_0019__SCANNER)
& r_0024_0022__operation(R_0024_0022__OPERATION)
& z_000_24_a_lob_n01_26(Z_000_24_A_LOB_N01_26)
& has_conj1(Z_000_24_A_LOB_N01_26,R_0024_0012__AS)
& r_0024_0012__as(R_0024_0012__AS)
& has_conj1(R_0024_0012__AS,R_0024_0020__CAME)
& r_0024_0020__came(R_0024_0020__CAME)
& has_r_0024_0021__into_nim58(R_0024_0020__CAME,R_0024_0022__OPERATION)
& has_arg0(R_0024_0020__CAME,R_0024_0013__THE_R_0024_0014__SCREEN)
& r_0024_0013__the_r_0024_0014__screen(R_0024_0013__THE_R_0024_0014__SCREEN)
& has_r_0024_0015__of(R_0024_0013__THE_R_0024_0014__SCREEN,R_0024_0016__THE_R_0024_0017__SECOND_R_0024_0018__RADAR_R_0024_0019__SCANNER)
& has_conj2(R_0024_0012__AS,R_0024_0010__TO_R_0024_0011__FADE)
& r_0024_0010__to_r_0024_0011__fade(R_0024_0010__TO_R_0024_0011__FADE)
& has_arg0(R_0024_0010__TO_R_0024_0011__FADE,R_0024_0001__A_R_0024_0004__LIGHT)
& r_0024_0001__A_r_0024_0004__light(R_0024_0001__A_R_0024_0004__LIGHT)
& has_attrib8(R_0024_0001__A_R_0024_0004__LIGHT,R_0024_0003__RED)
& has_attrib5(R_0024_0001__A_R_0024_0004__LIGHT,R_0024_0002__TINY)
& has_conj2(Z_000_24_A_LOB_N01_26,R_0024_0005__SPRANG)
& r_0024_0005__sprang(R_0024_0005__SPRANG)
& has_nim23(R_0024_0005__SPRANG,R_0024_0009__ONLY)
& has_r_0024_0006__into_clr18(R_0024_0005__SPRANG,R_0024_0007__LIFE)
& has_arg0(R_0024_0005__SPRANG,R_0024_0001__A_R_0024_0004__LIGHT) ) ).
( (IP-MAT (NP-SBJ (D A;{a})
(ADJP (ADJ tiny;{tiny}))
(ADJP (ADJ red;{red}))
(N light;{light}))
(VBD;_Ipr_ sprang;{spring[into]})
(PP-CLR (P-ROLE into;{into})
(NP (N life;{life})))
(PUNC ,)
(ADVP-NIM (ADV only;{only}))
(PP-SCON (IP-INF (TO to;{to})
(VB;_I_ fade;{fade})
(PP-SCON (P-CONN as;{as})
(IP-ADV (NP-SBJ (D the;{the})
(N screen;{screen})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(NUM second;{second})
(N radar;{radar})
(N scanner;{scanner}))))
(VBD;_Ipr_ came;{come[into]})
(PP-NIM (P-ROLE into;{into})
(NP (N operation;{operation})))))))
(PUNC .))
(ID 24_a_lob_n01))