data_source: KorLogicDynamicLogic

prompt:
Apply logical rules to simplify the expression:

Convert '[c*]φ' to equivalent simplest form

Rules available:
- Loop Rule

Format your answer within [[double brackets]].

type: expression

rule: Loop


data_source: KorLogicDynamicLogic

prompt:
Apply logical rules to simplify the expression:

Convert '⟨c1||c2⟩φ' to equivalent simplest form

Rules available:
- Concurrent Rule

Format your answer within [[double brackets]].

rule: Concurrent

expected: (⟨c1⟩⟨c2⟩φ ∨ ⟨c2⟩⟨c1⟩φ)

valid_variants: (⟨c1⟩⟨c2⟩φ ∨ ⟨c2⟩⟨c1⟩φ)


data_source: KorLogicDynamicLogic

prompt:
Which rule applies to this scenario?

Scenario: Commands c1 and c2 can be executed in parallel

Options:
G: Exception Rule
C: Choice Rule
E: Concurrent Rule
L: Prediction Rule

Answer format: [[LETTER]]


data_source: KorLogicDynamicLogic

prompt:
Apply logical rules to simplify the expression:

Convert '⟨c1||c2⟩φ' to equivalent simplest form

Rules available:
- Concurrent Rule

Format your answer within [[double brackets]].

expected: (⟨c1⟩⟨c2⟩φ ∨ ⟨c2⟩⟨c1⟩φ)

valid_variants: (⟨c1⟩⟨c2⟩φ ∨ ⟨c2⟩⟨c1⟩φ)


data_source: KorLogicDynamicLogic

prompt:
Which rule applies to this scenario?

Scenario: Execution depends on historical command h

Options:
A: Substitution Rule
F: Interruption Rule
G: Exception Rule
K: History Rule

Answer format: [[LETTER]]


data_source: KorLogicDynamicLogic

prompt:
Which rule applies to this scenario?

Scenario: Execution depends on historical command h

Options:
K: History Rule
A: Substitution Rule
I: Dependency Rule
L: Prediction Rule

Answer format: [[LETTER]]


data_source: KorLogicDynamicLogic

prompt:
Which rule applies to this scenario?

Scenario: Execution depends on historical command h

Options:
A: Substitution Rule
K: History Rule
I: Dependency Rule
L: Prediction Rule

Answer format: [[LETTER]]


data_source: KorLogicDynamicLogic

prompt:
Which rule applies to this scenario?

Scenario: Execution depends on historical command h

Options:
F: Interruption Rule
K: History Rule
A: Substitution Rule
G: Exception Rule

Answer format: [[LETTER]]


data_source: KorLogicDynamicLogic

prompt:
Apply logical rules to simplify the expression:

Convert '[c1;c2]φ' to equivalent simplest form

Rules available:
- Sequence Rule

Format your answer within [[double brackets]].

rule: Sequence


data_source: KorLogicDynamicLogic

prompt:
Which rule applies to this scenario?

Scenario: Exception e may be triggered during command execution

Options:
D: Loop Rule
H: Resource Limitation Rule
A: Substitution Rule
G: Exception Rule

Answer format: [[LETTER]]


data_source: KorLogicDynamicLogic

prompt:
Apply logical rules to simplify the expression:

Convert '[c1;c2]φ' to equivalent simplest form

Rules available:
- Sequence Rule

Format your answer within [[double brackets]].


data_source: KorLogicDynamicLogic

prompt:
Which rule applies to this scenario?

Scenario: Execution depends on historical command h

Options:
F: Interruption Rule
K: History Rule
L: Prediction Rule
J: Priority Rule

Answer format: [[LETTER]]


data_source: KorLogicDynamicLogic

prompt:
Which rule applies to this scenario?

Scenario: Execution depends on historical command h

Options:
K: History Rule
E: Concurrent Rule
H: Resource Limitation Rule
I: Dependency Rule

Answer format: [[LETTER]]


data_source: KorLogicDynamicLogic

prompt:
Apply logical rules to simplify the expression:

Convert '[c*]φ' to equivalent simplest form

Rules available:
- Loop Rule

Format your answer within [[double brackets]].


data_source: KorLogicDynamicLogic

prompt:
Which rule applies to this scenario?

Scenario: Execution depends on historical command h

Options:
B: Sequence Rule
L: Prediction Rule
K: History Rule
A: Substitution Rule

Answer format: [[LETTER]]


data_source: KorLogicDynamicLogic

prompt:
Which rule applies to this scenario?

Scenario: Exception e may be triggered during command execution

Options:
G: Exception Rule
A: Substitution Rule
I: Dependency Rule
F: Interruption Rule

Answer format: [[LETTER]]


data_source: KorLogicDynamicLogic

prompt:
Which rule applies to this scenario?

Scenario: Commands c1 and c2 can be executed in parallel

Options:
F: Interruption Rule
B: Sequence Rule
L: Prediction Rule
E: Concurrent Rule

Answer format: [[LETTER]]


data_source: KorLogicDynamicLogic

prompt:
Which rule applies to this scenario?

Scenario: Exception e may be triggered during command execution

Options:
B: Sequence Rule
J: Priority Rule
D: Loop Rule
G: Exception Rule

Answer format: [[LETTER]]


data_source: KorLogicDynamicLogic

prompt:
Apply logical rules to simplify the expression:

Convert '[c*]φ' to equivalent simplest form

Rules available:
- Loop Rule

Format your answer within [[double brackets]].


data_source: KorLogicDynamicLogic

prompt:
Which rule applies to this scenario?

Scenario: Execution depends on historical command h

Options:
A: Substitution Rule
L: Prediction Rule
K: History Rule
D: Loop Rule

Answer format: [[LETTER]]


data_source: KorLogicDynamicLogic

prompt:
Which rule applies to this scenario?

Scenario: Exception e may be triggered during command execution

Options:
H: Resource Limitation Rule
K: History Rule
G: Exception Rule
D: Loop Rule

Answer format: [[LETTER]]


data_source: KorLogicDynamicLogic

prompt:
Apply logical rules to simplify the expression:

Convert '⟨c1;c2⟩φ' to equivalent simplest form

Rules available:
- Interruption Rule

Format your answer within [[double brackets]].

rule: Interruption

expected: ⟨c1⟩φ


data_source: KorLogicDynamicLogic

prompt:
Apply logical rules to simplify the expression:

Convert '[c*]φ' to equivalent simplest form

Rules available:
- Loop Rule

Format your answer within [[double brackets]].


data_source: KorLogicDynamicLogic

prompt:
Which rule applies to this scenario?

Scenario: Exception e may be triggered during command execution

Options:
H: Resource Limitation Rule
K: History Rule
G: Exception Rule
L: Prediction Rule

Answer format: [[LETTER]]


data_source: KorLogicDynamicLogic

prompt:
Apply logical rules to simplify the expression:

Convert '⟨c1;c2⟩φ' to equivalent simplest form

Rules available:
- Interruption Rule

Format your answer within [[double brackets]].


data_source: KorLogicDynamicLogic

prompt:
Apply logical rules to simplify the expression:

Convert '[c*]φ' to equivalent simplest form

Rules available:
- Loop Rule

Format your answer within [[double brackets]].


data_source: KorLogicDynamicLogic

prompt:
Apply logical rules to simplify the expression:

Convert '[c*]φ' to equivalent simplest form

Rules available:
- Loop Rule

Format your answer within [[double brackets]].


data_source: KorLogicDynamicLogic

prompt:
Apply logical rules to simplify the expression:

Convert '⟨c1||c2⟩φ' to equivalent simplest form

Rules available:
- Concurrent Rule

Format your answer within [[double brackets]].

expected: (⟨c1⟩⟨c2⟩φ ∨ ⟨c2⟩⟨c1⟩φ)

valid_variants: (⟨c1⟩⟨c2⟩φ ∨ ⟨c2⟩⟨c1⟩φ)


data_source: KorLogicDynamicLogic

prompt:
Which rule applies to this scenario?

Scenario: Execution depends on historical command h

Options:
C: Choice Rule
K: History Rule
I: Dependency Rule
J: Priority Rule

Answer format: [[LETTER]]


data_source: KorLogicDynamicLogic

prompt:
Which rule applies to this scenario?

Scenario: Execution depends on historical command h

Options:
H: Resource Limitation Rule
A: Substitution Rule
L: Prediction Rule
K: History Rule

Answer format: [[LETTER]]


data_source: KorLogicDynamicLogic

prompt:
Apply logical rules to simplify the expression:

Convert '[c*]φ' to equivalent simplest form

Rules available:
- Loop Rule

Format your answer within [[double brackets]].


data_source: KorLogicDynamicLogic

prompt:
Apply logical rules to simplify the expression:

Convert '[c*]φ' to equivalent simplest form

Rules available:
- Loop Rule

Format your answer within [[double brackets]].


data_source: KorLogicDynamicLogic

prompt:
Which rule applies to this scenario?

Scenario: Commands c1 and c2 can be executed in parallel

Options:
B: Sequence Rule
E: Concurrent Rule
A: Substitution Rule
L: Prediction Rule

Answer format: [[LETTER]]


data_source: KorLogicDynamicLogic

prompt:
Which rule applies to this scenario?

Scenario: Exception e may be triggered during command execution

Options:
L: Prediction Rule
G: Exception Rule
K: History Rule
H: Resource Limitation Rule

Answer format: [[LETTER]]


data_source: KorLogicDynamicLogic

prompt:
Apply logical rules to simplify the expression:

Convert '⟨c1;c2⟩φ' to equivalent simplest form

Rules available:
- Interruption Rule

Format your answer within [[double brackets]].


data_source: KorLogicDynamicLogic

prompt:
Apply logical rules to simplify the expression:

Convert '[c*]φ' to equivalent simplest form

Rules available:
- Loop Rule

Format your answer within [[double brackets]].


data_source: KorLogicDynamicLogic

prompt:
Apply logical rules to simplify the expression:

Convert '[c*]φ' to equivalent simplest form

Rules available:
- Loop Rule

Format your answer within [[double brackets]].


data_source: KorLogicDynamicLogic

prompt:
Apply logical rules to simplify the expression:

Convert '[c1 + c2]φ' to equivalent simplest form

Rules available:
- Choice Rule

Format your answer within [[double brackets]].

rule: Choice


data_source: KorLogicDynamicLogic

prompt:
Which rule applies to this scenario?

Scenario: Execution depends on historical command h

Options:
K: History Rule
G: Exception Rule
I: Dependency Rule
A: Substitution Rule

Answer format: [[LETTER]]


data_source: KorLogicDynamicLogic

prompt:
Apply logical rules to simplify the expression:

Convert '[c*]φ' to equivalent simplest form

Rules available:
- Loop Rule

Format your answer within [[double brackets]].


data_source: KorLogicDynamicLogic

prompt:
Which rule applies to this scenario?

Scenario: Exception e may be triggered during command execution

Options:
E: Concurrent Rule
G: Exception Rule
B: Sequence Rule
A: Substitution Rule

Answer format: [[LETTER]]


data_source: KorLogicDynamicLogic

prompt:
Apply logical rules to simplify the expression:

Convert '[c1 + c2]φ' to equivalent simplest form

Rules available:
- Choice Rule

Format your answer within [[double brackets]].


data_source: KorLogicDynamicLogic

prompt:
Which rule applies to this scenario?

Scenario: Commands c1 and c2 can be executed in parallel

Options:
A: Substitution Rule
I: Dependency Rule
E: Concurrent Rule
J: Priority Rule

Answer format: [[LETTER]]


data_source: KorLogicDynamicLogic

prompt:
Apply logical rules to simplify the expression:

Convert '[c1;c2]φ' to equivalent simplest form

Rules available:
- Sequence Rule

Format your answer within [[double brackets]].


data_source: KorLogicDynamicLogic

prompt:
Which rule applies to this scenario?

Scenario: Commands c1 and c2 can be executed in parallel

Options:
J: Priority Rule
K: History Rule
E: Concurrent Rule
I: Dependency Rule

Answer format: [[LETTER]]


data_source: KorLogicDynamicLogic

prompt:
Which rule applies to this scenario?

Scenario: Exception e may be triggered during command execution

Options:
L: Prediction Rule
C: Choice Rule
G: Exception Rule
F: Interruption Rule

Answer format: [[LETTER]]


data_source: KorLogicDynamicLogic

prompt:
Which rule applies to this scenario?

Scenario: Execution depends on historical command h

Options:
B: Sequence Rule
K: History Rule
H: Resource Limitation Rule
F: Interruption Rule

Answer format: [[LETTER]]


data_source: KorLogicDynamicLogic

prompt:
Which rule applies to this scenario?

Scenario: Commands c1 and c2 can be executed in parallel

Options:
G: Exception Rule
E: Concurrent Rule
D: Loop Rule
H: Resource Limitation Rule

Answer format: [[LETTER]]


data_source: KorLogicDynamicLogic

prompt:
Apply logical rules to simplify the expression:

Convert '⟨c1||c2⟩φ' to equivalent simplest form

Rules available:
- Concurrent Rule

Format your answer within [[double brackets]].

expected: (⟨c1⟩⟨c2⟩φ ∨ ⟨c2⟩⟨c1⟩φ)

valid_variants: (⟨c1⟩⟨c2⟩φ ∨ ⟨c2⟩⟨c1⟩φ)


data_source: KorLogicDynamicLogic

prompt:
Apply logical rules to simplify the expression:

Convert '⟨c1;c2⟩φ' to equivalent simplest form

Rules available:
- Interruption Rule

Format your answer within [[double brackets]].


data_source: KorLogicDynamicLogic

prompt:
Which rule applies to this scenario?

Scenario: Execution depends on historical command h

Options:
B: Sequence Rule
F: Interruption Rule
K: History Rule
J: Priority Rule

Answer format: [[LETTER]]


data_source: KorLogicDynamicLogic

prompt:
Apply logical rules to simplify the expression:

Convert '⟨c1;c2⟩φ' to equivalent simplest form

Rules available:
- Interruption Rule

Format your answer within [[double brackets]].


data_source: KorLogicDynamicLogic

prompt:
Which rule applies to this scenario?

Scenario: Commands c1 and c2 can be executed in parallel

Options:
F: Interruption Rule
E: Concurrent Rule
D: Loop Rule
I: Dependency Rule

Answer format: [[LETTER]]


data_source: KorLogicDynamicLogic

prompt:
Apply logical rules to simplify the expression:

Convert '[c1;c2]φ' to equivalent simplest form

Rules available:
- Sequence Rule

Format your answer within [[double brackets]].


data_source: KorLogicDynamicLogic

prompt:
Apply logical rules to simplify the expression:

Convert '⟨c1||c2⟩φ' to equivalent simplest form

Rules available:
- Concurrent Rule

Format your answer within [[double brackets]].

expected: (⟨c1⟩⟨c2⟩φ ∨ ⟨c2⟩⟨c1⟩φ)

valid_variants: (⟨c1⟩⟨c2⟩φ ∨ ⟨c2⟩⟨c1⟩φ)


data_source: KorLogicDynamicLogic

prompt:
Apply logical rules to simplify the expression:

Convert '⟨c1||c2⟩φ' to equivalent simplest form

Rules available:
- Concurrent Rule

Format your answer within [[double brackets]].

expected: (⟨c1⟩⟨c2⟩φ ∨ ⟨c2⟩⟨c1⟩φ)

valid_variants: (⟨c1⟩⟨c2⟩φ ∨ ⟨c2⟩⟨c1⟩φ)


data_source: KorLogicDynamicLogic

prompt:
Which rule applies to this scenario?

Scenario: Exception e may be triggered during command execution

Options:
G: Exception Rule
K: History Rule
J: Priority Rule
E: Concurrent Rule

Answer format: [[LETTER]]


data_source: KorLogicDynamicLogic

prompt:
Which rule applies to this scenario?

Scenario: Exception e may be triggered during command execution

Options:
A: Substitution Rule
K: History Rule
G: Exception Rule
C: Choice Rule

Answer format: [[LETTER]]


data_source: KorLogicDynamicLogic

prompt:
Apply logical rules to simplify the expression:

Convert '[c1;c2]φ' to equivalent simplest form

Rules available:
- Sequence Rule

Format your answer within [[double brackets]].


data_source: KorLogicDynamicLogic

prompt:
Which rule applies to this scenario?

Scenario: Commands c1 and c2 can be executed in parallel

Options:
B: Sequence Rule
G: Exception Rule
E: Concurrent Rule
F: Interruption Rule

Answer format: [[LETTER]]


data_source: KorLogicDynamicLogic

prompt:
Which rule applies to this scenario?

Scenario: Exception e may be triggered during command execution

Options:
G: Exception Rule
K: History Rule
H: Resource Limitation Rule
A: Substitution Rule

Answer format: [[LETTER]]


data_source: KorLogicDynamicLogic

prompt:
Apply logical rules to simplify the expression:

Convert '[c*]φ' to equivalent simplest form

Rules available:
- Loop Rule

Format your answer within [[double brackets]].


data_source: KorLogicDynamicLogic

prompt:
Apply logical rules to simplify the expression:

Convert '[c*]φ' to equivalent simplest form

Rules available:
- Loop Rule

Format your answer within [[double brackets]].


data_source: KorLogicDynamicLogic

prompt:
Which rule applies to this scenario?

Scenario: Exception e may be triggered during command execution

Options:
B: Sequence Rule
G: Exception Rule
K: History Rule
F: Interruption Rule

Answer format: [[LETTER]]