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.
arc(r_0027_0002__the_r_0027_0004__clarity, r_0027_0003__exceptional, attrib8).
arc(r_0027_0006__was, r_0027_0002__the_r_0027_0004__clarity, r_0027_0001__In_nim5).
arc(r_0027_0006__was, r_0027_0005__he, arg0).
arc(r_0027_0006__was, r_0027_0008__able, prd).
arc(r_0027_0008__able, r_0027_0007__even, qual19).
arc(r_0027_0008__able, r_0027_0009__to_r_0027_0010__make, emb24).
arc(r_0027_0009__to_r_0027_0010__make, r_0027_0011__a_r_0027_0013__comparison, arg1).
arc(r_0027_0009__to_r_0027_0010__make, z_000_27_a_lob_n01_24, arg0).
arc(r_0027_0011__a_r_0027_0013__comparison, r_0027_0012__direct, attrib32).
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_0002__the_r_0027_0004__clarity, nim57).
fof(formula,axiom,
? [R_0027_0003__EXCEPTIONAL,R_0027_0002__THE_R_0027_0004__CLARITY,R_0027_0005__HE,R_0027_0007__EVEN,R_0027_0012__DIRECT,R_0027_0015__THE_R_0027_0016__RADAR_R_0027_0017__IMAGE,R_0027_0019__THE_R_0027_0020__GROUND,R_0027_0018__AND,R_0027_0011__A_R_0027_0013__COMPARISON,Z_000_27_A_LOB_N01_24,R_0027_0009__TO_R_0027_0010__MAKE,R_0027_0008__ABLE,R_0027_0006__WAS] :
( 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)
& z_000_27_a_lob_n01_24(Z_000_27_A_LOB_N01_24)
& r_0027_0006__was(R_0027_0006__WAS)
& has_prd(R_0027_0006__WAS,R_0027_0008__ABLE)
& r_0027_0008__able(R_0027_0008__ABLE)
& has_emb24(R_0027_0008__ABLE,R_0027_0009__TO_R_0027_0010__MAKE)
& r_0027_0009__to_r_0027_0010__make(R_0027_0009__TO_R_0027_0010__MAKE)
& has_arg0(R_0027_0009__TO_R_0027_0010__MAKE,Z_000_27_A_LOB_N01_24)
& has_arg1(R_0027_0009__TO_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_nim57(R_0027_0019__THE_R_0027_0020__GROUND,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_attrib8(R_0027_0002__THE_R_0027_0004__CLARITY,R_0027_0003__EXCEPTIONAL)
& has_conj1(R_0027_0018__AND,R_0027_0015__THE_R_0027_0016__RADAR_R_0027_0017__IMAGE)
& has_attrib32(R_0027_0011__A_R_0027_0013__COMPARISON,R_0027_0012__DIRECT)
& has_qual19(R_0027_0008__ABLE,R_0027_0007__EVEN)
& has_arg0(R_0027_0006__WAS,R_0027_0005__HE)
& has_r_0027_0001__In_nim5(R_0027_0006__WAS,R_0027_0002__THE_R_0027_0004__CLARITY) ) ).
( (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))