Home Case studies Matthew 19: permission and prohibition What this scene lets you inspect The retained scene exposes permissions and prohibitions separately. Compare their bearers and conditions; the display does not invent a priority rule to make a difficult case disappear.
Keep different addressees and coexisting positions visible.
What the record establishes These requests were executed by the native engine under semantics 0.2.7 and passed their stated expectations. A check may expect an incomplete answer, no positions or a judgment request. Evaluation status is displayed separately from logical support.
This is a modeled historical or doctrinal scene. A computed result belongs to the supplied inputs; it is not a general religious judgment.
Supplied facts → recorded answers Each card is one query, including its step in a recorded case. Open the inputs to see exactly what was supplied.
positions · step 1 / 1
Positions Case: MT24 ONE DEAL IS BOTH PERMITTED AND FORBIDDEN
2 returned positions Evaluation: COMPUTED
19:8. Moses, because of the hardness of your hearts, permitted you to divorce your wives
19:6. What God has joined, let a man not separate
Supplied inputs & evaluation context positive Is the person addressed in 19 6 (One)positive Is of those addressed in 19 8 (One)positive Separates what god joined (One)positive Divorces his wife (One)decisionTime 0030-01-01T12:00:00Z knowledgeTime 0030-01-01T12:00:00Z legalTime 0030-01-01 timezone UTC Inspect this answer and proof ↗ Computation identity 2 stated expectations verified · Expectations verified
Result sha256:5add06caf326afc51f761b0c224c2ba48c742ad4dba2d76901e96a897b598f0f Proof sha256:e5db295cf5c171590f31445ee615000298cb7e3bac05664d23b0fe8e5b34d53d Program sha256:2159fe8ed6a5e3e840c31dccd8cd0e3c3ef79471dc94dc7e3c4e23724d9f3380 Producer bbeee997a8ef11816d14fc7a3d2f7e3afb74ceed923c614dafeaf6d92dcc9275 positions · step 1 / 1
Positions Case: MT24 EACH ACT IS CHECKED SEPARATELY
1 returned positions Evaluation: COMPUTED
19:8. Moses, because of the hardness of your hearts, permitted you to divorce your wives
Supplied inputs & evaluation context positive Is of those addressed in 19 8 (Two)positive Divorces his wife (Two)decisionTime 0030-01-01T12:00:00Z knowledgeTime 0030-01-01T12:00:00Z legalTime 0030-01-01 timezone UTC Inspect this answer and proof ↗ Computation identity 2 stated expectations verified · Expectations verified
Result sha256:b77a8920aee4cee7a7fa2a105f0125250c982c96daf84e6c39322eb01084b933 Proof sha256:406d5f1d4dfc7756856de86d0a1968930de6acebc8ef61e058eafea6d4e5d4f5 Program sha256:2159fe8ed6a5e3e840c31dccd8cd0e3c3ef79471dc94dc7e3c4e23724d9f3380 Producer bbeee997a8ef11816d14fc7a3d2f7e3afb74ceed923c614dafeaf6d92dcc9275 positions · step 1 / 1
Positions Case: MT24 THE CHILDREN PERMISSION AND PROHIBITION ARE ONE MATTER
2 returned positions Evaluation: COMPUTED
19:14. Do not hinder them from coming to me
19:14. Let the children come to me
Supplied inputs & evaluation context positive Rebuked the children (One)positive Hinders them from coming (One)decisionTime 0030-01-01T12:00:00Z knowledgeTime 0030-01-01T12:00:00Z legalTime 0030-01-01 timezone UTC Inspect this answer and proof ↗ Computation identity 2 stated expectations verified · Expectations verified
Result sha256:26e9c0b0f31f055bfb1ef5a0b5b4cc6c84098cce2eb6513b01511e737bbfa1f2 Proof sha256:405cd357c990037520e940dad72550f832d0eefddce65d3eca41cba72bb49c55 Program sha256:2159fe8ed6a5e3e840c31dccd8cd0e3c3ef79471dc94dc7e3c4e23724d9f3380 Producer bbeee997a8ef11816d14fc7a3d2f7e3afb74ceed923c614dafeaf6d92dcc9275 positions · step 1 / 1
Positions Case: MT24 THE DUTY NEEDS THE STATED ABILITY
0 returned positions Evaluation: COMPUTED
Supplied inputs & evaluation context positive Receives the word (Three)decisionTime 0030-01-01T12:00:00Z knowledgeTime 0030-01-01T12:00:00Z legalTime 0030-01-01 timezone UTC No source anchor is attached to this query’s retained proof. Inspect its supplied facts and evaluation in the case lab.
Inspect this answer and proof ↗ Computation identity 2 stated expectations verified · Expectations verified
Result sha256:728a6f6e9e77a1b1d3442eafc97fbeb47e67e4300b21613ecb514b70e2db32b1 Proof sha256:4dc79bca3e34e0d681e722582d9da45797bb17aa0bd61ea0dda2ec214776a60b Program sha256:2159fe8ed6a5e3e840c31dccd8cd0e3c3ef79471dc94dc7e3c4e23724d9f3380 Producer bbeee997a8ef11816d14fc7a3d2f7e3afb74ceed923c614dafeaf6d92dcc9275 truth · step 1 / 3
The disciples rebuked those who brought children (Two) Case: MT24 QUESTIONS STATEMENTS AND A REBUKE YIELD NO NORM
Positive support Evaluation: COMPUTED
Supplied inputs & evaluation context positive The disciples rebuked those who brought children (Two)positive The three kinds exist as stated (Four)decisionTime 0030-01-01T12:00:00Z knowledgeTime 0030-01-01T12:00:00Z legalTime 0030-01-01 timezone UTC No source anchor is attached to this query’s retained proof. Inspect its supplied facts and evaluation in the case lab.
Inspect this answer and proof ↗ Computation identity 1 stated expectations verified · Expectations verified
Result sha256:30d2127f536b5adee839db238cdfcdc4baae1c3b41609a0b94a087ab46301249 Proof sha256:22c9174377eb0d887069eb323705b798d409ee6975ebbe65ffe16bc65184f4fb Program sha256:2159fe8ed6a5e3e840c31dccd8cd0e3c3ef79471dc94dc7e3c4e23724d9f3380 Producer bbeee997a8ef11816d14fc7a3d2f7e3afb74ceed923c614dafeaf6d92dcc9275 truth · step 2 / 3
The three kinds exist as stated (Four) Case: MT24 QUESTIONS STATEMENTS AND A REBUKE YIELD NO NORM
Positive support Evaluation: COMPUTED
Supplied inputs & evaluation context positive The disciples rebuked those who brought children (Two)positive The three kinds exist as stated (Four)decisionTime 0030-01-01T12:00:00Z knowledgeTime 0030-01-01T12:00:00Z legalTime 0030-01-01 timezone UTC No source anchor is attached to this query’s retained proof. Inspect its supplied facts and evaluation in the case lab.
Inspect this answer and proof ↗ Computation identity 1 stated expectations verified · Expectations verified
Result sha256:f28230a0e6860ad7a9d09245641841f93b6b909610cba3ce920da5d0d743388f Proof sha256:42f7b2e95244a6762fc0e7bf693322a01ace680445b63925bb2e2497e12ee6ab Program sha256:2159fe8ed6a5e3e840c31dccd8cd0e3c3ef79471dc94dc7e3c4e23724d9f3380 Producer bbeee997a8ef11816d14fc7a3d2f7e3afb74ceed923c614dafeaf6d92dcc9275 positions · step 3 / 3
Positions Case: MT24 QUESTIONS STATEMENTS AND A REBUKE YIELD NO NORM
0 returned positions Evaluation: COMPUTED
Supplied inputs & evaluation context positive The disciples rebuked those who brought children (Two)positive The three kinds exist as stated (Four)decisionTime 0030-01-01T12:00:00Z knowledgeTime 0030-01-01T12:00:00Z legalTime 0030-01-01 timezone UTC No source anchor is attached to this query’s retained proof. Inspect its supplied facts and evaluation in the case lab.
Inspect this answer and proof ↗ Computation identity 4 stated expectations verified · Expectations verified
Result sha256:353fa56e6ed6f2b94162394f410820740b9026ceee77aae061f1ee2dee13fbec Proof sha256:866ec8dc0c9937363d8a6c78bbe51bd337a2ce9bfbfb27fdee0641221d24e34e Program sha256:2159fe8ed6a5e3e840c31dccd8cd0e3c3ef79471dc94dc7e3c4e23724d9f3380 Producer bbeee997a8ef11816d14fc7a3d2f7e3afb74ceed923c614dafeaf6d92dcc9275 positions · step 1 / 1
Positions Case: MT24 EMPTY CASE YIELDS NO POSITIONS
0 returned positions Evaluation: COMPUTED
Supplied inputs & evaluation context decisionTime 0030-01-01T12:00:00Z knowledgeTime 0030-01-01T12:00:00Z legalTime 0030-01-01 timezone UTC No source anchor is attached to this query’s retained proof. Inspect its supplied facts and evaluation in the case lab.
Inspect this answer and proof ↗ Computation identity 5 stated expectations verified · Expectations verified
Result sha256:4238932c57a0164a95dc50455311090d84584699508d270deb8c4483f187f826 Proof sha256:199666ed4e3444ea134d939fd9ee3641e8ec3050e5d37ae412d185a72c98edfd Program sha256:2159fe8ed6a5e3e840c31dccd8cd0e3c3ef79471dc94dc7e3c4e23724d9f3380 Producer bbeee997a8ef11816d14fc7a3d2f7e3afb74ceed923c614dafeaf6d92dcc9275 positions · step 1 / 1
Positions Case: MT24 THE FIVE POSITIONS ARE ALL THE TEXT GIVES
5 returned positions Evaluation: COMPUTED
19:14. Do not hinder them from coming to me
19:8. Moses, because of the hardness of your hearts, permitted you to divorce your wives
19:12. Whoever is able to receive this, let him receive
19:14. Let the children come to me
19:6. What God has joined, let a man not separate
Supplied inputs & evaluation context positive Is the person addressed in 19 6 (Five)positive Is of those addressed in 19 8 (Five)positive Is able to receive (Five)positive Rebuked the children (Three)decisionTime 0030-01-01T12:00:00Z knowledgeTime 0030-01-01T12:00:00Z legalTime 0030-01-01 timezone UTC Inspect this answer and proof ↗ Computation identity 5 stated expectations verified · Expectations verified
Result sha256:982cbd9b078638c06d6236360264731e7f150c43ebfd1595758a199bf43d20d9 Proof sha256:3cc6dc8f41a307e9a688d3ad7ba0066c5b64e147a482865b461e3fabba8d21c2 Program sha256:2159fe8ed6a5e3e840c31dccd8cd0e3c3ef79471dc94dc7e3c4e23724d9f3380 Producer bbeee997a8ef11816d14fc7a3d2f7e3afb74ceed923c614dafeaf6d92dcc9275