/// <summary> Return false if both contained prepositions are false. </summary>
public override bool Check(string[] key, bool[] state)
{
return(_fact1.Check(key, state) || _fact2.Check(key, state));
}
/// <summary> Return false if the contained preposition is true. </summary>
public override bool Check(string[] key, bool[] state)
{
return(!_fact.Check(key, state));
}
/// <summary> Return false if the requirement is met AND the implication is not true. </summary>
public override bool Check(string[] key, bool[] state)
{
return(!_requirement.Check(key, state) || _implication.Check(key, state));
}
