DISP	full_formula_assignment_df	Full(<F:Formula:L>)== Full(<F>)
ABS	full_formula_assignment	Full(F) == {a:Assignment| a |= F a | F}
THM	full_formula_assignment_wf	F:Formula. Full(F)
THM	full_formula_assignment_properties	F:Formula. a:Full(F). a |= F a | F

the other theories