( (FRAG (NP (D A;{a})
            (N student;{student})
            (ADVP (ADV perhaps;{perhaps})))
        (PUNC .))
  (ID 70_a_loosechange))

arc(r_0070_0001__A_r_0070_0002__student,r_0070_0003__perhaps,qual).
arc(z_0070_5005,r_0070_0001__A_r_0070_0002__student,z_0070_5002).

fof(formula,axiom,
    ? [R_0070_0003__PERHAPS,R_0070_0001__A_R_0070_0002__STUDENT,Z_0070_5005] :
      ( r_0070_0003__perhaps(R_0070_0003__PERHAPS)
      & z_0070_5005(Z_0070_5005)
      & has_z_0070_5002(Z_0070_5005,R_0070_0001__A_R_0070_0002__STUDENT)
      & r_0070_0001__A_r_0070_0002__student(R_0070_0001__A_R_0070_0002__STUDENT)
      & has_qual(R_0070_0001__A_R_0070_0002__STUDENT,R_0070_0003__PERHAPS) ) ).