( (IP-MAT (NP-SBJ (PRO You;{you}))
          (MD;_cat_Vi_ can;{can})
          (IP-INF-CAT (VB;_Cn.t_ help;{help})
                      (NP-OB1;{PERSONS} (PRO them;{they}))
                      (IP-INF-PRD (TO to;{to})
                                  (VB;_Tn_ know;{know})
                                  (NP-OB1 (D that;{that})
                                          (N feeling;{feeling}))))
          (PUNC .))
  (ID 40_a_goodwill))

arc(r_0040_0002__can,r_0040_0003__help,scope).
arc(r_0040_0003__help,r_0040_0001__You,arg0).
arc(r_0040_0003__help,r_0040_0004__them,arg1).
arc(r_0040_0003__help,r_0040_0006__know,prd).
arc(r_0040_0006__know,r_0040_0007__that_r_0040_0008__feeling,arg1).
arc(r_0040_0006__know,z_0040_5004,arg0).

fof(formula,axiom,
    ? [R_0040_0001__YOU,R_0040_0004__THEM,R_0040_0007__THAT_R_0040_0008__FEELING,Z_0040_5004,R_0040_0006__KNOW,R_0040_0002__CAN_R_0040_0003__HELP] :
      ( r_0040_0001__You(R_0040_0001__YOU)
      & r_0040_0004__them(R_0040_0004__THEM)
      & r_0040_0007__that_r_0040_0008__feeling(R_0040_0007__THAT_R_0040_0008__FEELING)
      & z_0040_5004(Z_0040_5004)
      & r_0040_0002__can_r_0040_0003__help(R_0040_0002__CAN_R_0040_0003__HELP)
      & has_prd(R_0040_0002__CAN_R_0040_0003__HELP,R_0040_0006__KNOW)
      & r_0040_0006__know(R_0040_0006__KNOW)
      & has_arg0(R_0040_0006__KNOW,Z_0040_5004)
      & has_arg1(R_0040_0006__KNOW,R_0040_0007__THAT_R_0040_0008__FEELING)
      & has_arg1(R_0040_0002__CAN_R_0040_0003__HELP,R_0040_0004__THEM)
      & has_arg0(R_0040_0002__CAN_R_0040_0003__HELP,R_0040_0001__YOU) ) ).