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.
( (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))
arc(r_0024_0001__A_r_0024_0004__light,r_0024_0002__tiny,attrib).
arc(r_0024_0001__A_r_0024_0004__light,r_0024_0003__red,attrib).
arc(r_0024_0005__sprang_r_0024_0006__into,r_0024_0001__A_r_0024_0004__light,arg0).
arc(r_0024_0005__sprang_r_0024_0006__into,r_0024_0007__life,arg1).
arc(r_0024_0005__sprang_r_0024_0006__into,r_0024_0009__only,nim).
arc(r_0024_0011__fade,r_0024_0007__life,arg0).
arc(r_0024_0012__as,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__nim).
arc(z_0024_5005,r_0024_0005__sprang_r_0024_0006__into,scope).
arc(z_0024_5005,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_0006__INTO,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_0024_5005] :
( 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_0024_5005(Z_0024_5005)
& has_conj1(Z_0024_5005,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__nim(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_0011__FADE)
& r_0024_0011__fade(R_0024_0011__FADE)
& has_arg0(R_0024_0011__FADE,R_0024_0007__LIFE)
& has_conj2(Z_0024_5005,R_0024_0005__SPRANG_R_0024_0006__INTO)
& r_0024_0005__sprang_r_0024_0006__into(R_0024_0005__SPRANG_R_0024_0006__INTO)
& has_nim(R_0024_0005__SPRANG_R_0024_0006__INTO,R_0024_0009__ONLY)
& has_arg1(R_0024_0005__SPRANG_R_0024_0006__INTO,R_0024_0007__LIFE)
& has_arg0(R_0024_0005__SPRANG_R_0024_0006__INTO,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_attrib(R_0024_0001__A_R_0024_0004__LIGHT,R_0024_0003__RED)
& has_attrib(R_0024_0001__A_R_0024_0004__LIGHT,R_0024_0002__TINY) ) ).