P-Editor v1.0

Proposition Editor

Enter a natural language proposition:

Quantifier:

Adjective(s):

Subject:

Verb:

Quantifier:

Adjective(s):

Object:

Receiver (optional):

Not Subject Not Verb Not Object

Category:

Copy	Date	Category	Entry	Publicness	Form	Conditions	Consequences	MP Type	Quantifier S.	Adjectives S.	Subject	M: Modal	M: Temporal	M: Locative	M: Adverbial	Relation	Quantifier O.	Adjectives O.	Object	Receiver	Negation S.	Negation R.	Negation O.	Synthesised

Select Meta-Proposition Type:

Condition (A):

Consequence (B):

Select Category:

Date	Category	Entry	Publicness	Form	Conditions	Consequences	MP Type

Premise ID: Premise Entry:

Conclusion ID: Conclusion Entry:

Date	Premises	Conclusion