TSPC 59_a_lob

59_a_lob_n01
Geoffrey forced himself to consider another possible alternative.

( (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))

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_0005__consider,prd).
arc(r_0059_0005__consider,r_0059_0006__another_r_0059_0008__alternative,arg1).
arc(r_0059_0005__consider,z_0059_5004,arg0).
arc(r_0059_0006__another_r_0059_0008__alternative,r_0059_0007__possible,attrib).

fof(formula,axiom,
    ? [R_0059_0001__GEOFFREY,R_0059_0007__POSSIBLE,R_0059_0006__ANOTHER_R_0059_0008__ALTERNATIVE,Z_0059_5004,R_0059_0005__CONSIDER,R_0059_0002__FORCED] :
      ( r_0059_0001__Geoffrey(R_0059_0001__GEOFFREY)
      & r_0059_0007__possible(R_0059_0007__POSSIBLE)
      & z_0059_5004(Z_0059_5004)
      & r_0059_0002__forced(R_0059_0002__FORCED)
      & has_prd(R_0059_0002__FORCED,R_0059_0005__CONSIDER)
      & r_0059_0005__consider(R_0059_0005__CONSIDER)
      & has_arg0(R_0059_0005__CONSIDER,Z_0059_5004)
      & has_arg1(R_0059_0005__CONSIDER,R_0059_0006__ANOTHER_R_0059_0008__ALTERNATIVE)
      & r_0059_0006__another_r_0059_0008__alternative(R_0059_0006__ANOTHER_R_0059_0008__ALTERNATIVE)
      & has_attrib(R_0059_0006__ANOTHER_R_0059_0008__ALTERNATIVE,R_0059_0007__POSSIBLE)
      & has_arg1(R_0059_0002__FORCED,R_0059_0001__GEOFFREY)
      & has_arg0(R_0059_0002__FORCED,R_0059_0001__GEOFFREY) ) ).