Context                Previous, Next                Top


44_a_freedoom
Learn to master crowd control.

%3 r_0044_0001__Learn Learn r_0044_0002__to_r_0044_0003__master to master r_0044_0001__Learn->r_0044_0002__to_r_0044_0003__master [arg1] z_000_44_a_freedoom_1 r_0044_0001__Learn->z_000_44_a_freedoom_1 [arg0] r_0044_0002__to_r_0044_0003__master->z_000_44_a_freedoom_1 [arg0] r_0044_0004__crowd_r_0044_0005__control crowd control r_0044_0002__to_r_0044_0003__master->r_0044_0004__crowd_r_0044_0005__control [arg1] 
arc(r_0044_0001__Learn, r_0044_0002__to_r_0044_0003__master, arg1).
arc(r_0044_0001__Learn, z_000_44_a_freedoom_1, arg0).
arc(r_0044_0002__to_r_0044_0003__master, r_0044_0004__crowd_r_0044_0005__control, arg1).
arc(r_0044_0002__to_r_0044_0003__master, z_000_44_a_freedoom_1, arg0).


%3 r_0044_0002__to_r_0044_0003__master to master z_000_44_a_freedoom_1 r_0044_0002__to_r_0044_0003__master->z_000_44_a_freedoom_1 [arg0] r_0044_0004__crowd_r_0044_0005__control crowd control r_0044_0002__to_r_0044_0003__master->r_0044_0004__crowd_r_0044_0005__control [arg1] r_0044_0001__Learn Learn r_0044_0001__Learn->r_0044_0002__to_r_0044_0003__master [arg1] r_0044_0001__Learn->z_000_44_a_freedoom_1 [arg0] 
fof(formula,axiom,
    ? [R_0044_0004__CROWD_R_0044_0005__CONTROL,Z_000_44_A_FREEDOOM_1,R_0044_0002__TO_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_000_44_a_freedoom_1(Z_000_44_A_FREEDOOM_1)
      & r_0044_0001__Learn(R_0044_0001__LEARN)
      & has_arg0(R_0044_0001__LEARN,Z_000_44_A_FREEDOOM_1)
      & has_arg1(R_0044_0001__LEARN,R_0044_0002__TO_R_0044_0003__MASTER)
      & r_0044_0002__to_r_0044_0003__master(R_0044_0002__TO_R_0044_0003__MASTER)
      & has_arg0(R_0044_0002__TO_R_0044_0003__MASTER,Z_000_44_A_FREEDOOM_1)
      & has_arg1(R_0044_0002__TO_R_0044_0003__MASTER,R_0044_0004__CROWD_R_0044_0005__CONTROL) ) ).


n44_a_freedoom n44_a_freedoom__1_1_1 Learn n44_a_freedoom__1_2_1_1 to n44_a_freedoom__1_2_2_1 master n44_a_freedoom__1_2_3_1_1 crowd n44_a_freedoom__1_2_3_2_1 control n44_a_freedoom__1_3_1 . n44_a_freedoom__1 IP-IMP n44_a_freedoom__1_1 VB;_Tt_ n44_a_freedoom__1->n44_a_freedoom__1_1 n44_a_freedoom__1_2 IP-INF-OB1 n44_a_freedoom__1->n44_a_freedoom__1_2 n44_a_freedoom__1_3 PUNC n44_a_freedoom__1->n44_a_freedoom__1_3 n44_a_freedoom__1_1->n44_a_freedoom__1_1_1 n44_a_freedoom__1_2_1 TO n44_a_freedoom__1_2->n44_a_freedoom__1_2_1 n44_a_freedoom__1_2_2 VB;_Tn_ n44_a_freedoom__1_2->n44_a_freedoom__1_2_2 n44_a_freedoom__1_2_3 NP-OB1 n44_a_freedoom__1_2->n44_a_freedoom__1_2_3 n44_a_freedoom__1_2_1->n44_a_freedoom__1_2_1_1 n44_a_freedoom__1_2_2->n44_a_freedoom__1_2_2_1 n44_a_freedoom__1_2_3_1 N n44_a_freedoom__1_2_3->n44_a_freedoom__1_2_3_1 n44_a_freedoom__1_2_3_2 N n44_a_freedoom__1_2_3->n44_a_freedoom__1_2_3_2 n44_a_freedoom__1_2_3_1->n44_a_freedoom__1_2_3_1_1 n44_a_freedoom__1_2_3_2->n44_a_freedoom__1_2_3_2_1 n44_a_freedoom__1_3->n44_a_freedoom__1_3_1 
( (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))