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 r_0101_0002__as as r_0101_0003__follows follows r_0101_0002__as->r_0101_0003__follows [conj1] z_000_101_a_lob_j01_1 r_0101_0002__as->z_000_101_a_lob_j01_1 [conj2] r_0101_0001__Standardize Standardize z_000_101_a_lob_j01_1->r_0101_0001__Standardize [nim] 
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_4 Standardize n101_a_lob_j01_7 as n101_a_lob_j01_10 follows n101_a_lob_j01_12 : n101_a_lob_j01_14 <mdash> n101_a_lob_j01_1 FRAG n101_a_lob_j01_2 NP n101_a_lob_j01_1->n101_a_lob_j01_2 n101_a_lob_j01_5 PP-SCON n101_a_lob_j01_1->n101_a_lob_j01_5 n101_a_lob_j01_11 PUNC n101_a_lob_j01_1->n101_a_lob_j01_11 n101_a_lob_j01_13 PUNC n101_a_lob_j01_1->n101_a_lob_j01_13 n101_a_lob_j01_3 N n101_a_lob_j01_2->n101_a_lob_j01_3 n101_a_lob_j01_3->n101_a_lob_j01_4 n101_a_lob_j01_6 P-CONN n101_a_lob_j01_5->n101_a_lob_j01_6 n101_a_lob_j01_8 IP-ADV n101_a_lob_j01_5->n101_a_lob_j01_8 n101_a_lob_j01_6->n101_a_lob_j01_7 n101_a_lob_j01_9 VBP;__ n101_a_lob_j01_8->n101_a_lob_j01_9 n101_a_lob_j01_9->n101_a_lob_j01_10 n101_a_lob_j01_11->n101_a_lob_j01_12 n101_a_lob_j01_13->n101_a_lob_j01_14 
( (FRAG (NP (N Standardize;{standardize}))
        (PP-SCON (P-CONN as;{as})
                 (IP-ADV (VBP;__ follows;{follow})))
        (PUNC :)
        (PUNC <mdash>))
  (ID 101_a_lob_j01))