Valueset-surface.json Coverageeligibilityrequest.shex

Definition ShEx statement for Value SetSurface Codes coverageeligibilityrequest

PREFIX fhir: <http://hl7.org/fhir/> 
PREFIX fhirvs: <http://hl7.org/fhir/ValueSet/>
PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> 
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> 
# ShEx Version 2.2
IMPORT <Code.shex>
IMPORT <Date.shex>
IMPORT <Money.shex>
IMPORT <String.shex>
IMPORT <Period.shex>
IMPORT <Patient.shex>
IMPORT <Boolean.shex>
IMPORT <DateTime.shex>
IMPORT <Location.shex>
IMPORT <Resource.shex>
IMPORT <Coverage.shex>
IMPORT <Quantity.shex>
IMPORT <Reference.shex>
IMPORT <Condition.shex>
IMPORT <Identifier.shex>
IMPORT <PositiveInt.shex>
IMPORT <Practitioner.shex>
IMPORT <Organization.shex>
IMPORT <DomainResource.shex>
IMPORT <CodeableConcept.shex>
IMPORT <BackboneElement.shex>
IMPORT <PractitionerRole.shex>
start=@<CoverageEligibilityRequest> AND {fhir:nodeRole [fhir:treeRoot]}
# CoverageEligibilityRequest resource
<CoverageEligibilityRequest> EXTENDS @<DomainResource> CLOSED {   
    a [fhir:CoverageEligibilityRequest]?;fhir:nodeRole [fhir:treeRoot]?;
    fhir:identifier @<OneOrMore_Identifier>?;  # Business Identifier for coverage 
                                            # eligiblity request 
    fhir:status @<Code> AND
    	{fhir:v @fhirvs:fm-status};  # active | cancelled | draft | 
                                            # entered-in-error 
    fhir:statusReason @<String>?;           # Reason for status change
    fhir:priority @<CodeableConcept>?;      # Desired processing priority
    fhir:purpose @<OneOrMore_Code> AND
    	{fhir:v @fhirvs:eligibilityrequest-purpose};  # auth-requirements | benefits | 
                                            # discovery | validation 
    fhir:patient @<Reference> AND {fhir:l 
    			@<Patient> ? };  # Intended recipient of products and 
                                            # services 
    fhir:event @<OneOrMore_CoverageEligibilityRequest.event>?;  # Event information
    fhir:serviced @<Date>  OR 
    			@<Period>  ?;  # Estimated date or dates of service
    fhir:created @<DateTime>;               # Creation date
    fhir:enterer @<Reference> AND {fhir:l 
    			@<Practitioner> OR 
    			@<PractitionerRole> ? }?;  # Author
    fhir:provider @<Reference> AND {fhir:l 
    			@<Organization> OR 
    			@<Practitioner> OR 
    			@<PractitionerRole> ? }?;  # Party responsible for the request
    fhir:insurer @<Reference> AND {fhir:l 
    			@<Organization> ? };  # Coverage issuer
    fhir:facility @<Reference> AND {fhir:l 
    			@<Location> ? }?;  # Servicing facility
    fhir:supportingInfo @<OneOrMore_CoverageEligibilityRequest.supportingInfo>?;  # Supporting information
    fhir:insurance @<OneOrMore_CoverageEligibilityRequest.insurance>?;  # Patient insurance information
    fhir:item @<OneOrMore_CoverageEligibilityRequest.item>?;  # Item to be evaluated for eligibiity
}  
# Event information
<CoverageEligibilityRequest.event> EXTENDS @<BackboneElement> CLOSED {   
    fhir:type @<CodeableConcept>;           # Specific event
    fhir:when @<DateTime>  OR 
    			@<Period>  ;  # Occurance date or period
}  
# Applicable diagnosis
<CoverageEligibilityRequest.item.diagnosis> EXTENDS @<BackboneElement> CLOSED {   
    fhir:diagnosis @<CodeableConcept>  OR 
    			(@<Reference>  AND {fhir:l @<Condition> })  ?;  # Nature of illness or problem
}  
# Supporting information
<CoverageEligibilityRequest.supportingInfo> EXTENDS @<BackboneElement> CLOSED {   
    fhir:sequence @<PositiveInt>;           # Information instance identifier
    fhir:information @<Reference> AND {fhir:l 
    			@<Resource> ? };  # Data to be provided
    fhir:appliesToAll @<Boolean>?;          # Applies to all items
}  
# Patient insurance information
<CoverageEligibilityRequest.insurance> EXTENDS @<BackboneElement> CLOSED {   
    fhir:focal @<Boolean>?;                 # Applicable coverage
    fhir:coverage @<Reference> AND {fhir:l 
    			@<Coverage> ? };  # Insurance information
    fhir:businessArrangement @<String>?;    # Additional provider contract number
}  
# Item to be evaluated for eligibiity
<CoverageEligibilityRequest.item> EXTENDS @<BackboneElement> CLOSED {   
    fhir:supportingInfoSequence @<OneOrMore_PositiveInt>?;  # Applicable exception or supporting 
                                            # information 
    fhir:category @<CodeableConcept>?;      # Benefit classification
    fhir:productOrService @<CodeableConcept>?;  # Billing, service, product, or drug 
                                            # code 
    fhir:modifier @<OneOrMore_CodeableConcept>?;  # Product or service billing 
                                            # modifiers 
    fhir:provider @<Reference> AND {fhir:l 
    			@<Practitioner> OR 
    			@<PractitionerRole> ? }?;  # Perfoming practitioner
    fhir:quantity @<Quantity>?;             # Count of products or services
    fhir:unitPrice @<Money>?;               # Fee, charge or cost per item
    fhir:facility @<Reference> AND {fhir:l 
    			@<Location> OR 
    			@<Organization> ? }?;  # Servicing facility
    fhir:diagnosis @<OneOrMore_CoverageEligibilityRequest.item.diagnosis>?;  # Applicable diagnosis
    fhir:detail @<OneOrMore_Reference_Resource>?;  # Product or service details
}  
#---------------------- Cardinality Types (OneOrMore) -------------------
<OneOrMore_Identifier> CLOSED {
    rdf:first @<Identifier>  ;
    rdf:rest [rdf:nil] OR @<OneOrMore_Identifier> 
}
<OneOrMore_Code> CLOSED {
    rdf:first @<Code>  ;
    rdf:rest [rdf:nil] OR @<OneOrMore_Code> 
}
<OneOrMore_CoverageEligibilityRequest.event> CLOSED {
    rdf:first @<CoverageEligibilityRequest.event>  ;
    rdf:rest [rdf:nil] OR @<OneOrMore_CoverageEligibilityRequest.event> 
}
<OneOrMore_CoverageEligibilityRequest.supportingInfo> CLOSED {
    rdf:first @<CoverageEligibilityRequest.supportingInfo>  ;
    rdf:rest [rdf:nil] OR @<OneOrMore_CoverageEligibilityRequest.supportingInfo> 
}
<OneOrMore_CoverageEligibilityRequest.insurance> CLOSED {
    rdf:first @<CoverageEligibilityRequest.insurance>  ;
    rdf:rest [rdf:nil] OR @<OneOrMore_CoverageEligibilityRequest.insurance> 
}
<OneOrMore_CoverageEligibilityRequest.item> CLOSED {
    rdf:first @<CoverageEligibilityRequest.item>  ;
    rdf:rest [rdf:nil] OR @<OneOrMore_CoverageEligibilityRequest.item> 
}
<OneOrMore_PositiveInt> CLOSED {
    rdf:first @<PositiveInt>  ;
    rdf:rest [rdf:nil] OR @<OneOrMore_PositiveInt> 
}
<OneOrMore_CodeableConcept> CLOSED {
    rdf:first @<CodeableConcept>  ;
    rdf:rest [rdf:nil] OR @<OneOrMore_CodeableConcept> 
}
<OneOrMore_CoverageEligibilityRequest.item.diagnosis> CLOSED {
    rdf:first @<CoverageEligibilityRequest.item.diagnosis>  ;
    rdf:rest [rdf:nil] OR @<OneOrMore_CoverageEligibilityRequest.item.diagnosis> 
}
<OneOrMore_Reference_Resource> CLOSED {
    rdf:first @<Reference> AND {fhir:l 
			@<Resource> } ;
    rdf:rest [rdf:nil] OR @<OneOrMore_Reference_Resource> 
}
#---------------------- Value Sets ------------------------
# A code specifying the types of information being requested.
fhirvs:eligibilityrequest-purpose ["auth-requirements" "benefits" "discovery" "validation"]
# This value set includes Status codes.
fhirvs:fm-status ["active" "cancelled" "draft" "entered-in-error"]