PartiallyFixedClaimGroup   
    Defines the contract to build an AssertionGroup whose AssertionGroup.holds is a logic AND operation composed by a fixed part and its AssertionGroup.assertions.
Have a look at FixedClaimGroup in case AssertionGroup.holds should not rely on AssertionGroup.assertions at all but be fixed.
Types
Link copied to clipboard
                  Final step which creates an AssertionGroup whose AssertionGroup.holds is a logic AND operation composed by preTransformationHolds and its AssertionGroup.assertions.
Link copied to clipboard
                  Option step which allows to specify the AssertionGroup.type.
Link copied to clipboard
                  interface HoldsOption<T : AssertionGroupType> : FixedClaimLikeGroup.HoldsOption<T, PartiallyFixedClaimGroup.FinalStep> 
Option step which allows to specify the AssertionGroup.holds or another fixed part involved in calculating AssertionGroup.holds.