:- dynamic
      events/1,
      happens/2,
      initiates/2,
      terminates/2,
      mn/3,
      mn/5,
      fulltext/2,
      index/2.

:- discontiguous
	mn/3,mn/5,fulltext/2,index/2.

mn(nil,statute_temporal_force_ends(StatuteNr),
	 statute_repealing(StatuteNr)).
mn(nil,provision_prolongation_ends(ProvisionId),
	 prolonged_provision_repealing(ProvisionId)).
mn(nil,provision_suspension_ends(ProvisionId,Text,NewStructFacts),
	 suspended_provision_enactment(ProvisionId,Text,NewStructFacts)).
mn(nil,retroactivity_period_starts(ProvisionId),
	 retroactivity_recording(ProvisionId)).
mn(nil,retroactivity_period_starts(ProvisionId),
	 provision_enactment(ProvisionId)).


statute(1,main,"Ustawa z dnia 29 listopada 1990 r. o pomocy spolecznej").


index(p(1,1,1,1),'Definicja pomocy spolecznej').

mn(p(1,1,1,1),statute_enactment(1),provision_enactment(p(1,1,1,1),
       t(1,1,1,1,1),[basic(p(1,1,1,1))])).
       
full_text(t(1,1,1,1,1),"Art. 1. 1. Pomoc spoleczna jest instytucja polityki spolecznej panstwa majaca na celu umozliwienie osobom i rodzinom przezwyciezanie trudnych sytuacji zyciowych, ktorych nie sa one w stanie pokonac, wykorzystujac wlasne srodki, mozliwosci i uprawnienia.").




mn(p(1,1,2,1),statute_enactment(1),provision_enactment(p(1,1,2,1),t(1,1,1,2,1),[specifies(p(1,1,2,1),p(1,1,1,1))])).

full_text(t(1,1,1,2,1),"Art. 1. 2. Pomoc spoleczna organizuja organy administracji rzadowej i samorzadowej, wspolpracujac w tym zakresie z organizacjami spolecznymi, Kosciolem Katolickim, innymi kosciolami, zwiazkami wyznaniowymi, fundacjami, stowarzyszeniami, pracodawcami oraz osobami fizycznymi i prawnymi.").


index(p(1,1,3,1),'Wspoludzial osob i rodzin korzystajacych z pomocy').

mn(p(1,1,3,1),statute_enactment(1),provision_enactment(p(1,1,3,1),t(1,1,1,3,1),[basic(p(1,1,3,1))])).

full_text(t(1,1,1,3,1),"Art. 1. 3. Osoby i rodziny korzystajace z pomocy spolecznej sa obowiazane do wspoludzialu w rozwiazywaniu ich trudnej sytuacji zyciowej.").


mn(p(1,2,1,1),statute_enactment(1),provision_enactment(p(1,2,1,1),t(1,1,2,1,1),[specifies(p(1,2,1,1),p(1,1,1,1))])).

full_text(t(1,1,2,1,1),"Art. 2. 1.Celem pomocy spolecznej jest zaspokajanie niezbednych potrzeb zyciowych osob i rodzin oraz umozliwianie im bytowania w warunkach odpowiadajacych godnosci czlowieka. Pomoc spoleczna powinna w miare mozliwosci doprowadzic do zyciowego usamodzielnienia osob i rodzin oraz ich integracji ze srodowiskiem.").


mn(p(1,2,2,1),statute_enactment(1),provision_enactment(p(1,2,2,1),t(1,1,2,2,1),[specifies(p(1,2,2,1),p(1,1,1,1))])).

full_text(t(1,1,2,2,1),"Art. 2. 2. Celem pomocy spolecznej jest takze zapobieganie powstawaniu sytuacji okreslonych w art. 1 ust. 1.").


index(p(1,2,3,1),'Sposob udzielania swiadczen').

mn(p(1,2,3,1),statute_enactment(1),provision_enactment(p(1,2,3,1),t(1,1,2,3,1),[basic(p(1,2,3,1))])).

full_text(t(1,1,2,3,1),"Art. 2. 3. Rodzaj, forma i rozmiar swiadczenia powinny byc odpowiednie do okolicznosci uzasadniajacych udzielenie pomocy. Swiadczenie pomocy spolecznej powinno sluzyc rowniez umacnianiu rodziny.").


mn(p(1,2,4,1),statute_enactment(1),provision_enactment(p(1,2,4,1),t(1,1,2,4,1),[specifies(p(1,2,4,1),p(1,2,3,1))])).

full_text(t(1,1,2,4,1),"Art. 2. 4. Potrzeby osoby i rodziny korzystajacej z pomocy powinny zostac uwzglednione, jezeli odpowiadaja celom i mozliwosciom pomocy spolecznej.").


index(p(1,'2a',1,1),'Definicja rodziny').

mn(p(1,'2a',1,1),statute_enactment(1),provision_enactment(p(1,'2a',1,1),t(1,1,'2a',1,1),[basic(p(1,'2a',1,1))])).

full_text(t(1,1, '2a',1,1), "Art. 2a. 1. Ilekroc w dalszych przepisach ustawy jest mowa o:
	1) rodzinie - oznacza to osoby spokrewnione lub niespokrewnione pozostajace w faktycznym zwiazku wspolnie zamieszkujace i gospodarujace, z zastrzezeniem art. 4a.").


index(p(1,'2a',1,2), 'Definicja osoby samotnie wychowujacej dziecko').

mn(p(1,'2a',1,2),statute_enactment(1),provision_enactment(p(1,'2a',1,2),t(1,1,'2a',1,2),[basic(p(1,'2a',1,2))])).

full_text(t(1,1,'2a',1,2), "Art. 2a. 1. Ilekroc w dalszych przepisach ustawy jest mowa o:
	1a) osobie samotnie wychowujacej dziecko - oznacza to osobe gospodarujaca z dzieckiem pozostajacym pod jej opieka i na jej wylacznym utrzymaniu, nawet jesli otrzymuje alimenty.").



index(p(1,60,0,1),'Wejscie ustawy w zycie').

mn(p(1,60,0,1),statute_promulgation(1),provision_enactment(p(1,60,0,1),t(1,1,60,0,1),[basic(p(1,60,0,1))])).

mn(p(1,60,0,1),statute_promulgation(1),vacatio_legis(1),
                                       statute_enactment(1),T):-
             happens(statute_promulgation(1),T1),
             distant_date(T1,30,T).

full_text(t(1,1,60,0,1), "Art. 60. Ustawa wchodzi w zycie po uplywie 30 dni od dnia ogloszenia, z wyjatkiem art. 49 ust. 1 i 2, ktory wchodzi w zycie z dniem 1 stycznia 1995 r. ").

:- to_terminal.
:- adding_to_events(statute_promulgation(1),19901129).
:- event_forcing.
:- event_forcing.