( (IP-MAT (PULQ <ldquo>)
          (NP-SBJ;{PRIEST} (PRO He;{he}))
          (BED;_Ln_ was;{be})
          (NP-PRD (Q no;{no})
                  (ADJP (ADJ great;{great}))
                  (N trouble;{trouble})
                  (PP (P-ROLE to;{to})
                      (NP;{SISTERS} (PRO us;{we}))))
          (PUNC .))
  (ID 151_a_joyce_1914))

arc(r_0151_0003__was,r_0151_0002__He,arg0).
arc(r_0151_0003__was,r_0151_0006__trouble,prd).
arc(r_0151_0004__no__quant,r_0151_0003__was,scope).
arc(r_0151_0004__no__quant,r_0151_0006__trouble,restriction).
arc(r_0151_0006__trouble,r_0151_0005__great,attrib).
arc(r_0151_0006__trouble,r_0151_0008__us,r_0151_0007__to).

fof(formula,axiom,
    ! [R_0151_0006__TROUBLE,R_0151_0005__GREAT,R_0151_0008__US] :
      ( ( r_0151_0005__great(R_0151_0005__GREAT)
        & r_0151_0008__us(R_0151_0008__US)
        & r_0151_0006__trouble(R_0151_0006__TROUBLE)
        & has_r_0151_0007__to(R_0151_0006__TROUBLE,R_0151_0008__US)
        & has_attrib(R_0151_0006__TROUBLE,R_0151_0005__GREAT) )
     => ? [R_0151_0002__HE,R_0151_0003__WAS] :
          ( r_0151_0002__He(R_0151_0002__HE)
          & r_0151_0003__was(R_0151_0003__WAS)
          & has_prd(R_0151_0003__WAS,R_0151_0006__TROUBLE)
          & has_arg0(R_0151_0003__WAS,R_0151_0002__HE) ) ) ).