예제 #1
0
def mfj(p):
    return And(fam.is_married(p), tax_status(p) == "Married filing jointly")
예제 #2
0
def mfs(p):
    return And(fam.is_married(p), tax_status(p) == "Married filing separately")
예제 #3
0
def filing_single(p):
    return And(Not(fam.is_married(p)), tax_status(p) == "Single")