3 ================================================================================
10 (t{-anl-} -> t{-ann-}, t{-anl-} -> t{-ann-})
13 _/\_ t{-anl-} t{-ann-} ->
36 PrelTup.(,){-62,p-}{i}
37 {_@_ (t{-anl-} -> t{-ann-})
38 _@_ (t{-anl-} -> t{-ann-})
42 _forall_ [t{-anl-} t{-ann-}] => t{-anl-} -> t{-ann-}
45 _/\_ t{-anl-} t{-ann-} ->
48 _@_ t{-anl-} _@_ t{-ann-}
50 PrelTup.(,){-62,p-}{i} ds_dth ds_dti ->
53 _forall_ [t{-anl-} t{-ann-}] => t{-anl-} -> t{-ann-}
56 _/\_ t{-anl-} t{-ann-} ->
59 _@_ t{-anl-} _@_ t{-ann-}
61 PrelTup.(,){-62,p-}{i} ds_dtB ds_dtA ->
69 (t{-anE-} -> t{-anG-}, t{-anE-} -> t{-anG-})
72 _/\_ t{-anE-} t{-anG-} ->
95 PrelTup.(,){-62,p-}{i}
96 {_@_ (t{-anE-} -> t{-anG-})
97 _@_ (t{-anE-} -> t{-anG-})
101 _forall_ [t{-anE-} t{-anG-}] => t{-anE-} -> t{-anG-}
104 _/\_ t{-anE-} t{-anG-} ->
107 _@_ t{-anE-} _@_ t{-anG-}
109 PrelTup.(,){-62,p-}{i} ds_duR ds_duS ->
112 _forall_ [t{-anE-} t{-anG-}] => t{-anE-} -> t{-anG-}
115 _/\_ t{-anE-} t{-anG-} ->
118 _@_ t{-anE-} _@_ t{-anG-}
120 PrelTup.(,){-62,p-}{i} ds_dvb ds_dva ->
124 _forall_ [t{-anO-}] => t{-anO-} -> t{-anO-}
127 _/\_ t{-anO-} -> \ y_r3o ::
133 _forall_ [t{-anU-}] => t{-anU-} -> t{-anU-}
136 _/\_ t{-anU-} -> \ x_r3q ::
143 _forall_ [t{-ao4-}] => t{-ao4-} -> t{-ao4-}
146 _/\_ t{-ao4-} -> \ y_r3m ::
152 _forall_ [t{-aoa-}] => t{-aoa-} -> t{-aoa-}
155 _/\_ t{-aoa-} -> \ x_r3k ::
162 NOTE: Simplifier still going after 4 iterations; bailing out.