( (IP-MAT (NP-SBJ (D;_nphd_ That;{that}))
          (PUNC ,)
          (ADVP-NIM (ADV however;{however}))
          (PUNC ,)
          (BEP;_Ln_ is;{be})
          (NEG not;{not})
          (NP-PRD (NP-GEN (PRO;_genm_ my;{my}))
                  (N fault;{fault}))
          (PUNC .))
  (ID 55_a_saint_exupery_1943))

arc(r_0055_0005__is,r_0055_0001__That,arg0).
arc(r_0055_0005__is,r_0055_0003__however,nim).
arc(r_0055_0005__is,r_0055_0008__fault,prd).
arc(r_0055_0006__not,r_0055_0005__is,keep_scope).
arc(r_0055_0008__fault,r_0055_0007__my,gen).

fof(formula,axiom,
    ~ ? [R_0055_0001__THAT,R_0055_0003__HOWEVER,R_0055_0007__MY,R_0055_0008__FAULT,R_0055_0005__IS] :
        ( r_0055_0001__That(R_0055_0001__THAT)
        & r_0055_0003__however(R_0055_0003__HOWEVER)
        & r_0055_0007__my(R_0055_0007__MY)
        & r_0055_0005__is(R_0055_0005__IS)
        & has_prd(R_0055_0005__IS,R_0055_0008__FAULT)
        & r_0055_0008__fault(R_0055_0008__FAULT)
        & has_gen(R_0055_0008__FAULT,R_0055_0007__MY)
        & has_nim(R_0055_0005__IS,R_0055_0003__HOWEVER)
        & has_arg0(R_0055_0005__IS,R_0055_0001__THAT) ) ).