Context                Previous, Next                Top


98_a_dick_1952
He was wearing a pressure suit;

%3 r_0098_0002__was was r_0098_0003__wearing wearing r_0098_0002__was->r_0098_0003__wearing [scope] r_0098_0001__He He r_0098_0003__wearing->r_0098_0001__He [arg0] r_0098_0004__a_r_0098_0005__pressure_r_0098_0006__suit a pressure suit r_0098_0003__wearing->r_0098_0004__a_r_0098_0005__pressure_r_0098_0006__suit [arg1] 
arc(r_0098_0002__was, r_0098_0003__wearing, scope).
arc(r_0098_0003__wearing, r_0098_0001__He, arg0).
arc(r_0098_0003__wearing, r_0098_0004__a_r_0098_0005__pressure_r_0098_0006__suit, arg1).


%3 r_0098_0002__was_r_0098_0003__wearing was wearing r_0098_0001__He He r_0098_0002__was_r_0098_0003__wearing->r_0098_0001__He [arg0] r_0098_0004__a_r_0098_0005__pressure_r_0098_0006__suit a pressure suit r_0098_0002__was_r_0098_0003__wearing->r_0098_0004__a_r_0098_0005__pressure_r_0098_0006__suit [arg1] 
fof(formula,axiom,
    ? [R_98_2_WAS_WEARING,R_98_1_HE,R_98_4_A_PRESSURE_SUIT] :
      ( he(R_98_1_HE)
      & a_pressure_suit(R_98_4_A_PRESSURE_SUIT)
      & was_wearing(R_98_2_WAS_WEARING,R_98_1_HE,R_98_4_A_PRESSURE_SUIT) ) ).


n98_a_dick_1952 n98_a_dick_1952_4 He n98_a_dick_1952_6 was n98_a_dick_1952_9 wearing n98_a_dick_1952_12 a n98_a_dick_1952_14 pressure n98_a_dick_1952_16 suit n98_a_dick_1952_18 ; n98_a_dick_1952_1 IP-MAT n98_a_dick_1952_2 NP-SBJ n98_a_dick_1952_1->n98_a_dick_1952_2 n98_a_dick_1952_5 BED;_cat_Vg_ n98_a_dick_1952_1->n98_a_dick_1952_5 n98_a_dick_1952_7 IP-PPL-CAT n98_a_dick_1952_1->n98_a_dick_1952_7 n98_a_dick_1952_17 PUNC n98_a_dick_1952_1->n98_a_dick_1952_17 n98_a_dick_1952_3 PRO n98_a_dick_1952_2->n98_a_dick_1952_3 n98_a_dick_1952_3->n98_a_dick_1952_4 n98_a_dick_1952_5->n98_a_dick_1952_6 n98_a_dick_1952_8 VAG;_Tn_ n98_a_dick_1952_7->n98_a_dick_1952_8 n98_a_dick_1952_10 NP-OB1 n98_a_dick_1952_7->n98_a_dick_1952_10 n98_a_dick_1952_8->n98_a_dick_1952_9 n98_a_dick_1952_11 D n98_a_dick_1952_10->n98_a_dick_1952_11 n98_a_dick_1952_13 N n98_a_dick_1952_10->n98_a_dick_1952_13 n98_a_dick_1952_15 N n98_a_dick_1952_10->n98_a_dick_1952_15 n98_a_dick_1952_11->n98_a_dick_1952_12 n98_a_dick_1952_13->n98_a_dick_1952_14 n98_a_dick_1952_15->n98_a_dick_1952_16 n98_a_dick_1952_17->n98_a_dick_1952_18 
( (IP-MAT (NP-SBJ;{DORLE} (PRO He;{he}))
          (BED;_cat_Vg_ was;{be})
          (IP-PPL-CAT (VAG;_Tn_ wearing;{wear})
                      (NP-OB1 (D a;{a})
                              (N pressure;{pressure})
                              (N suit;{suit})))
          (PUNC ;))
  (ID 98_a_dick_1952))