there exists a store typing µ2 that

there exists a store typing µ2 that extends µ1 such that AAA .

Results (Japanese) 1:

入力拡張 µ 1 そのような µ2 ストアが存在するその AAA。

Results (Japanese) 2:

AAAようにμ1拡張店タイピングμ2が存在する。

Results (Japanese) 3:

店µ2タイプが存在するようにµ1 aaaを拡張します。