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_44_1_LEARN,R_44_2_TO_MASTER,Z_44_A_FREEDOOM_1,R_44_4_CROWD_CONTROL] :
      ( crowd_control(R_44_4_CROWD_CONTROL)
      & learn(R_44_1_LEARN,Z_44_A_FREEDOOM_1,R_44_2_TO_MASTER)
      & to_master(R_44_2_TO_MASTER,Z_44_A_FREEDOOM_1,R_44_4_CROWD_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))