16_a_loosechange
She had the most spectacular eyebrows.
( (IP-MAT (NP-SBJ;{LAYLOR} (PRO She;{she}))
(HVD;_Tn_ had;{have})
(NP-OB1 (D the;{the})
(ADJP (ADVP (ADVS most;{most}))
(ADJ spectacular;{spectacular}))
(NS eyebrows;{eyebrow}))
(PUNC .))
(ID 16_a_loosechange))
arc(r_0016_0002__had,r_0016_0001__She,arg0).
arc(r_0016_0002__had,r_0016_0003__the_r_0016_0006__eyebrows,arg1).
arc(r_0016_0003__the_r_0016_0006__eyebrows,r_0016_0005__spectacular,attrib).
arc(r_0016_0005__spectacular,r_0016_0004__most,qual).
fof(formula,axiom,
? [R_0016_0001__SHE,R_0016_0004__MOST,R_0016_0005__SPECTACULAR,R_0016_0003__THE_R_0016_0006__EYEBROWS,R_0016_0002__HAD] :
( r_0016_0001__She(R_0016_0001__SHE)
& r_0016_0004__most(R_0016_0004__MOST)
& r_0016_0002__had(R_0016_0002__HAD)
& has_arg1(R_0016_0002__HAD,R_0016_0003__THE_R_0016_0006__EYEBROWS)
& r_0016_0003__the_r_0016_0006__eyebrows(R_0016_0003__THE_R_0016_0006__EYEBROWS)
& has_attrib(R_0016_0003__THE_R_0016_0006__EYEBROWS,R_0016_0005__SPECTACULAR)
& r_0016_0005__spectacular(R_0016_0005__SPECTACULAR)
& has_qual(R_0016_0005__SPECTACULAR,R_0016_0004__MOST)
& has_arg0(R_0016_0002__HAD,R_0016_0001__SHE) ) ).