niNSSKJs Js Jr SSKJs Js Js Jr "SS5r g)Nc <\rSrSrS S\S\S\S\S\4 SjjrS rS r g) FactN fact_textname start_timeend_timestaticc[R"U5upgpX lX0lX@lXPl[ R"U5UlXpl Xl Xl g)avDefine a PyReason fact that can be loaded into the program using `pr.add_fact()` :param fact_text: The fact in text format. Example: `'pred(x,y) : [0.2, 1]'` or `'pred(x,y) : True'` :type fact_text: str :param name: The name of the fact. This will appear in the trace so that you know when it was applied :type name: str :param start_time: The timestep at which this fact becomes active :type start_time: int :param end_time: The last timestep this fact is active :type end_time: int :param static: If the fact should be active for the entire program. In which case `start_time` and `end_time` will be ignored :type static: bool N) fact_parser parse_factrrr r labelLabelpred componentboundtype) selfrrrr r rrr fact_types U/home/james-whalen/.local/lib/python3.13/site-packages/pyreason/scripts/facts/fact.py__init__ Fact.__init__sL-8,B,B9,M) $  KK% "  cURSURSUR3nUR(aUS- nU$USURSUR 3- nU$)N(z) : z | staticz | start: z -> end: )rrrr rr )rss r__str__ Fact.__str__sdyyk4>>*$tzzl ; ;;  A :doo.i G GAr)rrr rrrr r)NrrF) __name__ __module__ __qualname____firstlineno__strintboolrr__static_attributes__rrrrs1#SSX[im0rr) "pyreason.scripts.utils.fact_parserscriptsutilsr 5pyreason.scripts.numba_wrapper.numba_types.label_type numba_wrapper numba_types label_typerrr'rrr/s88EEr