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_101_2_AS,R_101_3_FOLLOWS,Z_101_A_LOB_J01_1,R_101_1_STANDARDIZE] :
      ( follows(R_101_3_FOLLOWS)
      & standardize(R_101_1_STANDARDIZE)
      & as(R_101_2_AS)
      & conj1(R_101_2_AS,R_101_3_FOLLOWS)
      & conj2(R_101_2_AS,Z_101_A_LOB_J01_1)
      & z_101_a_lob_j01_1(Z_101_A_LOB_J01_1)
      & nim2(Z_101_A_LOB_J01_1,R_101_1_STANDARDIZE) ) ).


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))