27_a_lob_n01
In the exceptional clarity he was even able to make a direct comparison between the radar image and the ground itself.
( (IP-MAT (PP-NIM (P-ROLE In;{in})
(NP (D the;{the})
(ADJP (ADJ exceptional;{exceptional}))
(N clarity;{clarity})))
(NP-SBJ;{GEOFFREY} (PRO he;{he}))
(BED;_La_ was;{be})
(ADJP-PRD (ADVP-NIM (ADV even;{even}))
(ADJ;_cat_ able;{able})
(IP-INF (TO to;{to})
(VB;_Tn_ make;{make})
(NP-OB1 (D a;{a})
(ADJP (ADJ direct;{direct}))
(N comparison;{comparison})
(PP (P-ROLE between;{between})
(NP (NLYR (NLYR (D the;{the})
(N radar;{radar})
(N image;{image}))
(CONJP (CONJ and;{and})
(NLYR (D the;{the})
(N ground;{ground})
(NP-RFL (PNX itself;{itself}))))))))))
(PUNC .))
(ID 27_a_lob_n01))
arc(r_0027_0002__the_r_0027_0004__clarity,r_0027_0003__exceptional,attrib).
arc(r_0027_0006__was,r_0027_0002__the_r_0027_0004__clarity,r_0027_0001__In__nim).
arc(r_0027_0006__was,r_0027_0008__able,scope).
arc(r_0027_0008__able,r_0027_0007__even,nim).
arc(r_0027_0008__able,r_0027_0010__make,scope).
arc(r_0027_0010__make,r_0027_0005__he,arg0).
arc(r_0027_0010__make,r_0027_0011__a_r_0027_0013__comparison,arg1).
arc(r_0027_0011__a_r_0027_0013__comparison,r_0027_0012__direct,attrib).
arc(r_0027_0011__a_r_0027_0013__comparison,r_0027_0018__and,r_0027_0014__between).
arc(r_0027_0018__and,r_0027_0015__the_r_0027_0016__radar_r_0027_0017__image,conj1).
arc(r_0027_0018__and,r_0027_0019__the_r_0027_0020__ground,conj2).
arc(r_0027_0019__the_r_0027_0020__ground,r_0027_0021__itself,rfl).
fof(formula,axiom,
? [R_0027_0003__EXCEPTIONAL,R_0027_0002__THE_R_0027_0004__CLARITY,R_0027_0007__EVEN,R_0027_0005__HE,R_0027_0012__DIRECT,R_0027_0015__THE_R_0027_0016__RADAR_R_0027_0017__IMAGE,R_0027_0021__ITSELF,R_0027_0019__THE_R_0027_0020__GROUND,R_0027_0018__AND,R_0027_0011__A_R_0027_0013__COMPARISON,R_0027_0006__WAS_R_0027_0008__ABLE_R_0027_0010__MAKE] :
( r_0027_0003__exceptional(R_0027_0003__EXCEPTIONAL)
& r_0027_0005__he(R_0027_0005__HE)
& r_0027_0007__even(R_0027_0007__EVEN)
& r_0027_0012__direct(R_0027_0012__DIRECT)
& r_0027_0015__the_r_0027_0016__radar_r_0027_0017__image(R_0027_0015__THE_R_0027_0016__RADAR_R_0027_0017__IMAGE)
& r_0027_0021__itself(R_0027_0021__ITSELF)
& r_0027_0006__was_r_0027_0008__able_r_0027_0010__make(R_0027_0006__WAS_R_0027_0008__ABLE_R_0027_0010__MAKE)
& has_arg1(R_0027_0006__WAS_R_0027_0008__ABLE_R_0027_0010__MAKE,R_0027_0011__A_R_0027_0013__COMPARISON)
& r_0027_0011__a_r_0027_0013__comparison(R_0027_0011__A_R_0027_0013__COMPARISON)
& has_r_0027_0014__between(R_0027_0011__A_R_0027_0013__COMPARISON,R_0027_0018__AND)
& r_0027_0018__and(R_0027_0018__AND)
& has_conj2(R_0027_0018__AND,R_0027_0019__THE_R_0027_0020__GROUND)
& r_0027_0019__the_r_0027_0020__ground(R_0027_0019__THE_R_0027_0020__GROUND)
& has_rfl(R_0027_0019__THE_R_0027_0020__GROUND,R_0027_0021__ITSELF)
& has_conj1(R_0027_0018__AND,R_0027_0015__THE_R_0027_0016__RADAR_R_0027_0017__IMAGE)
& has_attrib(R_0027_0011__A_R_0027_0013__COMPARISON,R_0027_0012__DIRECT)
& has_arg0(R_0027_0006__WAS_R_0027_0008__ABLE_R_0027_0010__MAKE,R_0027_0005__HE)
& has_nim(R_0027_0006__WAS_R_0027_0008__ABLE_R_0027_0010__MAKE,R_0027_0007__EVEN)
& has_r_0027_0001__In__nim(R_0027_0006__WAS_R_0027_0008__ABLE_R_0027_0010__MAKE,R_0027_0002__THE_R_0027_0004__CLARITY)
& r_0027_0002__the_r_0027_0004__clarity(R_0027_0002__THE_R_0027_0004__CLARITY)
& has_attrib(R_0027_0002__THE_R_0027_0004__CLARITY,R_0027_0003__EXCEPTIONAL) ) ).