formal semantics: the branch of semantics that studies the logical aspects of meaning
semantics: the study of language meaning
extrinsic fraud: fraud that prevents a party from knowing their rights or from having a fair opportunity of presenting them at trial