Claim Types

Required types:

• AXIOM
• DEFINITION
• LEMMA
• HYPOTHESIS
• OPERATIONALIZATION
• DATASET
• EVIDENCE_EXTRACT
• RESULT
• INTERPRETATION

Proof status for each note:

• asserted
• formal
• empirical-supported
• inconclusive
• falsified