94_a_lob_n01
It certainly seemed to apply to Alastair.
arc(r_0094_0003__seemed, r_0094_0002__certainly, nim5).
arc(r_0094_0003__seemed, r_0094_0004__to_r_0094_0005__apply, scope).
arc(r_0094_0004__to_r_0094_0005__apply, r_0094_0001__It, arg0).
arc(r_0094_0004__to_r_0094_0005__apply, r_0094_0007__Alastair, r_0094_0006__to_clr18).
fof(formula,axiom,
? [R_0094_0002__CERTAINLY,R_0094_0001__IT,R_0094_0007__ALASTAIR,R_0094_0003__SEEMED_R_0094_0004__TO_R_0094_0005__APPLY] :
( r_0094_0001__It(R_0094_0001__IT)
& r_0094_0002__certainly(R_0094_0002__CERTAINLY)
& r_0094_0007__Alastair(R_0094_0007__ALASTAIR)
& r_0094_0003__seemed_r_0094_0004__to_r_0094_0005__apply(R_0094_0003__SEEMED_R_0094_0004__TO_R_0094_0005__APPLY)
& has_r_0094_0006__to_clr18(R_0094_0003__SEEMED_R_0094_0004__TO_R_0094_0005__APPLY,R_0094_0007__ALASTAIR)
& has_arg0(R_0094_0003__SEEMED_R_0094_0004__TO_R_0094_0005__APPLY,R_0094_0001__IT)
& has_nim5(R_0094_0003__SEEMED_R_0094_0004__TO_R_0094_0005__APPLY,R_0094_0002__CERTAINLY) ) ).
( (IP-MAT (NP-SBJ (PRO It;{it}))
(ADVP-NIM (ADV certainly;{certainly}))
(VBD;_cat_Vt_ seemed;{seem})
(IP-INF-CAT (TO to;{to})
(VB;__ apply;{apply})
(PP-CLR (P-ROLE to;{to})
(NP;{ALASTAIR} (NPR Alastair;{Alastair}))))
(PUNC .))
(ID 94_a_lob_n01))