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_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] r_0098_0001__He He r_0098_0002__was_r_0098_0003__wearing->r_0098_0001__He [arg0] 
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__1_1_1_1 He n98_a_dick_1952__1_2_1 was n98_a_dick_1952__1_3_1_1 wearing n98_a_dick_1952__1_3_2_1_1 a n98_a_dick_1952__1_3_2_2_1 pressure n98_a_dick_1952__1_3_2_3_1 suit n98_a_dick_1952__1_4_1 ; n98_a_dick_1952__1 IP-MAT n98_a_dick_1952__1_1 NP-SBJ n98_a_dick_1952__1->n98_a_dick_1952__1_1 n98_a_dick_1952__1_2 BED;_cat_Vg_ n98_a_dick_1952__1->n98_a_dick_1952__1_2 n98_a_dick_1952__1_3 IP-PPL-CAT n98_a_dick_1952__1->n98_a_dick_1952__1_3 n98_a_dick_1952__1_4 PUNC n98_a_dick_1952__1->n98_a_dick_1952__1_4 n98_a_dick_1952__1_1_1 PRO n98_a_dick_1952__1_1->n98_a_dick_1952__1_1_1 n98_a_dick_1952__1_1_1->n98_a_dick_1952__1_1_1_1 n98_a_dick_1952__1_2->n98_a_dick_1952__1_2_1 n98_a_dick_1952__1_3_1 VAG;_Tn_ n98_a_dick_1952__1_3->n98_a_dick_1952__1_3_1 n98_a_dick_1952__1_3_2 NP-OB1 n98_a_dick_1952__1_3->n98_a_dick_1952__1_3_2 n98_a_dick_1952__1_3_1->n98_a_dick_1952__1_3_1_1 n98_a_dick_1952__1_3_2_1 D n98_a_dick_1952__1_3_2->n98_a_dick_1952__1_3_2_1 n98_a_dick_1952__1_3_2_2 N n98_a_dick_1952__1_3_2->n98_a_dick_1952__1_3_2_2 n98_a_dick_1952__1_3_2_3 N n98_a_dick_1952__1_3_2->n98_a_dick_1952__1_3_2_3 n98_a_dick_1952__1_3_2_1->n98_a_dick_1952__1_3_2_1_1 n98_a_dick_1952__1_3_2_2->n98_a_dick_1952__1_3_2_2_1 n98_a_dick_1952__1_3_2_3->n98_a_dick_1952__1_3_2_3_1 n98_a_dick_1952__1_4->n98_a_dick_1952__1_4_1 
( (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))