Predicate

Predicates are JSON structures found in multiple different locations within data packs. They are invoked with various means to check conditions within the world. They return a pass or fail result to the invoker, who will act differently based on this result.
Predicate files are standalone data pack files that contain one or more predicates. Predicates can also be defined in other ways.
This article describes how predicates are defined and invoked, and also describes the JSON structure of a predicate.
== Definition of predicate files ==
A predicate file is defined with the JSON format. It contains either the structure of a predicate, or an array with multiple predicates.
* (data pack name)
** pack.mcmeta
** pack.png
** data
*** (namespace)
**** advancements
***** (advancement).json
**** functions
***** (function).mcfunction
**** item_modifiers
***** (modifier).json
**** loot_tables
***** (loot table).json
**** predicates
***** (predicate).json
**** Further folders…
The root element of a predicate file can be either an following the predicate structure below, or an containing multiple predicates.
== Invocation ==
Predicates and predicate files can be invoked in several different manners from other data pack files:
=== Invocation from commands ===
Commands or functions can invoke predicate files in two ways:
* Target selectors: The selector argument predicate= checks predicate files as a filter for entity selection. The predicate file is invoked once per entity that needs filtering, each time being at the entity's location.
* : A subcommand, /execute if predicate, can invoke a predicate file to either return a result or to decide whether to continue with a subcommand chain. The predicate file is invoked once at the current contextual position of execution.
=== Invocation from other predicates ===
The condition type minecraft:reference invokes a predicate file and returns the result to the invoker.
=== Predicates' presence in other files ===
In addition to predicate files, predicates themselves are used in other locations within other data pack files such as advancements and loot tables.
== Predicate JSON format ==
This section describes the JSON format of a predicate.
* : The root element of the predicate.
** : The resource location of the condition type to check.
** Other parts of the predicate, specified below.
The possible values for and associated extra contents:
* all_of—Evaluates a list of predicates and passes if all of them pass. Invokable from any context.
** : The list of predicates to evaluate. A predicate within this array must be a .
*** A predicate, following this structure recursively.
* any_of—Evaluates a list of predicates and passes if any one of them passes. Invokable from any context.
** : The list of predicates to evaluate. A predicate within this array must be a .
*** A predicate, following this structure recursively.
* block_state_property—Checks the mined block and its block states. Requires block state provided by loot context, and always fails if not provided.
** : A block ID. The test fails if the block doesn't match.
** : (Optional) A map of block state names to values. Errors if the block doesn't have these properties.
*** : A block state and a exact value. The value is a string.
*** : A block state name and a ranged value to match.
**** : The min value.
**** : The max value.
* damage_source_properties—Checks properties of the damage source. Requires origin and damage source provided by loot context, and always fails if not provided.
** : Predicate applied to the damage source.
*** 
* entity_properties—Checks properties of an entity. Invokable from any context.
** : The entity to check. Specifies an entity from loot context. Can be , , , or .
** : Predicate applied to entity, uses same structure as advancements.
*** 
* entity_scores—Checks the scoreboard scores of an entity. Requires the specified entity provided by loot context, and always fails if not provided.
** : The entity to check. Specifies an entity from loot context. Can be , , , or .
** : Scores to check. All specified scores must pass for the condition to pass.
*** : Key name is the objective while the value specifies a range of score values required for the condition to pass.
**** : A number Provider. Minimum score.
**** : A number Provider. Maximum score.
*** : Shorthand version of the other syntax above, to check the score against a single number only. Key name is the objective while the value is the required score.
* inverted—Inverts another loot table condition. Invokable from any context.
** : The condition to be negated, following the same structure as outlined here, recursively.
* killed_by_player—Checks if there is a killer_player entity provided by loot context. Requires killer_player entity provided by loot context, and always fails if not provided.
* location_check—Checks the current location against location criteria. Requires origin provided by loot context, and always fails if not provided.
** : An optional x offset to the location.
** : An optional y offset to the location.
** : An optional z offset to the location.
** : Predicate applied to location, uses same structure as advancements.
*** 
* match_tool—Checks tool used to mine the block. Requires tool provided by loot context, and always fails if not provided.
** : Predicate applied to item, uses same structure as advancements.
*** 
* random_chance—Generates a random number between 0.0 and 1.0, and checks if it is less than a specified value. Invokable from any context.
** : Success rate as a number 0.0–1.0.
* random_chance_with_looting—Generates a random number between 0.0 and 1.0, and checks if it is less than a specified value which has been affected by the level of Looting on the killer entity. Requires killer entity provided by loot context, and if not provided, the looting level is regarded as 0.
** : Base success rate.
** : Looting adjustment to the base success rate. Formula is chance + (looting_level * looting_multiplier).
* reference—Invokes a predicate file and returns its result. Invokable from any context.
** : The resource location of the predicate to invoke. A cyclic reference causes a parsing failure.
* survives_explosion—Returns success with probability. Requires explosion radius provided by loot context, and always success if not provided.
* table_bonus—Passes with probability picked from a list, indexed by enchantment power. Requires tool provided by loot context. If not provided, the enchantment level is regarded as 0.
** : Resource location of enchantment. 
** : List of probabilities for enchantment power, indexed from 0.
* time_check—Compares the current day time (or rather, 24000 * day count + day time) against given values. Invokable from any context.
** : The time to compare the day time against.
*** : A number Provider. The minimum value.
*** : A number Provider. The maximum value.
** : Shorthand version of above, used to check for a single value only. Number providers cannot be used in this shorthand form.
** : If present, the day time is first reduced modulo the given number before being checked against . For example, setting this to 24000 causes the checked time to be equal to the current daytime.
* value_check—Compares a number against another number or range of numbers. Invokable from any context.
** : A number Provider. The number to test.
** : The range of numbers to compare against.
*** : A number Provider. The minimum value.
*** : A number Provider. The maximum value.
** : Shorthand version of above, used to compare against a single number only. Number providers cannot be used in this shorthand form.
* weather_check—Checks the current game weather. Invokable from any context.
** : If true, the condition passes only if it is raining or thundering.
** : If true, the condition passes only if it is thundering.
== History ==
de:Prädikate
fr:Prédicat
ja:プレディケート
pt:Predicado
zh:战利品表谓词