:: PARTFUN4  semantic presentation begin  









registrationlet "T" be  ($#~v2_struct_0  "non"   ($#v2_struct_0 :::"empty"::: )   )   ($#l1_pre_topc :::"TopSpace":::); let "f", "g" be   ($#v1_pscomp_1 :::"continuous"::: )    ($#m1_subset_1 :::"RealMap":::) "of" (Set (Const "T")); 
cluster (Set "f"  ($#k1_valued_1 :::"+"::: )  "g") ->   ($#v1_pscomp_1 :::"continuous"::: )    for  ($#m1_subset_1 :::"RealMap":::) "of" "T"; 

cluster (Set "f"  ($#k45_valued_1 :::"-"::: )  "g") ->   ($#v1_pscomp_1 :::"continuous"::: )    for  ($#m1_subset_1 :::"RealMap":::) "of" "T"; 

cluster (Set "f"  ($#k18_valued_1 :::"(#)"::: )  "g") ->   ($#v1_pscomp_1 :::"continuous"::: )    for  ($#m1_subset_1 :::"RealMap":::) "of" "T"; 
end; registrationlet "T" be  ($#~v2_struct_0  "non"   ($#v2_struct_0 :::"empty"::: )   )   ($#l1_pre_topc :::"TopSpace":::); let "f" be   ($#v1_pscomp_1 :::"continuous"::: )    ($#m1_subset_1 :::"RealMap":::) "of" (Set (Const "T")); 
cluster (Set   ($#k30_valued_1 :::"-"::: )  "f") ->   ($#v1_pscomp_1 :::"continuous"::: )    for  ($#m1_subset_1 :::"RealMap":::) "of" "T"; 
end; registrationlet "T" be  ($#~v2_struct_0  "non"   ($#v2_struct_0 :::"empty"::: )   )   ($#l1_pre_topc :::"TopSpace":::); let "f" be   ($#v1_pscomp_1 :::"continuous"::: )    ($#m1_subset_1 :::"RealMap":::) "of" (Set (Const "T")); 
cluster (Set  ($#k54_valued_1 :::"|."::: ) "f" ($#k54_valued_1 :::".|"::: ) ) ->   ($#v1_pscomp_1 :::"continuous"::: )    for  ($#m1_subset_1 :::"RealMap":::) "of" "T"; 
end; registrationlet "T" be  ($#~v2_struct_0  "non"   ($#v2_struct_0 :::"empty"::: )   )   ($#l1_pre_topc :::"TopSpace":::); 
cluster  ($#~v1_xboole_0  "non"   ($#v1_xboole_0 :::"empty"::: )   )  bbbadV1_RELAT_1() bbbadV4_RELAT_1((Set  "the"  ($#u1_struct_0 :::"carrier"::: )  "of" "T")) bbbadV5_RELAT_1((Set   ($#k1_numbers :::"REAL"::: )  ))   ($#v1_funct_1 :::"Function-like"::: )   bbbadV1_PARTFUN1((Set  "the"  ($#u1_struct_0 :::"carrier"::: )  "of" "T")) bbbadV1_FUNCT_2((Set  "the"  ($#u1_struct_0 :::"carrier"::: )  "of" "T") "," (Set   ($#k1_numbers :::"REAL"::: )  )) bbbadV1_VALUED_0() bbbadV2_VALUED_0() bbbadV3_VALUED_0()   ($#v1_pscomp_1 :::"continuous"::: )     ($#v1_partfun3 :::"positive-yielding"::: )    for    ($#m1_subset_1 :::"Element"::: )   "of" (Set bbbadK1_ZFMISC_1((Set bbbadK2_ZFMISC_1((Set  "the"  ($#u1_struct_0 :::"carrier"::: )  "of" "T") "," (Set  ($#k1_numbers :::"REAL"::: ) ))))); 

cluster  ($#~v1_xboole_0  "non"   ($#v1_xboole_0 :::"empty"::: )   )  bbbadV1_RELAT_1() bbbadV4_RELAT_1((Set  "the"  ($#u1_struct_0 :::"carrier"::: )  "of" "T")) bbbadV5_RELAT_1((Set   ($#k1_numbers :::"REAL"::: )  ))   ($#v1_funct_1 :::"Function-like"::: )   bbbadV1_PARTFUN1((Set  "the"  ($#u1_struct_0 :::"carrier"::: )  "of" "T")) bbbadV1_FUNCT_2((Set  "the"  ($#u1_struct_0 :::"carrier"::: )  "of" "T") "," (Set   ($#k1_numbers :::"REAL"::: )  )) bbbadV1_VALUED_0() bbbadV2_VALUED_0() bbbadV3_VALUED_0()   ($#v1_pscomp_1 :::"continuous"::: )     ($#v2_partfun3 :::"negative-yielding"::: )    for    ($#m1_subset_1 :::"Element"::: )   "of" (Set bbbadK1_ZFMISC_1((Set bbbadK2_ZFMISC_1((Set  "the"  ($#u1_struct_0 :::"carrier"::: )  "of" "T") "," (Set  ($#k1_numbers :::"REAL"::: ) ))))); 
end; registrationlet "T" be  ($#~v2_struct_0  "non"   ($#v2_struct_0 :::"empty"::: )   )   ($#l1_pre_topc :::"TopSpace":::); let "f" be   ($#v1_pscomp_1 :::"continuous"::: )     ($#v4_partfun3 :::"nonnegative-yielding"::: )    ($#m1_subset_1 :::"RealMap":::) "of" (Set (Const "T")); 
cluster (Set   ($#k1_partfun3 :::"sqrt"::: )  "f") ->   ($#v1_pscomp_1 :::"continuous"::: )    for  ($#m1_subset_1 :::"RealMap":::) "of" "T"; 
end; registrationlet "T" be  ($#~v2_struct_0  "non"   ($#v2_struct_0 :::"empty"::: )   )   ($#l1_pre_topc :::"TopSpace":::); let "f" be   ($#v1_pscomp_1 :::"continuous"::: )    ($#m1_subset_1 :::"RealMap":::) "of" (Set (Const "T")); let "r" be   ($#v1_xreal_0 :::"real"::: )     ($#m1_hidden :::"number"::: )  ; 
cluster (Set "r"  ($#k24_valued_1 :::"(#)"::: )  "f") ->   ($#v1_pscomp_1 :::"continuous"::: )    for  ($#m1_subset_1 :::"RealMap":::) "of" "T"; 
end; registrationlet "T" be  ($#~v2_struct_0  "non"   ($#v2_struct_0 :::"empty"::: )   )   ($#l1_pre_topc :::"TopSpace":::); let "f" be   ($#v2_relat_1 :::"non-empty"::: )     ($#v1_pscomp_1 :::"continuous"::: )    ($#m1_subset_1 :::"RealMap":::) "of" (Set (Const "T")); 
cluster (Set bbbadK4_RFUNCT_1("f")) ->   ($#v1_pscomp_1 :::"continuous"::: )    for  ($#m1_subset_1 :::"RealMap":::) "of" "T"; 
end; registrationlet "T" be  ($#~v2_struct_0  "non"   ($#v2_struct_0 :::"empty"::: )   )   ($#l1_pre_topc :::"TopSpace":::); let "f" be   ($#v1_pscomp_1 :::"continuous"::: )    ($#m1_subset_1 :::"RealMap":::) "of" (Set (Const "T")); let "g" be   ($#v2_relat_1 :::"non-empty"::: )     ($#v1_pscomp_1 :::"continuous"::: )    ($#m1_subset_1 :::"RealMap":::) "of" (Set (Const "T")); 
cluster (Set bbbadK1_RFUNCT_1("f" "," "g")) ->   ($#v1_pscomp_1 :::"continuous"::: )    for  ($#m1_subset_1 :::"RealMap":::) "of" "T"; 
end;