No docstring is provided and it is not clear whether these objects represent the square of a norm, or a norm itself (eg when assembled). Also, it should be possible to add two (semi)norms.
Also, their evaluation after discretization is sometimes wrong: see Psydac issue #campospinto/psydac_dev#12