Context                Previous, Next                Top


101_a_lob_j01
Standardize as follows: —

%3 r_0101_0002__as as r_0101_0003__follows follows r_0101_0002__as->r_0101_0003__follows [restriction] z_000_101_a_lob_j01_1 r_0101_0002__as->z_000_101_a_lob_j01_1 [scope] r_0101_0001__Standardize Standardize z_000_101_a_lob_j01_1->r_0101_0001__Standardize [nim] 
arc(r_0101_0002__as, r_0101_0003__follows, restriction).
arc(r_0101_0002__as, z_000_101_a_lob_j01_1, scope).
arc(z_000_101_a_lob_j01_1, r_0101_0001__Standardize, nim2).


%3 z_000_101_a_lob_j01_1 r_0101_0001__Standardize Standardize z_000_101_a_lob_j01_1->r_0101_0001__Standardize [nim] r_0101_0002__as as r_0101_0002__as->z_000_101_a_lob_j01_1 [conj2] r_0101_0003__follows follows r_0101_0002__as->r_0101_0003__follows [conj1] 
fof(formula,axiom,
    ? [R_0101_0003__FOLLOWS,R_0101_0001__STANDARDIZE,Z_000_101_A_LOB_J01_1,R_0101_0002__AS] :
      ( r_0101_0001__Standardize(R_0101_0001__STANDARDIZE)
      & r_0101_0003__follows(R_0101_0003__FOLLOWS)
      & r_0101_0002__as(R_0101_0002__AS)
      & has_conj2(R_0101_0002__AS,Z_000_101_A_LOB_J01_1)
      & z_000_101_a_lob_j01_1(Z_000_101_A_LOB_J01_1)
      & has_nim2(Z_000_101_A_LOB_J01_1,R_0101_0001__STANDARDIZE)
      & has_conj1(R_0101_0002__AS,R_0101_0003__FOLLOWS) ) ).


n101_a_lob_j01 n101_a_lob_j01__1_1_1_1 Standardize n101_a_lob_j01__1_2_1_1 as n101_a_lob_j01__1_2_2_1_1 follows n101_a_lob_j01__1_3_1 : n101_a_lob_j01__1_4_1 <mdash> n101_a_lob_j01__1 FRAG n101_a_lob_j01__1_1 NP n101_a_lob_j01__1->n101_a_lob_j01__1_1 n101_a_lob_j01__1_2 PP-SCON n101_a_lob_j01__1->n101_a_lob_j01__1_2 n101_a_lob_j01__1_3 PUNC n101_a_lob_j01__1->n101_a_lob_j01__1_3 n101_a_lob_j01__1_4 PUNC n101_a_lob_j01__1->n101_a_lob_j01__1_4 n101_a_lob_j01__1_1_1 N n101_a_lob_j01__1_1->n101_a_lob_j01__1_1_1 n101_a_lob_j01__1_1_1->n101_a_lob_j01__1_1_1_1 n101_a_lob_j01__1_2_1 P-CONN n101_a_lob_j01__1_2->n101_a_lob_j01__1_2_1 n101_a_lob_j01__1_2_2 IP-ADV n101_a_lob_j01__1_2->n101_a_lob_j01__1_2_2 n101_a_lob_j01__1_2_1->n101_a_lob_j01__1_2_1_1 n101_a_lob_j01__1_2_2_1 VBP;__ n101_a_lob_j01__1_2_2->n101_a_lob_j01__1_2_2_1 n101_a_lob_j01__1_2_2_1->n101_a_lob_j01__1_2_2_1_1 n101_a_lob_j01__1_3->n101_a_lob_j01__1_3_1 n101_a_lob_j01__1_4->n101_a_lob_j01__1_4_1 
( (FRAG (NP (N Standardize;{standardize}))
        (PP-SCON (P-CONN as;{as})
                 (IP-ADV (VBP;__ follows;{follow})))
        (PUNC :)
        (PUNC <mdash>))
  (ID 101_a_lob_j01))