[School] Up first, and follow the program service

Frist has calculated 5TH
+TH1: A -> aBc|x => Period(The) = A, x
+TH2: A -> aBc|B, B -> c|€ => Period(The) = A + Period(B) = A, c, €
+TH3: A -> BC, B -> b, C -> c => Period(The) = Time(B) = b. At this should not contain ko plus € Frist(C)
+TH4: A -> BC, B -> b|€, C -> c => Period(The) = Time(B) = b, €. Come containing € should Frist(The) = Time(B) \ {€} + Period(C) = b, c
+TH5: A -> BC, B -> b|€, C -> c|€ => Period(The) = Time(B) = b, €. Come containing €
==> Period(The) = Time(B) \ {€} + Period(C) = b, c, €


Follow Up with 5 TH
+TH1: A source => Follow(The) = $
+TH2: A -> aBc|x => Follow(B) = c
+TH3: A -> aBc|B, B -> d => Follow(B) = c + Follow(The)= c, $
+TH4: A -> aBC, C -> c => Follow(B) = First(C) = c
+TH5: A -> aBC, C -> c|€ => Follow(B) = First(C) mà First(C) = c, € € should contain Follow(B) = First(C) \ {€} + Follow(The) (A female is born B) = c, $