Context                Previous, Next                Top


18_a_freedoom
(for example, you can't pick up a health pack when you already have 100 <percnt> health).

%3 r_0018_0005__ca ca r_0018_0002__for_example for example r_0018_0005__ca->r_0018_0002__for_example [nim] r_0018_0007__pick_r_0018_0008__up pick up r_0018_0005__ca->r_0018_0007__pick_r_0018_0008__up [scope] r_0018_0004__you you r_0018_0007__pick_r_0018_0008__up->r_0018_0004__you [arg0] r_0018_0009__a_r_0018_0010__health_r_0018_0011__pack a health pack r_0018_0007__pick_r_0018_0008__up->r_0018_0009__a_r_0018_0010__health_r_0018_0011__pack [arg1] r_0018_0006__n_apos_t n't r_0018_0006__n_apos_t->r_0018_0005__ca [keep_scope] r_0018_0012__when when r_0018_0012__when->r_0018_0006__n_apos_t [scope] r_0018_0015__have have r_0018_0012__when->r_0018_0015__have [restriction] r_0018_0015__have->r_0018_0004__you [arg0] r_0018_0014__already already r_0018_0015__have->r_0018_0014__already [nim] r_0018_0016__100_r_0018_0017___percnt__r_0018_0018__health 100  percnt  health r_0018_0015__have->r_0018_0016__100_r_0018_0017___percnt__r_0018_0018__health [arg1] 
arc(r_0018_0005__ca, r_0018_0002__for_example, nim4).
arc(r_0018_0005__ca, r_0018_0007__pick_r_0018_0008__up, scope).
arc(r_0018_0006__n_apos_t, r_0018_0005__ca, keep_scope).
arc(r_0018_0007__pick_r_0018_0008__up, r_0018_0004__you, arg0).
arc(r_0018_0007__pick_r_0018_0008__up, r_0018_0009__a_r_0018_0010__health_r_0018_0011__pack, arg1).
arc(r_0018_0012__when, r_0018_0006__n_apos_t, scope).
arc(r_0018_0012__when, r_0018_0015__have, restriction).
arc(r_0018_0015__have, r_0018_0004__you, arg0).
arc(r_0018_0015__have, r_0018_0014__already, nim35).
arc(r_0018_0015__have, r_0018_0016__100_r_0018_0017___percnt__r_0018_0018__health, arg1).


%3 r_0018_0015__have have r_0018_0016__100_r_0018_0017___percnt__r_0018_0018__health 100  percnt  health r_0018_0015__have->r_0018_0016__100_r_0018_0017___percnt__r_0018_0018__health [arg1] r_0018_0014__already already r_0018_0015__have->r_0018_0014__already [nim] r_0018_0004__you you r_0018_0015__have->r_0018_0004__you [arg0] r_0018_0012__when when r_0018_0012__when->r_0018_0015__have [restriction] r_0018_0006__n_apos_t n't r_0018_0012__when->r_0018_0006__n_apos_t [scope] r_0018_0005__ca_r_0018_0007__pick_r_0018_0008__up ca pick up r_0018_0006__n_apos_t->r_0018_0005__ca_r_0018_0007__pick_r_0018_0008__up [keep_scope] r_0018_0005__ca_r_0018_0007__pick_r_0018_0008__up->r_0018_0004__you [arg0] r_0018_0009__a_r_0018_0010__health_r_0018_0011__pack a health pack r_0018_0005__ca_r_0018_0007__pick_r_0018_0008__up->r_0018_0009__a_r_0018_0010__health_r_0018_0011__pack [arg1] r_0018_0002__for_example for example r_0018_0005__ca_r_0018_0007__pick_r_0018_0008__up->r_0018_0002__for_example [nim] 
fof(formula,axiom,
    ! [R_18_15_HAVE,R_18_4_YOU,R_18_16_100_PERCNT_HEALTH,R_18_14_ALREADY] :
      ( ( you(R_18_4_YOU)
        & 100_percnt_health(R_18_16_100_PERCNT_HEALTH)
        & already(R_18_14_ALREADY)
        & have(R_18_15_HAVE,R_18_4_YOU,R_18_16_100_PERCNT_HEALTH)
        & nim35(R_18_15_HAVE,R_18_14_ALREADY) )
     => ~ ? [R_18_5_CA_PICK_UP,R_18_9_A_HEALTH_PACK,R_18_2_FOR_EXAMPLE] :
            ( a_health_pack(R_18_9_A_HEALTH_PACK)
            & for_example(R_18_2_FOR_EXAMPLE)
            & ca_pick_up(R_18_5_CA_PICK_UP,R_18_4_YOU,R_18_9_A_HEALTH_PACK)
            & nim4(R_18_5_CA_PICK_UP,R_18_2_FOR_EXAMPLE) ) ) ).


n18_a_freedoom n18_a_freedoom__1_1_1 -LRB- n18_a_freedoom__1_2_1_1 for_example n18_a_freedoom__1_3_1 , n18_a_freedoom__1_4_1_1 you n18_a_freedoom__1_5_1 ca n18_a_freedoom__1_6_1 n't n18_a_freedoom__1_7_1_1 pick n18_a_freedoom__1_7_2_1 up n18_a_freedoom__1_7_3_1_1 a n18_a_freedoom__1_7_3_2_1 health n18_a_freedoom__1_7_3_3_1 pack n18_a_freedoom__1_8_1_1 when n18_a_freedoom__1_8_2_1_1_1 you n18_a_freedoom__1_8_2_2_1_1 already n18_a_freedoom__1_8_2_3_1 have n18_a_freedoom__1_8_2_4_1_1 100 n18_a_freedoom__1_8_2_4_2_1 <percnt> n18_a_freedoom__1_8_2_4_3_1 health n18_a_freedoom__1_9_1 -RRB- n18_a_freedoom__1_10_1 . n18_a_freedoom__1 IP-MAT n18_a_freedoom__1_1 PULB n18_a_freedoom__1->n18_a_freedoom__1_1 n18_a_freedoom__1_2 ADVP-NIM n18_a_freedoom__1->n18_a_freedoom__1_2 n18_a_freedoom__1_3 PUNC n18_a_freedoom__1->n18_a_freedoom__1_3 n18_a_freedoom__1_4 NP-SBJ n18_a_freedoom__1->n18_a_freedoom__1_4 n18_a_freedoom__1_5 MD;_cat_Vi_ n18_a_freedoom__1->n18_a_freedoom__1_5 n18_a_freedoom__1_6 NEG;_clitic_ n18_a_freedoom__1->n18_a_freedoom__1_6 n18_a_freedoom__1_7 IP-INF-CAT n18_a_freedoom__1->n18_a_freedoom__1_7 n18_a_freedoom__1_8 PP-SCON n18_a_freedoom__1->n18_a_freedoom__1_8 n18_a_freedoom__1_9 PURB n18_a_freedoom__1->n18_a_freedoom__1_9 n18_a_freedoom__1_10 PUNC n18_a_freedoom__1->n18_a_freedoom__1_10 n18_a_freedoom__1_1->n18_a_freedoom__1_1_1 n18_a_freedoom__1_2_1 ADV n18_a_freedoom__1_2->n18_a_freedoom__1_2_1 n18_a_freedoom__1_2_1->n18_a_freedoom__1_2_1_1 n18_a_freedoom__1_3->n18_a_freedoom__1_3_1 n18_a_freedoom__1_4_1 PRO n18_a_freedoom__1_4->n18_a_freedoom__1_4_1 n18_a_freedoom__1_4_1->n18_a_freedoom__1_4_1_1 n18_a_freedoom__1_5->n18_a_freedoom__1_5_1 n18_a_freedoom__1_6->n18_a_freedoom__1_6_1 n18_a_freedoom__1_7_1 VB;_phr_Vn<=>p_ n18_a_freedoom__1_7->n18_a_freedoom__1_7_1 n18_a_freedoom__1_7_2 RP n18_a_freedoom__1_7->n18_a_freedoom__1_7_2 n18_a_freedoom__1_7_3 NP-OB1 n18_a_freedoom__1_7->n18_a_freedoom__1_7_3 n18_a_freedoom__1_7_1->n18_a_freedoom__1_7_1_1 n18_a_freedoom__1_7_2->n18_a_freedoom__1_7_2_1 n18_a_freedoom__1_7_3_1 D n18_a_freedoom__1_7_3->n18_a_freedoom__1_7_3_1 n18_a_freedoom__1_7_3_2 N n18_a_freedoom__1_7_3->n18_a_freedoom__1_7_3_2 n18_a_freedoom__1_7_3_3 N n18_a_freedoom__1_7_3->n18_a_freedoom__1_7_3_3 n18_a_freedoom__1_7_3_1->n18_a_freedoom__1_7_3_1_1 n18_a_freedoom__1_7_3_2->n18_a_freedoom__1_7_3_2_1 n18_a_freedoom__1_7_3_3->n18_a_freedoom__1_7_3_3_1 n18_a_freedoom__1_8_1 P-CONN n18_a_freedoom__1_8->n18_a_freedoom__1_8_1 n18_a_freedoom__1_8_2 IP-ADV n18_a_freedoom__1_8->n18_a_freedoom__1_8_2 n18_a_freedoom__1_8_1->n18_a_freedoom__1_8_1_1 n18_a_freedoom__1_8_2_1 NP-SBJ n18_a_freedoom__1_8_2->n18_a_freedoom__1_8_2_1 n18_a_freedoom__1_8_2_2 ADVP-NIM n18_a_freedoom__1_8_2->n18_a_freedoom__1_8_2_2 n18_a_freedoom__1_8_2_3 HVP;_Tn_ n18_a_freedoom__1_8_2->n18_a_freedoom__1_8_2_3 n18_a_freedoom__1_8_2_4 NP-OB1 n18_a_freedoom__1_8_2->n18_a_freedoom__1_8_2_4 n18_a_freedoom__1_8_2_1_1 PRO n18_a_freedoom__1_8_2_1->n18_a_freedoom__1_8_2_1_1 n18_a_freedoom__1_8_2_1_1->n18_a_freedoom__1_8_2_1_1_1 n18_a_freedoom__1_8_2_2_1 ADV n18_a_freedoom__1_8_2_2->n18_a_freedoom__1_8_2_2_1 n18_a_freedoom__1_8_2_2_1->n18_a_freedoom__1_8_2_2_1_1 n18_a_freedoom__1_8_2_3->n18_a_freedoom__1_8_2_3_1 n18_a_freedoom__1_8_2_4_1 NUM n18_a_freedoom__1_8_2_4->n18_a_freedoom__1_8_2_4_1 n18_a_freedoom__1_8_2_4_2 N n18_a_freedoom__1_8_2_4->n18_a_freedoom__1_8_2_4_2 n18_a_freedoom__1_8_2_4_3 N n18_a_freedoom__1_8_2_4->n18_a_freedoom__1_8_2_4_3 n18_a_freedoom__1_8_2_4_1->n18_a_freedoom__1_8_2_4_1_1 n18_a_freedoom__1_8_2_4_2->n18_a_freedoom__1_8_2_4_2_1 n18_a_freedoom__1_8_2_4_3->n18_a_freedoom__1_8_2_4_3_1 n18_a_freedoom__1_9->n18_a_freedoom__1_9_1 n18_a_freedoom__1_10->n18_a_freedoom__1_10_1 
( (IP-MAT (PULB -LRB-)
          (ADVP-NIM (ADV for_example;{for_example}))
          (PUNC ,)
          (NP-SBJ (PRO you;{you}))
          (MD;_cat_Vi_ ca;{can})
          (NEG;_clitic_ n<apos>t;{not})
          (IP-INF-CAT (VB;_phr_Vn<=>p_ pick;{pick[up]})
                      (RP up;{up})
                      (NP-OB1 (D a;{a})
                              (N health;{health})
                              (N pack;{pack})))
          (PP-SCON (P-CONN when;{when})
                   (IP-ADV (NP-SBJ (PRO you;{you}))
                           (ADVP-NIM (ADV already;{already}))
                           (HVP;_Tn_ have;{have})
                           (NP-OB1 (NUM 100)
                                   (N <percnt>)
                                   (N health;{health}))))
          (PURB -RRB-)
          (PUNC .))
  (ID 18_a_freedoom))