( (IP-IMP (VB;_Tt_ Learn;{learn})
          (IP-INF-OB1 (TO to;{to})
                      (VB;_Tn_ master;{master})
                      (NP-OB1 (N crowd;{crowd})
                              (N control;{control})))
          (PUNC .))
  (ID 44_a_freedoom))

arc(r_0044_0001__Learn,r_0044_0003__master,arg1).
arc(r_0044_0001__Learn,z_0044_5002,arg0).
arc(r_0044_0003__master,r_0044_0004__crowd_r_0044_0005__control,arg1).
arc(r_0044_0003__master,z_0044_5002,arg0).

fof(formula,axiom,
    ? [R_0044_0004__CROWD_R_0044_0005__CONTROL,Z_0044_5002,R_0044_0003__MASTER,R_0044_0001__LEARN] :
      ( r_0044_0004__crowd_r_0044_0005__control(R_0044_0004__CROWD_R_0044_0005__CONTROL)
      & z_0044_5002(Z_0044_5002)
      & r_0044_0001__Learn(R_0044_0001__LEARN)
      & has_arg0(R_0044_0001__LEARN,Z_0044_5002)
      & has_arg1(R_0044_0001__LEARN,R_0044_0003__MASTER)
      & r_0044_0003__master(R_0044_0003__MASTER)
      & has_arg0(R_0044_0003__MASTER,Z_0044_5002)
      & has_arg1(R_0044_0003__MASTER,R_0044_0004__CROWD_R_0044_0005__CONTROL) ) ).