59_a_lob_n01
Geoffrey forced himself to consider another possible alternative.
arc(r_0059_0002__forced, r_0059_0001__Geoffrey, arg0).
arc(r_0059_0002__forced, r_0059_0001__Geoffrey, arg1).
arc(r_0059_0002__forced, r_0059_0004__to_r_0059_0005__consider, prd).
arc(r_0059_0004__to_r_0059_0005__consider, r_0059_0006__another_r_0059_0008__alternative, arg1).
arc(r_0059_0004__to_r_0059_0005__consider, x_000_59_a_lob_n01_10, arg0).
arc(r_0059_0006__another_r_0059_0008__alternative, r_0059_0007__possible, attrib18).
fof(formula,axiom,
? [R_59_2_FORCED,R_59_1_GEOFFREY,R_59_4_TO_CONSIDER,X_59_A_LOB_N01_10,R_59_6_ANOTHER_ALTERNATIVE,R_59_7_POSSIBLE] :
( geoffrey(R_59_1_GEOFFREY)
& possible(R_59_7_POSSIBLE)
& forced(R_59_2_FORCED,R_59_1_GEOFFREY,R_59_1_GEOFFREY,R_59_4_TO_CONSIDER)
& to_consider(R_59_4_TO_CONSIDER,X_59_A_LOB_N01_10,R_59_6_ANOTHER_ALTERNATIVE)
& another_alternative(R_59_6_ANOTHER_ALTERNATIVE)
& attrib18(R_59_6_ANOTHER_ALTERNATIVE,R_59_7_POSSIBLE) ) ).
( (IP-MAT (NP-SBJ;{GEOFFREY} (NPR Geoffrey;{Geoffrey}))
(VBD;_Cn.t_ forced;{force})
(NP-OB1;{GEOFFREY} (PNX himself;{himself}))
(IP-INF-PRD (TO to;{to})
(VB;_Tn_ consider;{consider})
(NP-OB1 (D another;{another})
(ADJP (ADJ possible;{possible}))
(N alternative;{alternative})))
(PUNC .))
(ID 59_a_lob_n01))