Signed with T[rue] or F[alse]

String representation of a Signed Formula

Is the signed formula of type Alpha

Is the signed formula of type Beta

Is the signed formula of type Gamma

Is the signed formula of type Delta

Is the first Signed Formula complementary of the second Signed Formula

Is the first a Signed subformula of the second

Get Formula out of Signed Formula

Get signed subformulas as a list of signed formulas