Using ATP Tools
| Student:
|
|
| Mark:
| /80
|
|
|
|
| Types
| [6.0]
|
| Signatures
| [21.0]
|
|
| branch
| [1.0]
|
| 3 branches
| [1.0]
|
|
| law_topic
| [1.0]
|
| 3 topics
| [1.0]
|
|
| federal_law
| [1.0]
|
| 4 federal laws
| [1.0]
|
|
|
|
| EO
| [1.0]
|
|
|
|
| legislation
| [1.0]
|
|
|
|
| creator
| [1.0]
|
|
|
|
| topic
| [1.0]
|
|
|
|
| enacted
| [1.0]
|
|
|
|
| branch veto
| [1.0]
|
|
|
|
| overridden
| [1.0]
|
|
|
|
| signed
| [1.0]
|
|
| a_president
| [1.0]
|
| 3 presidents
| [1.0]
|
|
|
|
| impeached
| [1.0]
|
|
|
|
| majority impeach
| [1.0]
|
|
|
|
| removed
| [1.0]
|
|
| state
| [1.0]
|
| 2 states
| [1.0]
|
|
| state_law
| [1.0]
|
| 3 state laws
| [1.0]
|
|
|
|
| topic
| [1.0]
|
|
|
|
| state
| [1.0]
|
|
|
|
| conflict
| [1.0]
|
|
|
|
| supercede
| [1.0]
|
|
|
|
|
| Axioms
| [28.0]
|
| Theorems
| [25.0]
|
|
| Formatted
| [3.0]
|
| Formatted
| [3.0]
|
| Satisfiable
| [6.0]
|
| Proved
| [11.0]
|
|
| Three branches
| [1.0]
|
|
|
|
| Federal laws
| [1.0]
|
|
|
|
| Creators
| [1.0]
|
| No laws from SC
| [1.0]
|
|
| SC veto > 5
| [1.0]
|
| No SC veto < 5
| [1.0]
|
|
| Enacted
| [1.0]
|
| No veto/overridden
| [1.0]
|
|
| EOs enacted
| [1.0]
|
|
|
|
| One topic
| [1.0]
|
|
|
|
| INA1952
| [0.5]
|
|
|
|
| EO9066
| [0.5]
|
|
|
|
| GCA1968
| [0.5]
|
|
|
|
| EO14706
| [0.5]
|
|
|
|
| Laws enacted
| [1.0]
|
| All vetoed/signed
| [1.0]
|
| EOs signed
| [1.0]
|
| EO not SC vetoed
| [1.0]
|
|
| 3 strikes EO9066
| [1.0]
|
| EO9066 ~SC
| [1.0]
|
|
| Impeach
| [1.0]
|
| Trump
| [1.0]
|
| 3 impeached
| [1.0]
|
| None removed
| [1.0]
|
|
| FL != TX
| [0.5]
|
|
|
|
| HB1589
| [0.5]
|
|
|
|
| INA1952-HB1589 :-)
| [0.5]
|
|
|
|
| TX4
| [0.5]
|
|
|
|
| TLC2021
| [0.5]
|
|
|
|
| GCA1968-TX4 :-(
| [0.5]
|
| Two states
| [1.0]
|
|
| Conflict
| [1.0]
|
| INA1952-TLC2021
| [1.0]
|
| Supercedes
| [1.0]
|
| Supercede TLC2021
| [1.0]
|
|