( (CP-QUE-MAT (IP-SUB (ADVP-129 (WADV How;{how}))
                      (MD;_cat_Vi_ could;{can})
                      (NP-SBJ (PRO we;{we}))
                      (IP-INF-CAT (ADVP-NIM *ICH*-129)
                                  (VB;_Tf_ know;{know})
                                  (CP-THT-OB1 (IP-SUB (NP-SBJ;{ROBOT_CALLER} (PRO it;{it}))
                                                      (ADVP-NIM (ADV actually;{actually}))
                                                      (VBD;_I_ worked;{work})
                                                      (PP-NIM (P-ROLE in;{in})
                                                              (NP (ADJP (ADJ real;{real}))
                                                                  (N life;{life})))))))
              (PUNC ?))
  (ID 15_a_duplex))

arc(r_0015_0002__could,r_0015_0004__know,scope).
arc(r_0015_0004__know,r_0015_0001__How,nim).
arc(r_0015_0004__know,r_0015_0003__we,arg0).
arc(r_0015_0004__know,r_0015_0007__worked,arg1).
arc(r_0015_0007__worked,r_0015_0005__it,arg0).
arc(r_0015_0007__worked,r_0015_0006__actually,nim).
arc(r_0015_0007__worked,r_0015_0010__life,r_0015_0008__in__nim).
arc(r_0015_0010__life,r_0015_0009__real,attrib).

fof(formula,axiom,
    ? [R_0015_0001__HOW,R_0015_0003__WE,R_0015_0005__IT,R_0015_0006__ACTUALLY,R_0015_0009__REAL,R_0015_0010__LIFE,R_0015_0007__WORKED,R_0015_0002__COULD_R_0015_0004__KNOW] :
      ( r_0015_0001__How(R_0015_0001__HOW)
      & r_0015_0003__we(R_0015_0003__WE)
      & r_0015_0005__it(R_0015_0005__IT)
      & r_0015_0006__actually(R_0015_0006__ACTUALLY)
      & r_0015_0009__real(R_0015_0009__REAL)
      & r_0015_0002__could_r_0015_0004__know(R_0015_0002__COULD_R_0015_0004__KNOW)
      & has_arg1(R_0015_0002__COULD_R_0015_0004__KNOW,R_0015_0007__WORKED)
      & r_0015_0007__worked(R_0015_0007__WORKED)
      & has_r_0015_0008__in__nim(R_0015_0007__WORKED,R_0015_0010__LIFE)
      & r_0015_0010__life(R_0015_0010__LIFE)
      & has_attrib(R_0015_0010__LIFE,R_0015_0009__REAL)
      & has_nim(R_0015_0007__WORKED,R_0015_0006__ACTUALLY)
      & has_arg0(R_0015_0007__WORKED,R_0015_0005__IT)
      & has_arg0(R_0015_0002__COULD_R_0015_0004__KNOW,R_0015_0003__WE)
      & has_nim(R_0015_0002__COULD_R_0015_0004__KNOW,R_0015_0001__HOW) ) ).