Update time projection formula

[ccrock4t]

see issue #104 for the text

[github-actions[bot]]

dev.txt - DEV BRANCH: FAILED (failures=54, errors=13) pr.txt - PR BRANCH: FAILED (failures=53, errors=12)

--- dev.txt 2024-05-06 20:06:31.882273045 +0000
+++ pr.txt  2024-05-06 20:06:31.882273045 +0000
@@ -1,3 +1,4 @@
+                                      
 test_bug_0 (test_BUG_NAL4.TEST_BUG_NAL4)
 <bird --> animal>. %1.00;0.90% ... FAIL
 test_abduction (test_NAL1.TEST_NAL1)
@@ -224,7 +225,7 @@
 test_multiple_variable_elimination_2 (test_NAL6.TEST_NAL6)
 'Multiple variable elimination ... ok
 test_multiple_variables_introduction_0 (test_NAL6.TEST_NAL6)
-'Multiple variables introduction ... FAIL
+'Multiple variables introduction ... ok
 test_multiple_variables_introduction_1 (test_NAL6.TEST_NAL6)
 'Multiple variables introduction ... ok
 test_nlp1 (test_NAL6.TEST_NAL6)
@@ -315,7 +316,7 @@
 test_inference_on_tense_1 (test_NAL7.TEST_NAL7)
 ' inference on tense ... FAIL
 test_inference_on_tense_2 (test_NAL7.TEST_NAL7)
-' inference on tense ... FAIL
+' inference on tense ... ok
 test_analogy_0_0__0 (test_NAL7.TEST_NAL7_ANALOGY) ... ok
 test_analogy_0_0__1 (test_NAL7.TEST_NAL7_ANALOGY) ... ok
 test_analogy_0_0__2 (test_NAL7.TEST_NAL7_ANALOGY) ... ok
@@ -353,7 +354,7 @@
 test_1_13_var (test_NAL8.TEST_NAL8)
 nal8.1.13.nal ... ERROR
 test_1_14 (test_NAL8.TEST_NAL8)
-nal8.1.14.nal ... FAIL
+nal8.1.14.nal ... ok
 test_1_16 (test_NAL8.TEST_NAL8)
 nal8.1.16.nal ... FAIL
 test_1_2 (test_NAL8.TEST_NAL8)
@@ -361,7 +362,7 @@
 test_1_3 (test_NAL8.TEST_NAL8)
 nal8.1.3.nal ... ok
 test_1_3_var (test_NAL8.TEST_NAL8)
-nal8.1.3.nal ... ERROR
+nal8.1.3.nal ... FAIL
 test_1_4 (test_NAL8.TEST_NAL8)
 nal8.1.4.nal ... ok
 test_1_4_var (test_NAL8.TEST_NAL8)
@@ -381,7 +382,7 @@
 test_sequence_1 (test_NAL8.TEST_NAL8)
 C! ... ok
 test_sequence_2 (test_NAL8.TEST_NAL8)
-(&/, A, B, C)! ... ok
+(&/, A, B, C)! ... FAIL
 test_anticipate_0 (test_NAL9.TEST_NAL9)
 <<(&/,<a --> A>,+10) =/> <b --> B>>. ... ok
 test_believe_0 (test_NAL9.TEST_NAL9)

[ccrock4t]

For example, here is the discount projecting a belief from $t_B = 5$ to $t_T = x$, when the current time is $t_C=20$