From https://arxiv.org/html/2402.10400v1 - Chain of Logic: Rule-Based Reasoning with Large Language Models | = | |
Ti | = | Rule: |
sec | = | {Conclusion.Cl} {Condition.cl}. |
Conclusion.Cl | = | There is personal jurisdiction over a defendant |
Condition.cl | = | {DefendantDomicile.cl}, or when {MinimumContacts.cl} |
DefendantDomicile.cl | = | in the state where the defendant is domiciled |
MinimumContacts.cl | = | (1) {AvailedOfPrivileges.cl} and (2) {ClaimArises.cl} |
AvailedOfPrivileges.cl | = | the defendant has sufficient contacts with the state, such that they have availed itself of the privileges of the state |
ClaimArises.cl | = | the claim arises out of the nexus of the defendant’s contacts with the state |
= | [G/Z/ol/Base] |