Context                Previous, Next                Top


74_a_lob_a02
Convicted.

n74_a_lob_a02 n74_a_lob_a02__1_1_1 * n74_a_lob_a02__1_2_1 Convicted n74_a_lob_a02__1_3_1 . n74_a_lob_a02__1 IP-PPL n74_a_lob_a02__1_1 NP-LGS n74_a_lob_a02__1->n74_a_lob_a02__1_1 n74_a_lob_a02__1_2 VVN;_Tn_ n74_a_lob_a02__1->n74_a_lob_a02__1_2 n74_a_lob_a02__1_3 PUNC n74_a_lob_a02__1->n74_a_lob_a02__1_3 n74_a_lob_a02__1_1->n74_a_lob_a02__1_1_1 n74_a_lob_a02__1_2->n74_a_lob_a02__1_2_1 n74_a_lob_a02__1_3->n74_a_lob_a02__1_3_1 
( (IP-PPL (NP-LGS *)
          (VVN;_Tn_ Convicted;{convict})
          (PUNC .))
  (ID 74_a_lob_a02))


%3 r_0074_0001__Convicted Convicted z_0074_5003___star_ * r_0074_0001__Convicted->z_0074_5003___star_ [arg0] z_0074_5002 r_0074_0001__Convicted->z_0074_5002 [arg1] 
arc(r_0074_0001__Convicted,z_0074_5002,arg1).
arc(r_0074_0001__Convicted,z_0074_5003___star_,arg0).


%3 r_0074_0001__Convicted Convicted z_0074_5002 r_0074_0001__Convicted->z_0074_5002 [arg1] z_0074_5003___star_ * r_0074_0001__Convicted->z_0074_5003___star_ [arg0] 
fof(formula,axiom,
    ? [Z_0074_5002,Z_0074_5003___STAR_,R_0074_0001__CONVICTED] :
      ( z_0074_5002(Z_0074_5002)
      & z_0074_5003___star_(Z_0074_5003___STAR_)
      & r_0074_0001__Convicted(R_0074_0001__CONVICTED)
      & has_arg0(R_0074_0001__CONVICTED,Z_0074_5003___STAR_)
      & has_arg1(R_0074_0001__CONVICTED,Z_0074_5002) ) ).