I need help in writing a fact in alloy i have this code

abstract sig Table{
breakfast: one breakFast,
lunch: one Lunch,
dinner: one Dinner
}

one sig Free{

}

one sig Reserved{

}

sig breakFast {
breakfastfree:one Free,
breakfastReserved:one Reserved
}

sig Lunch {
Lunchfree:one Free,
LunchReserved:one Reserved

}

sig Dinner  {
Dinnerfree:one Free,
DinnertReserved:one Reserved
}

fact{

  -- All instructors are either Faculty or Graduate Students
 // all i: Instructor | i in Faculty+Graduate

all b : breakFast | no (b.breakfastfree+b.breakfastReserved)
all L : Lunch | no (L.Lunchfree+L.LunchReserved)
all d : Dinner | no (d.Dinnerfree+d.DinnertReserved)

all t1,t2 : Table | t1 != t2 => t1.breakfast != t2.breakfast
all t1,t2 : Table | t1 != t2 => t1.lunch != t2.lunch
all t1,t2 : Table | t1 != t2 => t1.dinner != t2.dinner

//all F:Free | .Free.BreakFast !in T.Reserved.breakFast
//all T:Table | T.Free.Lunch !in T.Reserved.Lunch
//all T:Table | T.Free.Dinnert !in T.Reserved.Dinner

}

pred RealismConstraints []{

#Table = 4

}
run RealismConstraints for 4

all b : breakFast | no (b.breakfastfree+b.breakfastReserved)
all L : Lunch | no (L.Lunchfree+L.LunchReserved)
all d : Dinner | no (d.Dinnerfree+d.DinnertReserved)
those facts are not working and what i want is make a fact that means for every meal there is one choice only either free or reserved not both please any ideas